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

Packages that use SymbolicUnionType

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

Uses of SymbolicUnionType in dev.civl.sarl.IF

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

Modifier and Type	Method	Description
SymbolicUnionType	CoreUniverse.unionType(StringObject name, Iterable<? extends SymbolicType> memberTypes)	Returns the type which is the union of the given member types.

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

Modifier and Type	Method	Description
SymbolicExpression	CoreUniverse.unionInject(SymbolicUnionType unionType, IntObject memberIndex, SymbolicExpression object)	Casts an object belonging to one of the members of a union type to the union type.

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

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

Modifier and Type	Method	Description
SymbolicUnionType	SymbolicTypeFactory.unionType(StringObject name, SymbolicTypeSequence memberTypes)	Creates a SymbolicUnionType