Uses of Interface
dev.civl.sarl.IF.type.SymbolicArrayType

Packages that use SymbolicArrayType

Package	Description
dev.civl.sarl.IF	This package and its subpackages provide the "public interface" to SARL.
dev.civl.sarl.IF.type	The type package provides interfaces for all of the symbolic types.
dev.civl.sarl.type.IF	Internal interface for the "type" module, providing a SymbolicTypeFactory for producing SymbolicType s.

Uses of SymbolicArrayType in dev.civl.sarl.IF

Methods in dev.civl.sarl.IF that return SymbolicArrayType

Modifier and Type	Method	Description
SymbolicArrayType	CoreUniverse.arrayType(SymbolicType elementType)	Returns the incomplete array type with the given element type.

Methods in dev.civl.sarl.IF with parameters of type SymbolicArrayType

Modifier and Type	Method	Description
dev.civl.sarl.util.Pair<Integer,SymbolicType>	CoreUniverse.arrayDimensionAndBaseType(SymbolicArrayType type)	Returns the dimension and base type of an array type.

Uses of SymbolicArrayType in dev.civl.sarl.IF.type

Subinterfaces of SymbolicArrayType in dev.civl.sarl.IF.type

Modifier and Type	Interface	Description
interface	SymbolicCompleteArrayType	A complete array type specifies not only the element type but also the extent (length) of the array.

Uses of SymbolicArrayType in dev.civl.sarl.type.IF

Methods in dev.civl.sarl.type.IF that return SymbolicArrayType

Modifier and Type	Method	Description
SymbolicArrayType	SymbolicTypeFactory.arrayType(SymbolicType elementType)	Creates a SymbolicArrayType that has elements of type elementType