kodkod.ast

Class IntConstant

java.lang.Object

kodkod.ast.Node

kodkod.ast.IntExpression

kodkod.ast.IntConstant

public final class IntConstant
extends IntExpression

An integer constant (literal).

Author:

Emina Torlak

Specfields:

value: int

Invariants:

no children

Method Summary

Modifier and Type	Method and Description
<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.
void	accept(VoidVisitor visitor) Accepts the given void visitor by calling visitor.visit(this).
static IntConstant	constant(int value) Returns an IntConstant corresponding to the given value.
boolean	equals(Object o) Return true if o is an IntConstant with the same value as this.
int	hashCode() Return this.value
String	toString() Returns a string representation of this node.
int	value() Returns this.value.

Methods inherited from class kodkod.ast.IntExpression

abs, and, and, and, apply, cast, compare, compose, compose, compose, divide, eq, gt, gte, lt, lte, minus, modulo, multiply, multiply, multiply, negate, not, or, or, or, plus, plus, plus, sha, shl, shr, signum, sum, toBitset, toExpression, xor

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Method Detail

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 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 class IntExpression

See Also:

IntExpression.accept(kodkod.ast.visitor.VoidVisitor)

constant

public static IntConstant constant(int value)

Returns an IntConstant corresponding to the given value.

Returns:

{c: IntConstant | c.value = value}

equals

public boolean equals(Object o)

Return true if o is an IntConstant with the same value as this.

Overrides:

equals in class Object

Returns:

o in IntConstant && o.value = this.value

hashCode

public int hashCode()

Return this.value

Overrides:

hashCode in class Object

Returns:

this.value

toString

public String toString()

Returns a string representation of this node. For a pretty-printed string, use PrettyPrinter.

Specified by:

toString in class Node

Returns:

a string representation of this node

See Also:

Node.toString()

value

public int value()

Returns this.value.

Returns:

this.value