hlt.language.design.kernel

Class Parameter

java.lang.Object

hlt.language.design.kernel.Expression

hlt.language.design.kernel.ProtoExpression

hlt.language.design.kernel.Parameter

All Implemented Interfaces:

Locatable

public class Parameter
extends ProtoExpression

Field Summary

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

VOID_ASSIGNMENTS

Constructor Summary

Constructors

Constructor and Description
Parameter()
Parameter(Dummy dummy)
Parameter(java.lang.String name)
Parameter(java.lang.String name, Type type)
Parameter(Type type)

Method Summary

Methods

Modifier and Type	Method and Description
void	compile(Compiler compiler) A Parameter never gets to invoke this.
Expression	copy() Returns a deep copy of this expression.
boolean	isInternal()
java.lang.String	name()
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.
java.lang.String	toString()
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, numberOfSubexpressions, otherTypes, parameters, sanitizeNames, sanitizeSorts, setCheckedTypeLocked, setEnd, setExtent, setOtherTypes, setStart, setSubexpression, shiftOffsets, shiftOffsets, sort, subexpression, substitute, typeCheck, typeCheck, typeCheckLocked

Methods inherited from class java.lang.Object

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

Constructor Detail

Parameter

public Parameter()

Parameter

public Parameter(java.lang.String name)

Parameter

public Parameter(Type type)

Parameter

public Parameter(java.lang.String name,
         Type type)

Parameter

public Parameter(Dummy dummy)

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

isInternal

public final boolean isInternal()

name

public final java.lang.String name()

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

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)

A Parameter never gets to invoke this.

Specified by:

compile in class Expression

toString

public final java.lang.String toString()

Overrides:

toString in class java.lang.Object