org.clafer.ast

Class AstDifference

java.lang.Object

org.clafer.ast.AstDifference

All Implemented Interfaces:

AstExpr, AstSetExpr

public class AstDifference
extends Object
implements AstSetExpr

Author:

jimmy

Constructor Summary

Constructors

Constructor and Description
AstDifference(AstSetExpr left, AstSetExpr right)

Method Summary

Methods

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

Methods inherited from class java.lang.Object

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

Constructor Detail

AstDifference

public AstDifference(AstSetExpr left,
             AstSetExpr right)

Method Detail

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

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object