org.clafer.ast

Class AstSetTest

java.lang.Object

org.clafer.ast.AstSetTest

All Implemented Interfaces:

AstBoolExpr, AstExpr

public class AstSetTest
extends Object
implements AstBoolExpr

Author:

jimmy

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AstSetTest.Op

Method Summary

Methods

Modifier and Type	Method and Description
<A,B> B	accept(AstExprVisitor<A,B> visitor, A a) Dynamic dispatch on the visitor.
AstSetExpr	getLeft()
AstSetTest.Op	getOp()
AstSetExpr	getRight()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

getOp

public AstSetTest.Op getOp()

getLeft

public AstSetExpr getLeft()

getRight

public AstSetExpr getRight()

accept

public <A,B> B accept(AstExprVisitor<A,B> visitor,
             A a)

Description copied from interface: AstExpr

Dynamic dispatch on the visitor.

Specified by:

accept in interface AstExpr

Type Parameters:

A - the parameter type

B - the return type

Parameters:

visitor - the visitor

a - the parameter

Returns:

the return value

toString

public String toString()

Overrides:

toString in class Object