public final class LetTerm extends LetExpression implements Term
inKeyword, letKeyword, precedence
Modifier and Type | Method and Description |
---|---|
void |
accept(ASTVisitor visitor)
Accept visitor for a visit.
|
static LetTerm |
construct(ValueDefinition[] d,
Term b)
Construct term with local value definitions.
|
Term |
getBody()
Get body.
|
ValueDefinition[] |
getDefinitions()
Get definitions.
|
Type |
getType()
Set type annotation of term.
|
void |
setType(Type type)
Set type annotation of term.
|
accept, acceptChildren, getPrecedence
getPosition, isLeftAssociative, isRightAssociative, setPosition
accept, accept, print, printCore, toString, toStringCore
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
getPrecedence, isLeftAssociative, isRightAssociative
getPosition, setPosition
accept, acceptChildren, print, printCore, toString, toStringCore
public void setType(Type type)
public Type getType()
public static LetTerm construct(ValueDefinition[] d, Term b)
d
- the definitions.b
- the body of the term.public ValueDefinition[] getDefinitions()
getDefinitions
in class LetExpression
public Term getBody()
getBody
in class LetExpression
public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class LetExpression
visitor
- the visitor who is accepted by this node.