Module dev.civl.sarl

Package dev.civl.sarl.IF.expr.valueSetReference

Interface ValueSetReference

All Superinterfaces:

SymbolicExpression, SymbolicObject

All Known Subinterfaces:

NTValueSetReference, VSArrayElementReference, VSArraySectionReference, VSIdentityReference, VSOffsetReference, VSTupleComponentReference, VSUnionMemberReference

public interface ValueSetReference
extends SymbolicExpression

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	ValueSetReference.VSReferenceKind	The different kinds of reference set elements.

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.expr.SymbolicExpression

SymbolicExpression.SymbolicOperator

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

SymbolicObject.SymbolicObjectKind

Method Summary

Modifier and Type	Method	Description
boolean	isArrayElementReference()	Is this an array element reference?
boolean	isArraySectionReference()	Is this an array section reference?
boolean	isIdentityReference()	Is this the identity reference?
boolean	isOffsetReference()	Is this an offset reference?
boolean	isTupleComponentReference()	Is this a tuple component reference?
boolean	isUnionMemberReference()	Is this a union member reference?
ValueSetReference.VSReferenceKind	valueSetReferenceKind()	Gets the kind of this value set reference.

Methods inherited from interface dev.civl.sarl.IF.expr.SymbolicExpression

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

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

valueSetReferenceKind

ValueSetReference.VSReferenceKind valueSetReferenceKind()

Gets the kind of this value set reference.

Returns:

the kind of this value set reference

isIdentityReference

boolean isIdentityReference()

Is this the identity reference?

Returns:

true iff the kind of this reference is ValueSetReference.VSReferenceKind.IDENTITY.

isArrayElementReference

boolean isArrayElementReference()

Is this an array element reference?

Returns:

true iff the kind of this reference is ValueSetReference.VSReferenceKind.ARRAY_ELEMENT.

isArraySectionReference

boolean isArraySectionReference()

Is this an array section reference?

Returns:

true iff the kind of this reference is ValueSetReference.VSReferenceKind.ARRAY_SECTION.

isTupleComponentReference

boolean isTupleComponentReference()

Is this a tuple component reference?

Returns:

true iff the kind of this reference is ValueSetReference.VSReferenceKind.TUPLE_COMPONENT.

isUnionMemberReference

boolean isUnionMemberReference()

Is this a union member reference?

Returns:

true iff the kind of this reference is ValueSetReference.VSReferenceKind.UNION_MEMBER.

isOffsetReference

boolean isOffsetReference()

Is this an offset reference?

Returns:

true iff the kind of this reference is ValueSetReference.VSReferenceKind.OFFSET.