org.clafer.ast

Class AstArithm

java.lang.Object

org.clafer.ast.AstArithm

All Implemented Interfaces:

AstExpr, AstSetExpr

public class AstArithm
extends Object
implements AstSetExpr

foldl1 op operands.

Author:

jimmy

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AstArithm.Op

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)
AstArithm.Op	getOp()
AstSetExpr[]	getOperands()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

getOp

public AstArithm.Op getOp()

getOperands

public AstSetExpr[] getOperands()

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