Module dev.civl.sarl

Package dev.civl.sarl.IF.object

Interface IntObject

All Superinterfaces:

Comparable<IntObject>, SymbolicObject

public interface IntObject
extends SymbolicObject, Comparable<IntObject>

A symbolic object wrapping a single Java "int" value.

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.object.SymbolicObject

SymbolicObject.SymbolicObjectKind

Method Summary

Modifier and Type	Method	Description
int	getInt()	Gets the int value.
boolean	isNegative()	Is the int value negative?
boolean	isOne()	Is the int value 1?
boolean	isPositive()	Is the int value positive?
boolean	isZero()	Is the int value zero?
IntObject	maxWith(IntObject that)	Returns the maximum of this and that as an IntObject.
IntObject	minus(IntObject that)	Returns the result of subtracting that from this, as an IntObject.
IntObject	minWith(IntObject that)	Returns the minimum of this and that as an IntObject.
IntObject	plus(IntObject that)	Returns the result of addting this and that, as an IntObject.
int	signum()	Returns -1 if the int value is negative, 0 if the int value is zero, or +1 if the int value is positive.

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface dev.civl.sarl.IF.object.SymbolicObject

containsQuantifier, containsSubobject, containsSubobjectIgnoringType, equals, getOrder, hashCode, id, isCanonic, setInCanonic, setOrder, symbolicObjectKind, toString, toStringBuffer, toStringBufferLong

Method Details

getInt

int getInt()

Gets the int value.

Returns:

the int value

minWith

IntObject minWith(IntObject that)

Returns the minimum of this and that as an IntObject.

Parameters:

that - any IntObject

Returns:

the minimum of this and that

maxWith

IntObject maxWith(IntObject that)

Returns the maximum of this and that as an IntObject.

Parameters:

that - any IntObject

Returns:

the maximum of this and that

minus

IntObject minus(IntObject that)

Returns the result of subtracting that from this, as an IntObject.

Parameters:

that - any IntObject

Returns:

this-that

plus

IntObject plus(IntObject that)

Returns the result of addting this and that, as an IntObject.

Parameters:

that - any IntObject

Returns:

this+that

signum

int signum()

Returns -1 if the int value is negative, 0 if the int value is zero, or +1 if the int value is positive.

Returns:

the signum of the int value

isZero

boolean isZero()

Is the int value zero?

Returns:

true iff the the int value is 0

isOne

boolean isOne()

Is the int value 1?

Returns:

true iff the int value is 1

isPositive

boolean isPositive()

Is the int value positive?

Returns:

true iff the int value is positive

isNegative

boolean isNegative()

Is the int value negative?

Returns:

true iff the int value is negative