kodkod.ast
Class UnaryIntExpression

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

public final class UnaryIntExpression
extends IntExpression

A unary integer expression, e.g. -x.

Author:
Emina Torlak
invariant:
children = expression
specfield:
expression: IntExpression
op: Operator

Nested Class Summary
static class UnaryIntExpression.Operator
          Unary operators on integer expressions.
 
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).
 IntExpression expression()
          Returns this.expression.
 UnaryIntExpression.Operator op()
          Returns the operator of this.
 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

op

public UnaryIntExpression.Operator op()
Returns the operator of this.

Returns:
this.op

expression

public IntExpression expression()
Returns this.expression.

Returns:
this.expression

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)