public class NewSet extends NewCollection
VOID_ASSIGNMENTS| Constructor and Description |
|---|
NewSet() |
NewSet(java.util.AbstractList elements) |
NewSet(Type baseType) |
NewSet(Type baseType,
java.util.AbstractList elements) |
| Modifier and Type | Method and Description |
|---|---|
void |
compile(Compiler compiler)
This method compiles this expression in the context of the specified
Compiler.
|
java.lang.String |
toString() |
void |
typeCheck(TypeChecker typeChecker)
This method type-checks this expression in the context of the specified
TypeChecker.
|
baseType, baseTypeRef, copy, elements, kind, numberOfSubexpressions, setCheckedType, setSubexpression, subexpression, typedCopycheckedType, setCheckedType, setType, type, typeRefaddType, addTypes, boxSort, containsFreeName, enclosingScope, extent, getEnd, getStart, isConstant, isEquality, isFalse, isHiddenSlicing, isNull, isSelector, isSlicing, isTrue, isVoid, locationString, otherTypes, parameters, sanitizeNames, sanitizeSorts, setCheckedTypeLocked, setEnd, setExtent, setOtherTypes, setStart, shiftOffsets, shiftOffsets, sort, substitute, typeCheck, typeCheck, typeCheckLockedpublic NewSet()
public NewSet(Type baseType)
public NewSet(java.util.AbstractList elements)
public NewSet(Type baseType, java.util.AbstractList elements)
public final void typeCheck(TypeChecker typeChecker) throws TypingErrorException
ExpressiontypeCheck in class ExpressionTypingErrorExceptionpublic final void compile(Compiler compiler)
Expressioncompile in class Expressionpublic final java.lang.String toString()
toString in class java.lang.Object