hlt.language.design.kernel

Class StringConstant

java.lang.Object

hlt.language.design.kernel.Expression

hlt.language.design.kernel.ProtoExpression

hlt.language.design.kernel.Constant

hlt.language.design.kernel.BuiltinObjectConstant

hlt.language.design.kernel.StringConstant

All Implemented Interfaces:

Locatable

public class StringConstant
extends BuiltinObjectConstant

This is the class of string 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
StringConstant()
StringConstant(java.lang.String value)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(java.lang.Object other)
java.lang.String	stringValue()
java.lang.String	toString()

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

compile, 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

StringConstant

public StringConstant()

StringConstant

public StringConstant(java.lang.String value)

Method Detail

stringValue

public final java.lang.String stringValue()

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class BuiltinObjectConstant

toString

public final java.lang.String toString()

Overrides:

toString in class BuiltinObjectConstant