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

Packages that use UnqualifiedObjectType

Package	Description
dev.civl.abc.ast.conversion.IF	Submodule ast.conversion provides classes for representing to C's "implicit conversions".
dev.civl.abc.ast.type.IF	The ast.type submodule defines the (abstract) types that can be specified in a program.

Uses of UnqualifiedObjectType in dev.civl.abc.ast.conversion.IF

Methods in dev.civl.abc.ast.conversion.IF that return UnqualifiedObjectType

Modifier and Type	Method	Description
UnqualifiedObjectType	LvalueConversion.getNewType()
UnqualifiedObjectType	ConversionFactory.lvalueConversionType(ObjectType type)	Returns the type that would result from applying lvalue conversion to the given type.

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

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

Modifier and Type	Interface	Description
interface	ArithmeticType	The arithmetic types are "char", the signed and unsigned integer types, enumeration types, and the floating types (which include the real and the complex floating types).
interface	ArrayType	Represents an array type.
interface	AtomicType	An atomic type, specified by _Atomic ( type-name ) or by using the _Atomic type qualifier.
interface	DomainType	The CIVL-C type $domain or $domain(n).
interface	EnumerationType	An enumeration type.
interface	FloatingType	The floating types come in four kinds: float, double, long double, representing increasing precision, and "real", a CIVL-C type denoted $real representing the mathematical real numbers.
interface	IntegerType	Marker interface for all "integer type" nodes.
interface	LambdaType	A lambda type represents the type of an lambda expression (see LambdaNode .
interface	MemType	This class represents the $mem type which stands for a set of (typed) memory locations.
interface	PointerType
interface	SignedIntegerType
interface	SignedOrUnsignedIntegerType	Represents a C "signed or unsigned integer type."
interface	StandardBasicType	An instance of this class represents a "standard basic type".
interface	StandardSignedIntegerType	The 5 "standard" signed integer types.
interface	StandardUnsignedIntegerType
interface	StructureOrUnionType	A structure or union type.
interface	UnsignedIntegerType

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

Modifier and Type	Method	Description
UnqualifiedObjectType	LambdaType.freeVariableType()
UnqualifiedObjectType	AtomicType.getBaseType()	Returns the base type.
UnqualifiedObjectType	QualifiedObjectType.getBaseType()
UnqualifiedObjectType	LambdaType.lambdaFunctionReturnType()

Methods in dev.civl.abc.ast.type.IF with parameters of type UnqualifiedObjectType

Modifier and Type	Method	Description
AtomicType	TypeFactory.atomicType(UnqualifiedObjectType baseType)	The atomic type associated to a base type.
QualifiedObjectType	TypeFactory.qualifiedType(UnqualifiedObjectType baseType, boolean constQualified, boolean volatileQualified, boolean restrictQualified, boolean inputQualified, boolean outputQualified)	Returns a qualified type based on the given unqualified type.