Module dev.civl.sarl

Package dev.civl.sarl.IF.type

Interface SymbolicCompleteArrayType

All Superinterfaces:

SymbolicArrayType, SymbolicObject, SymbolicType

public interface SymbolicCompleteArrayType
extends SymbolicArrayType

A complete array type specifies not only the element type but also the extent (length) of the array. The extent is a symbolic expression of integer type.

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
NumericExpression	extent()	Returns the extent (length) of any array of this type.

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

baseType, dimensions, elementType, isComplete

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

extent

NumericExpression extent()

Returns the extent (length) of any array of this type. This is a non-null integer-valued symbolic expression.