hlt.language.design.kernel

Class Assignment

java.lang.Object

hlt.language.design.kernel.Expression

hlt.language.design.kernel.ProtoExpression

hlt.language.design.kernel.Assignment

All Implemented Interfaces:

Locatable

Direct Known Subclasses:

DummyAssignment, GlobalAssignment, LocalAssignment

public abstract class Assignment
extends ProtoExpression

This class is the mother class of assignment expressions.

Field Summary

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

VOID_ASSIGNMENTS

Constructor Summary

Constructors

Constructor and Description
Assignment()

Method Summary

Methods

Modifier and Type	Method and Description
int	numberOfSubexpressions() Returns the number of subexpressions
void	setCheckedType() This method sets the final unambiguously checked type of this expression, possibly along with other final information that may be needed by the compiler for generating code.
Expression	setSubexpression(int n, Expression expression) Returns this expression after setting its n-th subexpression to the specified expression; if there is no subexpression at the given position, this throws a NoSuchSubexpressionException
Expression	subexpression(int n) Returns the n-th subexpression of this expression; if there is no subexpression at the given position, this throws a NoSuchSubexpressionException
java.lang.String	toString()
void	typeCheck(TypeChecker typeChecker) Type-checks this assignment in the context of the specified TypeChecker.

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, compile, containsFreeName, copy, 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, typedCopy

Methods inherited from class java.lang.Object

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

Constructor Detail

Assignment

public Assignment()

Method Detail

numberOfSubexpressions

public final int numberOfSubexpressions()

Description copied from class: Expression

Returns the number of subexpressions

Overrides:

numberOfSubexpressions in class Expression

subexpression

public final Expression subexpression(int n)
                               throws NoSuchSubexpressionException

Description copied from class: Expression

Returns the n-th subexpression of this expression; if there is no subexpression at the given position, this throws a NoSuchSubexpressionException

Overrides:

subexpression in class Expression

Throws:

NoSuchSubexpressionException

setSubexpression

public final Expression setSubexpression(int n,
                          Expression expression)
                                  throws NoSuchSubexpressionException

Description copied from class: Expression

Returns this expression after setting its n-th subexpression to the specified expression; if there is no subexpression at the given position, this throws a NoSuchSubexpressionException

Overrides:

setSubexpression in class Expression

Throws:

NoSuchSubexpressionException

setCheckedType

public final void setCheckedType()

Description copied from class: Expression

This method sets the final unambiguously checked type of this expression, possibly along with other final information that may be needed by the compiler for generating code.

Specified by:

setCheckedType in class Expression

typeCheck

public final void typeCheck(TypeChecker typeChecker)
                     throws TypingErrorException

Type-checks this assignment in the context of the specified TypeChecker.

Specified by:

typeCheck in class Expression

Throws:

TypingErrorException

toString

public final java.lang.String toString()

Overrides:

toString in class java.lang.Object