Interface: ExpressionVisitor<TReturn>
Extended by
Type Parameters
| Type Parameter |
|---|
TReturn |
Methods
visitApplication()
visitApplication(
node):TReturn
Parameters
| Parameter | Type |
|---|---|
node | Application |
Returns
TReturn
visitCall()
visitCall(
node):TReturn
Parameters
| Parameter | Type |
|---|---|
node | Call |
Returns
TReturn
visitCompositionExpression()
visitCompositionExpression(
node):TReturn
Parameters
| Parameter | Type |
|---|---|
node | CompositionExpression |
Returns
TReturn
visitConsExpr()
visitConsExpr(
node):TReturn
Parameters
| Parameter | Type |
|---|---|
node | ConsExpression |
Returns
TReturn
visitDataExpr()
visitDataExpr(
node):TReturn
Parameters
| Parameter | Type |
|---|---|
node | DataExpression |
Returns
TReturn
visitExist()
visitExist(
node):TReturn
Parameters
| Parameter | Type |
|---|---|
node | Exist |
Returns
TReturn
visitFieldExpr()
visitFieldExpr(
node):TReturn
Parameters
| Parameter | Type |
|---|---|
node | FieldExpression |
Returns
TReturn
visitFindall()
visitFindall(
node):TReturn
Parameters
| Parameter | Type |
|---|---|
node | Findall |
Returns
TReturn
visitForall()
visitForall(
node):TReturn
Parameters
| Parameter | Type |
|---|---|
node | Forall |
Returns
TReturn
visitGenerator()
visitGenerator(
node):TReturn
Parameters
| Parameter | Type |
|---|---|
node | Generator |
Returns
TReturn
visitGoal()
visitGoal(
node):TReturn
Parameters
| Parameter | Type |
|---|---|
node | Goal |
Returns
TReturn
visitImplement()
visitImplement(
node):TReturn
Parameters
| Parameter | Type |
|---|---|
node | Implement |
Returns
TReturn
visitLambda()
visitLambda(
node):TReturn
Parameters
| Parameter | Type |
|---|---|
node | Lambda |
Returns
TReturn
visitLetInExpr()
visitLetInExpr(
node):TReturn
Parameters
| Parameter | Type |
|---|---|
node | LetInExpression |
Returns
TReturn
visitListComprehension()
visitListComprehension(
node):TReturn
Parameters
| Parameter | Type |
|---|---|
node | ListComprehension |
Returns
TReturn
visitNamedArgument()
visitNamedArgument(
node):TReturn
Parameters
| Parameter | Type |
|---|---|
node | NamedArgument |
Returns
TReturn
visitNew()
visitNew(
node):TReturn
Parameters
| Parameter | Type |
|---|---|
node | New |
Returns
TReturn
visitNot()
visitNot(
node):TReturn
Parameters
| Parameter | Type |
|---|---|
node | Not |
Returns
TReturn
visitOtherwise()
visitOtherwise(
node):TReturn
Parameters
| Parameter | Type |
|---|---|
node | Otherwise |
Returns
TReturn
visitRangeExpression()
visitRangeExpression(
node):TReturn
Parameters
| Parameter | Type |
|---|---|
node | RangeExpression |
Returns
TReturn
visitSend()
visitSend(
node):TReturn
Parameters
| Parameter | Type |
|---|---|
node | Send |
Returns
TReturn
visitTupleExpr()
visitTupleExpr(
node):TReturn
Parameters
| Parameter | Type |
|---|---|
node | TupleExpression |
Returns
TReturn
visitYield()
visitYield(
node):TReturn
Parameters
| Parameter | Type |
|---|---|
node | Yield |
Returns
TReturn