kodkod.ast
Class ExprIntCast

java.lang.Object
  extended by kodkod.ast.IntExpression
      extended by kodkod.ast.ExprIntCast
All Implemented Interfaces:
Node

public final class ExprIntCast
extends IntExpression

An IntExpression representing the cardinality of an Expression or the sum of all the integer atoms contained in the expression.

Author:
Emina Torlak
invariant:
children = expression
specfield:
expression: Expression
op: Op

Nested Class Summary
static class ExprIntCast.Operator
          Represents an expression 'cast' operator.
 
Method Summary
<E,F,D,I> I
accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result of the visit (i.e. the result of the call visitor.visit(this))
 void accept(VoidVisitor visitor)
          Accepts the given void visitor by calling visitor.visit(this).
 boolean equals(java.lang.Object o)
          Returns true of o is a ExprIntCast with the same tree structure as this.
 Expression expression()
          Returns this.expression.
 int hashCode()
          
 ExprIntCast.Operator op()
          Returns this.op.
 java.lang.String toString()
          
 
Methods inherited from class kodkod.ast.IntExpression
compare, compose, divide, eq, gt, gte, lt, lte, minus, multiply, plus, toExpression
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 

Method Detail

expression

public Expression expression()
Returns this.expression.

Returns:
this.expression

op

public ExprIntCast.Operator op()
Returns this.op.

Returns:
this.op

equals

public boolean equals(java.lang.Object o)
Returns true of o is a ExprIntCast with the same tree structure as this.

Overrides:
equals in class java.lang.Object
Returns:
o in ExprIntCast && o.op.equals(this.op) && o.expression.equals(this.expression)

toString

public java.lang.String toString()

Overrides:
toString in class java.lang.Object
See Also:
Object.toString()

hashCode

public int hashCode()

Overrides:
hashCode in class java.lang.Object
See Also:
Object.hashCode()

accept

public <E,F,D,I> I accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result of the visit (i.e. the result of the call visitor.visit(this))

Specified by:
accept in interface Node
Specified by:
accept in class IntExpression
Returns:
the result of being visited by the given visitor
See Also:
IntExpression.accept(kodkod.ast.visitor.ReturnVisitor)

accept

public void accept(VoidVisitor visitor)
Accepts the given void visitor by calling visitor.visit(this).

Specified by:
accept in interface Node
Specified by:
accept in class IntExpression
See Also:
IntExpression.accept(kodkod.ast.visitor.VoidVisitor)