kodkod.ast
Class UnaryExpression

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

public final class UnaryExpression
extends Expression

An expression with one child.

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

Nested Class Summary
static class UnaryExpression.Operator
          Represents a unary expression operator.
 
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 visitor.
 int arity()
          Returns the arity of this expression.
 Expression expression()
          Returns this.expression.
 UnaryExpression.Operator op()
          Returns this.op.
 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 the arity of this expression.

Specified by:
arity in class Expression
Returns:
this.arity
See Also:
Expression.arity()

expression

public Expression expression()
Returns this.expression.

Returns:
this.expression

op

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

Returns:
this.op

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:
Node.accept(kodkod.ast.visitor.ReturnVisitor)

accept

public void accept(VoidVisitor visitor)
Accepts the given visitor.

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