Uses of Interface
dev.civl.abc.ast.type.IF.SetType

Packages that use SetType

Package	Description
dev.civl.abc.ast.type.IF	The ast.type submodule defines the (abstract) types that can be specified in a program.

Uses of SetType in dev.civl.abc.ast.type.IF

Subinterfaces of SetType in dev.civl.abc.ast.type.IF

Modifier and Type	Interface	Description
interface	MemType	This class represents the $mem type which stands for a set of (typed) memory locations.

Methods in dev.civl.abc.ast.type.IF that return SetType

Modifier and Type	Method	Description
SetType	TypeFactory.theSetType(ObjectType elementType)	Creates a SetType with the given element type.