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

Packages that use ObjectType

Package	Description
dev.civl.abc.ast.conversion.IF	Submodule ast.conversion provides classes for representing to C's "implicit conversions".
dev.civl.abc.ast.entity.IF	Submodule ast.entity defines entities (objects of type Entity), the abstract things such as types, structures, unions, enumerations, objects (variables), functions, and so on, which can be named by identifiers in a program.
dev.civl.abc.ast.node.IF.compound	The ast.node.compound submodule defines nodes and related classes for representing compound initializers.
dev.civl.abc.ast.type.IF	The ast.type submodule defines the (abstract) types that can be specified in a program.

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

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

Modifier and Type	Method	Description
ObjectType	ArrayConversion.getOldType()
ObjectType	LvalueConversion.getOldType()
ObjectType	NullPointerConversion.getOldType()	An integer type or void*.
ObjectType	RegularRangeToDomainConversion.getOldType()	The range type $range.

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

Modifier and Type	Method	Description
ArrayConversion	ConversionFactory.arrayConversion(ObjectType type)	Returns the array conversion with old type the given type.
LvalueConversion	ConversionFactory.lvalueConversion(ObjectType type)	Returns a non-trivial LvalueConversion with old type the given type, or null if the conversion is trivial.
UnqualifiedObjectType	ConversionFactory.lvalueConversionType(ObjectType type)	Returns the type that would result from applying lvalue conversion to the given type.
NullPointerConversion	ConversionFactory.nullPointerConversion(ObjectType type1, PointerType type2)	Conversion from an integer constant with value 0 or such cast to a void*, to a pointer type.
RegularRangeToDomainConversion	ConversionFactory.regularRangeToDomainConversion(ObjectType rangeType, DomainType domainType)	When a range expression is used in $for or $parfor, it is converted automatically to $domain type.

Uses of ObjectType in dev.civl.abc.ast.entity.IF

Methods in dev.civl.abc.ast.entity.IF that return ObjectType

Modifier and Type	Method	Description
ObjectType	Variable.getType()

Uses of ObjectType in dev.civl.abc.ast.node.IF.compound

Methods in dev.civl.abc.ast.node.IF.compound that return ObjectType

Modifier and Type	Method	Description
ObjectType	CompoundInitializerNode.getType()	Returns the type of this initializer.

Methods in dev.civl.abc.ast.node.IF.compound with parameters of type ObjectType

Modifier and Type	Method	Description
void	CompoundInitializerNode.setType(ObjectType type)	Sets the type of this initializer.

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

Subinterfaces of ObjectType 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	QualifiedObjectType
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	UnqualifiedObjectType	An unqualified object type is an object type without any qualifier (const, volatile, etc.).
interface	UnsignedIntegerType

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

Modifier and Type	Method	Description
ObjectType	SetType.elementType()
ObjectType	ArrayType.getElementType()	The type of the elements.
ObjectType	FunctionType.getParameterType(int index)	Returns the type of the index-th parameter.
ObjectType	FunctionType.getReturnType()	The return type of this function.
ObjectType	Field.getType()	Returns the type of the field, or null if no type is specified.
ObjectType	TypeFactory.heapType()	Returns the heap type.
ObjectType	TypeFactory.lambdaType(Type freeVariableType, Type lambdaFunctionType)	Returns a LambdaType which consists of the type of the free variable of the lambda term.
ObjectType	TypeFactory.processType()	Returns the process type.
ObjectType	TypeFactory.qualify(ObjectType startType, boolean constQualified, boolean volatileQualified, boolean restrictQualified, boolean inputQualified, boolean outputQualified)	A more general algorithm for qualifying a type: for each true-valued parameter, the corresponding qualifier is "added" to the resulting type, i.e., if the type is already so-qualified, it is not changed, otherwise, the result will be so qualified.
ObjectType	TypeFactory.qualify(ObjectType startType, boolean atomic, boolean constQualified, boolean volatileQualified, boolean restrictQualified, boolean inputQualified, boolean outputQualified)	Adds qualifiers and atomic designation as needed to the given type.
ObjectType	TypeFactory.rangeType()	Returns the CIVL-C range type, denoted $range, which represents a sequence of integers.
ObjectType	TypeFactory.scopeType()	Returns the scope type
ObjectType	TypeFactory.voidType()	Returns an instance of ObjectType representing the "void" type.

Methods in dev.civl.abc.ast.type.IF that return types with arguments of type ObjectType

Modifier and Type	Method	Description
Iterable<ObjectType>	FunctionType.getParameterTypes()	The sequence of formal parameter declarations for this function type.

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

Modifier and Type	Method	Description
ArrayType	TypeFactory.arrayType(ObjectType elementType, IntegerValue constantExtent)	Returns a complete array type in which the size expression has been evaluated to a known constant value.
FunctionType	TypeFactory.functionType(ObjectType returnType)	Returns the function type with the given return type but with no information on the parameters.
FunctionType	TypeFactory.functionType(ObjectType returnType, boolean fromIdentifierList, Iterable<ObjectType> parameterTypes, boolean hasVariableArgs)	Returns the function type with the given return type and parameter type list.
ArrayType	TypeFactory.incompleteArrayType(ObjectType elementType)	Returns an incomplete array type (i.e., the extent is not specified).
Field	TypeFactory.newField(FieldDeclarationNode declaration, ObjectType type, Value bitWidth)	Creates a new field entity.
ObjectType	TypeFactory.qualify(ObjectType startType, boolean constQualified, boolean volatileQualified, boolean restrictQualified, boolean inputQualified, boolean outputQualified)	A more general algorithm for qualifying a type: for each true-valued parameter, the corresponding qualifier is "added" to the resulting type, i.e., if the type is already so-qualified, it is not changed, otherwise, the result will be so qualified.
ObjectType	TypeFactory.qualify(ObjectType startType, boolean atomic, boolean constQualified, boolean volatileQualified, boolean restrictQualified, boolean inputQualified, boolean outputQualified)	Adds qualifiers and atomic designation as needed to the given type.
SetType	TypeFactory.theSetType(ObjectType elementType)	Creates a SetType with the given element type.
ArrayType	TypeFactory.unspecifiedVariableLengthArrayType(ObjectType elementType)	Returns a complete array type of "unspecified variable length".
ArrayType	TypeFactory.variableLengthArrayType(ObjectType elementType, ExpressionNode variableSize)	Returns a complete array type in which the size expression cannot be evaluated to a known constant value.

Method parameters in dev.civl.abc.ast.type.IF with type arguments of type ObjectType

Modifier and Type	Method	Description
FunctionType	TypeFactory.functionType(ObjectType returnType, boolean fromIdentifierList, Iterable<ObjectType> parameterTypes, boolean hasVariableArgs)	Returns the function type with the given return type and parameter type list.