hlt.language.design.kernel

Class ArraySlotUpdate

java.lang.Object

hlt.language.design.kernel.Expression

hlt.language.design.kernel.ProtoExpression

hlt.language.design.kernel.ArraySlotUpdate

All Implemented Interfaces:

Locatable

public class ArraySlotUpdate
extends ProtoExpression

This is the class of array slot update expressions.

Field Summary

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

VOID_ASSIGNMENTS

Constructor Summary

Constructors

Constructor and Description
ArraySlotUpdate(Expression slot, Expression value) Constructs an array slot update with the specified array slot and value.

Method Summary

Methods

Modifier and Type	Method and Description
Expression	array() Returns the array of this array slot update;
void	compile(Compiler compiler) To compile an array slot update, proceed thus: compile the index, possibly unbox the index, compile the array, compile the value, possibly un/box the value, generate the 'set' instruction, possibly generate a pop instruction.
Expression	copy() Returns a deep copy of this expression.
Expression	index() Returns the index of this array slot update;
int	numberOfSubexpressions() Returns the number of subexpressions
void	setCheckedType() Sets the checked type of this array slot update.
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 array slot update in the context of the specified TypeChecker.
Expression	typedCopy() Returns a deep copy of this expression this and all its subexpressions share the same type as their copy's counterparts.

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

ArraySlotUpdate

public ArraySlotUpdate(Expression slot,
               Expression value)

Constructs an array slot update with the specified array slot and value.

Method Detail

copy

public final Expression copy()

Description copied from class: Expression

Returns a deep copy of this expression. The types are not not copied. NB: This is a convenience for building expressions that should be used exclusively before any processing (in particular sanitizing), is done on this expression.

Specified by:

copy in class Expression

typedCopy

public final Expression typedCopy()

Description copied from class: Expression

Returns a deep copy of this expression this and all its subexpressions share the same type as their copy's counterparts. NB: This is a convenience for building expressions that should be used exclusively before any processing (in particular sanitizing), is done on this expression.

Specified by:

typedCopy in class Expression

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

array

public final Expression array()

Returns the array of this array slot update;

index

public final Expression index()

Returns the index of this array slot update;

setCheckedType

public final void setCheckedType()

Sets the checked type of this array slot update.

Specified by:

setCheckedType in class Expression

typeCheck

public final void typeCheck(TypeChecker typeChecker)
                     throws TypingErrorException

Type-checks this array slot update in the context of the specified TypeChecker.

Specified by:

typeCheck in class Expression

Throws:

TypingErrorException

compile

public final void compile(Compiler compiler)

To compile an array slot update, proceed thus:

1. compile the index,
2. possibly unbox the index,
3. compile the array,
4. compile the value,
5. possibly un/box the value,
6. generate the 'set' instruction,
7. possibly generate a pop instruction.

Specified by:

compile in class Expression

toString

public final java.lang.String toString()

Overrides:

toString in class java.lang.Object