Package edu.udel.cis.vsl.sarl.expr.common

Class CommonIdentityReference

java.lang.Object

edu.udel.cis.vsl.sarl.object.common.CommonSymbolicObject

edu.udel.cis.vsl.sarl.expr.common.HomogeneousExpression<SymbolicObject>

edu.udel.cis.vsl.sarl.expr.common.CommonReferenceExpression

edu.udel.cis.vsl.sarl.expr.common.CommonIdentityReference

All Implemented Interfaces:

ReferenceExpression, SymbolicExpression, SymbolicObject

public class CommonIdentityReference
extends CommonReferenceExpression

The identity reference I, which is characterized by the property that dereference(value, I)==value for any symbolic expression value.

Nested Class Summary

Nested classes/interfaces inherited from interface edu.udel.cis.vsl.sarl.IF.expr.ReferenceExpression

ReferenceExpression.ReferenceKind

Nested classes/interfaces inherited from interface edu.udel.cis.vsl.sarl.IF.expr.SymbolicExpression

SymbolicExpression.SymbolicOperator

Nested classes/interfaces inherited from interface edu.udel.cis.vsl.sarl.IF.object.SymbolicObject

SymbolicObject.SymbolicObjectKind

Field Summary

Fields inherited from class edu.udel.cis.vsl.sarl.expr.common.HomogeneousExpression

debug

Method Summary

Modifier and Type	Method	Description
boolean	isIdentityReference()	Returns true, as this is the identity reference, overriding the default false.
ReferenceExpression.ReferenceKind	referenceKind()	Method that returns ReferenceKind.
int	size()

Methods inherited from class edu.udel.cis.vsl.sarl.expr.common.CommonReferenceExpression

isArrayElementReference, isNullReference, isOffsetReference, isTupleComponentReference, isUnionMemberReference

Methods inherited from class edu.udel.cis.vsl.sarl.expr.common.HomogeneousExpression

argument, arguments, atomString, canonizeChildren, containsQuantifier, containsSubobject, getArguments, getFreeVars, isFalse, isNull, isNumeric, isOne, isTrue, isZero, numArguments, operator, printCompressedTree, symbolicObjectKind, toStringBuffer, toStringBuffer1, toStringBufferLong, type

Methods inherited from class edu.udel.cis.vsl.sarl.object.common.CommonSymbolicObject

equals, getOrder, hashCode, id, isCanonic, setInCanonic, setOrder, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface edu.udel.cis.vsl.sarl.IF.expr.SymbolicExpression

argument, atomString, getArguments, getFreeVars, isFalse, isNull, isNumeric, isOne, isTrue, isZero, numArguments, operator, printCompressedTree, type

Methods inherited from interface edu.udel.cis.vsl.sarl.IF.object.SymbolicObject

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

Method Details

isIdentityReference

public boolean isIdentityReference()

Returns true, as this is the identity reference, overriding the default false.

Specified by:

isIdentityReference in interface ReferenceExpression

Overrides:

isIdentityReference in class CommonReferenceExpression

Returns:

true iff the kind of this reference is ReferenceExpression.ReferenceKind.IDENTITY.

referenceKind

public ReferenceExpression.ReferenceKind referenceKind()

Method that returns ReferenceKind.

Returns:

the kind of this reference

size

public int size()

Specified by:

size in interface SymbolicExpression

Overrides:

size in class HomogeneousExpression<SymbolicObject>

Returns:

the size of this SymbolicExpression. The size of a symbolic expression is the total number of "node"s in the "tree". A symbolic expression is essentially a tree of (sub-)symbolic expressions.