net.sourceforge.czt.z.ast

Interface RefExpr

All Superinterfaces:

Expr, Term

All Known Implementing Classes:

RefExprImpl

public interface RefExpr
extends Expr

A reference expression (C.6.21, C.6.28, C.6.29).

• C.6.21 (Generic Operator Application). For example: S \rel T. In this case, mixfix and explicit are always true, and the list of instantiating expressions is non-empty (it contains [S,T]).
• C.6.28 (Reference). For example: \arithmos In this case, mixfix and explicit are always false and the list of instantiating expressions is empty. Another example before typechecking is \emptyset. The typechecker transforms \emptyset to a generic instantiation and explicit remains false (see 13.2.3.3).
• C.6.29 (Generic Instantiation). For example: \emptyset[T]. In this case, mixfix is always false and the list of instantiating expressions is non-empty (it contains [T]). The explicit attribute indicates whether the instantiating expressions are explicitly given in the specification (explicit is true) or whether they were inferred by the typechecker (explicit is false).

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
Boolean	getExplicit() Returns the Explicit element.
ExprList	getExprList() Returns the ExprList element.
Boolean	getMixfix() Returns the Mixfix element.
Name	getName() Returns the Name element.
ZExprList	getZExprList() This is a convenience method.
ZName	getZName() This is a convenience method.
void	setExplicit(Boolean explicit) Sets the Explicit element.
void	setExprList(ExprList exprList) Sets the ExprList element.
void	setMixfix(Boolean mixfix) Sets the Mixfix element.
void	setName(Name name) Sets the Name element.

Methods inherited from interface net.sourceforge.czt.base.ast.Term

accept, annsSize, create, getAnn, getAnns, getChildren, hasAnn, hasAnn, removeAnn, removeAnn

Method Detail

getName

Name getName()

Returns the Name element.

Returns:

the Name element.

setName

void setName(Name name)

Sets the Name element.

Parameters:

name - the Name element.

See Also:

getName()

getExprList

ExprList getExprList()

Returns the ExprList element.

Returns:

the ExprList element.

getZExprList

ZExprList getZExprList()

This is a convenience method. It returns a ZExprList if #getExprList returns an instance of ZExprList and throws an UnsupportedAstClassException otherwise.

setExprList

void setExprList(ExprList exprList)

Sets the ExprList element.

Parameters:

exprList - the ExprList element.

See Also:

getExprList()

getMixfix

Boolean getMixfix()

Returns the Mixfix element.

Returns:

the Mixfix element.

setMixfix

void setMixfix(Boolean mixfix)

Sets the Mixfix element.

Parameters:

mixfix - the Mixfix element.

See Also:

getMixfix()

getExplicit

Boolean getExplicit()

Returns the Explicit element.

Returns:

the Explicit element.

setExplicit

void setExplicit(Boolean explicit)

Sets the Explicit element.

Parameters:

explicit - the Explicit element.

See Also:

getExplicit()

getZName

ZName getZName()

This is a convenience method. It returns the ZName if Name is an instance of ZName and throws an UnsupportedAstClassException otherwise.