|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.norecess.citkit.tir.expressions.LambdaETIR
public class LambdaETIR
| Constructor Summary | |
|---|---|
LambdaETIR(IPosition position,
java.lang.String parameter,
ExpressionTIR body)
|
|
LambdaETIR(java.lang.String variable,
ExpressionTIR body)
|
|
| Method Summary | ||
|---|---|---|
|
accept(ExpressionTIRVisitor<A> visitor)
Implements the visitor pattern with ExpressionTIRVisitor. |
|
boolean |
equals(java.lang.Object other)
|
|
ExpressionTIR |
getBody()
Returns the body of the lambda. |
|
java.lang.String |
getParameter()
Returns the single parameter of the lambda. |
|
IPosition |
getPosition()
The position of the TIR in the source code. |
|
HobbesType |
getType()
Retrieves the type of the expression. |
|
int |
hashCode()
|
|
java.lang.String |
toString()
|
|
| Methods inherited from class java.lang.Object |
|---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
|---|
public LambdaETIR(IPosition position,
java.lang.String parameter,
ExpressionTIR body)
public LambdaETIR(java.lang.String variable,
ExpressionTIR body)
| Method Detail |
|---|
public java.lang.String getParameter()
getParameter in interface ILambdaETIRpublic ExpressionTIR getBody()
getBody in interface ILambdaETIRpublic boolean equals(java.lang.Object other)
equals in class java.lang.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic <A> A accept(ExpressionTIRVisitor<A> visitor)
ExpressionTIRExpressionTIRVisitor.
accept in interface ExpressionTIRvisitor - the visitor object.
public HobbesType getType()
ExpressionTIR
getType in interface ExpressionTIRpublic IPosition getPosition()
HobbesTIR
getPosition in interface HobbesTIRpublic java.lang.String toString()
toString in class java.lang.Object
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||