org.clafer.ast

Class AstCard

java.lang.Object

org.clafer.ast.AstCard

All Implemented Interfaces:

AstExpr, AstSetExpr

public class AstCard
extends Object
implements AstSetExpr

Author:

jimmy

Constructor Summary

Constructors

Constructor and Description
AstCard(AstSetExpr set)

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	getSet()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

AstCard

public AstCard(AstSetExpr set)

Method Detail

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