org.clafer.ast

Class AstLocal

java.lang.Object

org.clafer.ast.AstLocal

All Implemented Interfaces:

AstExpr, AstSetExpr, AstVar

public class AstLocal
extends Object
implements AstSetExpr, AstVar

A local is a binding of a value to a name in quantifiers. For example, x, y, and z are the locals in the expression all x;y:A, z:B | ....

Author:

jimmy

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)
String	getName() Returns the name of the variable.
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

getName

public String getName()

Returns the name of the variable. Two variables with the same name are still different variables. The name is simply for readability.

Specified by:

getName in interface AstVar

Returns:

the name of the variable

accept

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

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