Module dev.civl.sarl

Package dev.civl.sarl.IF.type

Interface SymbolicArrayType

All Superinterfaces:

SymbolicObject, SymbolicType

All Known Subinterfaces:

SymbolicCompleteArrayType

public interface SymbolicArrayType
extends SymbolicType

An array type T[]. The elements of this type are arrays of T. A subtype is the complete array type, in which the extents are also specified.

Nested Class Summary

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

SymbolicObject.SymbolicObjectKind

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.type.SymbolicType

SymbolicType.SymbolicTypeKind

Method Summary

Modifier and Type	Method	Description
SymbolicType	baseType()
int	dimensions()
SymbolicType	elementType()	The type of each element of the array, a non-null symbolic type.
boolean	isComplete()	Is this a complete array type, i.e., is the extent specified? If true, this can be safely cast to SymbolicCompleteArrayType.

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

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

Methods inherited from interface dev.civl.sarl.IF.type.SymbolicType

isBoolean, isChar, isHerbrand, isIdeal, isInteger, isNumeric, isReal, typeKind

Method Details

elementType

SymbolicType elementType()

The type of each element of the array, a non-null symbolic type.

Returns:

the element type

isComplete

boolean isComplete()

Is this a complete array type, i.e., is the extent specified? If true, this can be safely cast to SymbolicCompleteArrayType.

Returns:

true iff this array type is complete

baseType

SymbolicType baseType()

Returns:

Returns the base type of any array of this type. The return type shall be a non-array type.

dimensions

int dimensions()

Returns:

The dimension of any array of this type. Returns a Java "int" value.