hlt.language.design.kernel

Class DummyAssignment

java.lang.Object

hlt.language.design.kernel.Expression

hlt.language.design.kernel.ProtoExpression

hlt.language.design.kernel.Assignment

hlt.language.design.kernel.DummyAssignment

All Implemented Interfaces:

Locatable

public class DummyAssignment
extends Assignment

This class is the class of dummy assignment expressions.

Field Summary

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

VOID_ASSIGNMENTS

Constructor Summary

Constructors

Constructor and Description
DummyAssignment(Tables tables, java.lang.String name, Expression expression) Constructs a dummy assignment with the specified name and expression.

Method Summary

Methods

Modifier and Type	Method and Description
void	compile(Compiler compiler) A DummyAssignment never gets to invoke this.
Expression	copy() Returns a deep copy of this expression.
Expression	sanitizeNames(ParameterStack parameters) Sanitizes the names of all expressions in this assignment.
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.Assignment

numberOfSubexpressions, setCheckedType, setSubexpression, subexpression, toString, typeCheck

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

DummyAssignment

public DummyAssignment(Tables tables,
               java.lang.String name,
               Expression expression)

Constructs a dummy assignment with the specified name and expression.

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

sanitizeNames

public final Expression sanitizeNames(ParameterStack parameters)

Sanitizes the names of all expressions in this assignment.

Overrides:

sanitizeNames in class Expression

compile

public final void compile(Compiler compiler)

A DummyAssignment never gets to invoke this.

Specified by:

compile in class Expression