kodkod.ast
Class ExprToIntCast

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

public final class ExprToIntCast
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 ExprToIntCast.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).
 Expression expression()
          Returns this.expression.
 ExprToIntCast.Operator op()
          Returns this.op.
 java.lang.String toString()
          Returns the string representation of this int expression.
 
Methods inherited from class kodkod.ast.IntExpression
abs, and, apply, compare, compose, divide, eq, gt, gte, lt, lte, minus, modulo, multiply, negate, not, or, plus, sha, shl, shr, signum, sum, toExpression, xor
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

expression

public Expression expression()
Returns this.expression.

Returns:
this.expression

op

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

Returns:
this.op

toString

public java.lang.String toString()
Returns the string representation of this int expression.

Overrides:
toString in class java.lang.Object
Returns:
string representation of this int expression

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)