org.clafer.ast

Class AstMembership

java.lang.Object

org.clafer.ast.AstMembership

All Implemented Interfaces:

AstBoolExpr, AstExpr

public class AstMembership
extends Object
implements AstBoolExpr

Author:

jimmy

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AstMembership.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	getMember()
AstMembership.Op	getOp()
AstSetExpr	getSet()
String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

getMember

public AstSetExpr getMember()

getOp

public AstMembership.Op getOp()

getSet

public AstSetExpr getSet()

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