kodkod.ast
Class IntToExprCast

java.lang.Object
  extended by kodkod.ast.Expression
      extended by kodkod.ast.IntToExprCast
All Implemented Interfaces:
Node

public final class IntToExprCast
extends Expression

Represents the conversion from an int expression to an expression. The meaning of the resulting expression is a singleton set containing the atom that represents the integer given by the wrapped int expression.

Author:
Emina Torlak
invariant:
children = intExpr
arity = 1
specfield:
intExpr: IntExpression

Field Summary
 
Fields inherited from class kodkod.ast.Expression
IDEN, INTS, NONE, UNIV
 
Method Summary
<E,F,D,I> E
accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result.
 void accept(VoidVisitor visitor)
          Accepts the given void visitor by calling visitor.visit(this).
 int arity()
          Returns 1.
 IntExpression intExpr()
          Returns this.intExpr.
 java.lang.String toString()
          Returns the string representation of this expression.
 
Methods inherited from class kodkod.ast.Expression
apply, apply, apply, closure, compose, compose, count, difference, eq, in, intersection, join, lone, no, one, override, product, project, reflexiveClosure, some, sum, transpose, union
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

arity

public int arity()
Returns 1.

Specified by:
arity in class Expression
Returns:
1

intExpr

public IntExpression intExpr()
Returns this.intExpr.

Returns:
this.intExpr

accept

public <E,F,D,I> E accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result.

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

accept

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

See Also:
Node.accept(kodkod.ast.visitor.VoidVisitor)

toString

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

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