org.clafer.ir

Class IrSetVar

java.lang.Object

org.clafer.ir.IrAbstractSet

org.clafer.ir.IrSetVar

All Implemented Interfaces:

IrExpr, IrSetExpr, IrVar

Direct Known Subclasses:

IrSetConstant

public class IrSetVar
extends IrAbstractSet
implements IrVar

Author:

jimmy

Method Summary

Methods

Modifier and Type	Method and Description
<A,B> B	accept(IrSetExprVisitor<A,B> visitor, A a) Dynamic dispatch on the visitor.
boolean	equals(Object obj)
String	getName()
int	hashCode()
String	toString()

Methods inherited from class org.clafer.ir.IrAbstractSet

getCard, getEnv, getKer

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

getName

public String getName()

Specified by:

getName in interface IrVar

Returns:

the name of this variable

accept

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

Description copied from interface: IrSetExpr

Dynamic dispatch on the visitor.

Specified by:

accept in interface IrSetExpr

Type Parameters:

A - the parameter type

B - the return type

Parameters:

visitor - the visitor

a - the parameter

Returns:

the return value

equals

public boolean equals(Object obj)

Overrides:

equals in class IrAbstractSet

hashCode

public int hashCode()

Overrides:

hashCode in class IrAbstractSet

toString

public String toString()

Overrides:

toString in class Object