org.clafer.ast

Class AstGlobal

java.lang.Object

org.clafer.ast.AstGlobal

All Implemented Interfaces:

AstExpr, AstSetExpr

public class AstGlobal
extends Object
implements AstSetExpr

All the Clafers of a type. For example, A and B are the globals in the expression some A => some 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)
AstClafer	getType() The type of this expression.
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

getType

public AstClafer getType()

The type of this expression.

Returns:

the type of this expression

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