hlt.language.design.kernel

Class BuiltinObjectConstant

java.lang.Object

hlt.language.design.kernel.Expression

hlt.language.design.kernel.ProtoExpression

hlt.language.design.kernel.Constant

hlt.language.design.kernel.BuiltinObjectConstant

All Implemented Interfaces:

Locatable

Direct Known Subclasses:

StringConstant

public class BuiltinObjectConstant
extends Constant

This is the class of native java objects that are built-in constants.

Field Summary

Fields inherited from class hlt.language.design.kernel.Constant

UNWRAP_INT, UNWRAP_REAL, VOID, WRAP_INT, WRAP_REAL

Fields inherited from class hlt.language.design.kernel.Expression

VOID_ASSIGNMENTS

Constructor Summary

Constructors

Constructor and Description
BuiltinObjectConstant(java.lang.Object value, Type type)
BuiltinObjectConstant(Type type)

Method Summary

Methods

Modifier and Type	Method and Description
void	compile(Compiler compiler) This method compiles this expression in the context of the specified Compiler.
boolean	equals(java.lang.Object other)
java.lang.String	toString()
java.lang.Object	value()

Methods inherited from class hlt.language.design.kernel.Constant

copy, FALSE, initialize, isFalse, isNull, isTrue, NULL, NULL, setCheckedType, setIsNull, TRUE, typeCheck, typedCopy

Methods inherited from class hlt.language.design.kernel.ProtoExpression

checkedType, setCheckedType, setType, type, typeRef

Methods inherited from class hlt.language.design.kernel.Expression

addType, addTypes, boxSort, containsFreeName, enclosingScope, extent, getEnd, getStart, isConstant, isEquality, isHiddenSlicing, isSelector, isSlicing, isVoid, locationString, numberOfSubexpressions, otherTypes, parameters, sanitizeNames, sanitizeSorts, setCheckedTypeLocked, setEnd, setExtent, setOtherTypes, setStart, setSubexpression, shiftOffsets, shiftOffsets, sort, subexpression, substitute, typeCheck, typeCheck, typeCheckLocked

Methods inherited from class java.lang.Object

getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

BuiltinObjectConstant

public BuiltinObjectConstant(Type type)

BuiltinObjectConstant

public BuiltinObjectConstant(java.lang.Object value,
                     Type type)

Method Detail

value

public final java.lang.Object value()

compile

public final void compile(Compiler compiler)

Description copied from class: Expression

This method compiles this expression in the context of the specified Compiler.

Overrides:

compile in class Constant

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class Constant

toString

public java.lang.String toString()

Overrides:

toString in class Constant