hlt.language.design.kernel

Class NewList

java.lang.Object

hlt.language.design.kernel.Expression

hlt.language.design.kernel.ProtoExpression

hlt.language.design.kernel.NewCollection

hlt.language.design.kernel.NewList

All Implemented Interfaces:

Locatable

public class NewList
extends NewCollection

This is the class denoting lists.

Field Summary

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

VOID_ASSIGNMENTS

Constructor Summary

Constructors

Constructor and Description
NewList()
NewList(java.util.AbstractList elements)
NewList(Type baseType)
NewList(Type baseType, java.util.AbstractList elements)

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.
java.lang.String	toString()
void	typeCheck(TypeChecker typeChecker) This method type-checks this expression in the context of the specified TypeChecker.

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

baseType, baseTypeRef, copy, elements, kind, numberOfSubexpressions, setCheckedType, setSubexpression, subexpression, 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, isFalse, isHiddenSlicing, isNull, isSelector, isSlicing, isTrue, isVoid, locationString, otherTypes, parameters, sanitizeNames, sanitizeSorts, setCheckedTypeLocked, setEnd, setExtent, setOtherTypes, setStart, shiftOffsets, shiftOffsets, sort, substitute, typeCheck, typeCheck, typeCheckLocked

Methods inherited from class java.lang.Object

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

Constructor Detail

NewList

public NewList()

NewList

public NewList(Type baseType)

NewList

public NewList(java.util.AbstractList elements)

NewList

public NewList(Type baseType,
       java.util.AbstractList elements)

Method Detail

typeCheck

public final void typeCheck(TypeChecker typeChecker)
                     throws TypingErrorException

Description copied from class: Expression

This method type-checks this expression in the context of the specified TypeChecker.

Specified by:

typeCheck in class Expression

Throws:

TypingErrorException

compile

public final void compile(Compiler compiler)

Description copied from class: Expression

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

Specified by:

compile in class Expression

toString

public final java.lang.String toString()

Overrides:

toString in class java.lang.Object