hlt.language.design.kernel

Class TupleProjection

java.lang.Object

hlt.language.design.kernel.Expression

hlt.language.design.kernel.ProtoExpression

hlt.language.design.kernel.TupleProjection

All Implemented Interfaces:

Locatable

public class TupleProjection
extends ProtoExpression

This is the class of tuple projection expressions.

Field Summary

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

VOID_ASSIGNMENTS

Constructor Summary

Constructors

Constructor and Description
TupleProjection(Expression tuple, Constant field)
TupleProjection(Expression tuple, int position)
TupleProjection(Expression tuple, java.lang.String field)

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.
Expression	copy() Returns a deep copy of this expression.
int	depth()
Constant	field()
int	numberOfSubexpressions() Returns the number of subexpressions
int	offset()
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.
void	setPosition(java.lang.String field)
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
boolean	slicesParameter(Parameter parameter) Returns true iff this is of the form x.p1.p2.....pk where x is a dummy occurrence of the specified parameter.
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()
Expression	tuple()
void	typeCheck(TypeChecker typeChecker) This method type-checks this expression 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

TupleProjection

public TupleProjection(Expression tuple,
               Constant field)

TupleProjection

public TupleProjection(Expression tuple,
               int position)

TupleProjection

public TupleProjection(Expression tuple,
               java.lang.String field)

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

tuple

public final Expression tuple()

field

public final Constant field()

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

slicesParameter

public final boolean slicesParameter(Parameter parameter)

Returns true iff this is of the form x.p1.p2.....pk where x is a dummy occurrence of the specified parameter. If the occurrence is a dummy bearing the parameter's name, it must also be sanitized into a dummy local occurrence of this parameter. This is necessary in order to avoid that it be sanitized incorrectly later as a slicing filter is taken outside its original binding scope by the processing done by a Comprehension.

depth

public final int depth()

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

setPosition

public final void setPosition(java.lang.String field)

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

offset

public final int offset()

toString

public final java.lang.String toString()

Overrides:

toString in class java.lang.Object