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

Packages that use Type

Package	Description
dev.civl.abc.analysis.pointsTo.IF
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.node.IF.expression	The ast.node.expression submodule defines AST nodes for representing expressions in a program.
dev.civl.abc.ast.node.IF.type	The ast.node.type submodule defines AST nodes for representing type constructs in a program.
dev.civl.abc.ast.type.IF	The ast.type submodule defines the (abstract) types that can be specified in a program.
dev.civl.abc.ast.value.IF	The ast.value submodule defines classes for representing constant values that can occur in a program, such as numeric literals, characters, strings, pointer constants, and so on.

Uses of Type in dev.civl.abc.analysis.pointsTo.IF

Methods in dev.civl.abc.analysis.pointsTo.IF that return Type

Modifier and Type	Method	Description
Type	AssignExprIF.type()

Methods in dev.civl.abc.analysis.pointsTo.IF with parameters of type Type

Modifier and Type	Method	Description
AssignAuxExprIF	InsensitiveFlowFactory.assignAuxExpr(Type type)	creates a typed auxiliary abstract object

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

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

Modifier and Type	Method	Description
Type	Conversion.getNewType()	Returns the type of the entity after applying this conversion.
Type	Conversion.getOldType()	Returns the type of the entity before applying this conversion.

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

Modifier and Type	Method	Description
Conversion	ConversionFactory.assignmentConversion(Configuration config, ExpressionNode rhs, Type newType)	Given (1) the processed right hand side of an assignment expression and (2) the type of the assignment expression (i.e., the adjusted type of the left hand side), returns the conversion from the right-hand type to the assignment type.
Conversion	ConversionFactory.assignmentConversion(Configuration config, ExpressionNode rhs, Type newType, boolean ignoreQualifier)	Given (1) the processed right hand side of an assignment expression and (2) the type of the assignment expression (i.e., the adjusted type of the left hand side), returns the conversion from the right-hand type to the assignment type.

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

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

Modifier and Type	Method	Description
Type	CommonEntity.getType()
Type	ProgramEntity.getType()	Other than Label, and PragmaHandler, every kind of Entity has a type, returned by this method.

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

Modifier and Type	Method	Description
Iterator<Type>	Variable.getTypeAlignments()	An object declaration may contain any number of alignment specifiers.

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

Modifier and Type	Method	Description
void	Variable.addTypeAlignment(Type type)	Adds an alignment type to the list of type alignments associated to this node.
Function	EntityFactory.newFunction(String name, ProgramEntity.LinkageKind linkage, Type type)	Creates a new Function.
Typedef	EntityFactory.newTypedef(String name, Type type)	Creates a new Typedef entity.
Variable	EntityFactory.newVariable(String name, ProgramEntity.LinkageKind linkage, Type type)	Creates a new Variable.
void	CommonEntity.setType(Type type)
void	ProgramEntity.setType(Type type)	Sets the type of this entity.

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

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

Modifier and Type	Method	Description
Type	LiteralObject.getType()

Uses of Type in dev.civl.abc.ast.node.IF.expression

Methods in dev.civl.abc.ast.node.IF.expression that return Type

Modifier and Type	Method	Description
Type	ExpressionNode.getConvertedType()	Returns the final converted type of the expression.
Type	ExpressionNode.getInitialType()	Returns the initial type of the expression.
Type	SizeableNode.getType()	If this is a type node, returns the conceptual C type associated to the type node; if this is an expression node, returns the converted type associated to the expression.

Methods in dev.civl.abc.ast.node.IF.expression with parameters of type Type

Modifier and Type	Method	Description
ExpressionNode	GenericSelectionNode.getAssociatedExpression(Type typeLabel)	Gets the expression node associated to the typeNode representing a type compatible with typeLabel.
void	ExpressionNode.setInitialType(Type type)	Sets the initial type of the expression.

Uses of Type in dev.civl.abc.ast.node.IF.type

Methods in dev.civl.abc.ast.node.IF.type that return Type

Modifier and Type	Method	Description
Type	TypeNode.getType()	Returns the conceptual C type associated to this type node.

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

Modifier and Type	Method	Description
void	TypeNode.setType(Type type)	Sets the type that will be returned by subsequent calls to getType().

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

Subinterfaces of Type 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	FunctionType	According to C11, a function type is characterized by the return type and the number and types of the arguments.
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	ObjectType	A type of a Variable, also known as an "object" in C.
interface	PointerType
interface	QualifiedObjectType
interface	SetType	A set type is the type for expressions that represent sets of objects.
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 Type

Modifier and Type	Method	Description
Type	TypeFactory.compositeArrayTypeInDeclarationForCIVLC(Type varType, Type compositeType)	Given a variable v declaration with an initializer, the declared type t1 of v and the composite type t2 , which strictly conforms C11 standard, for t1 and the type of the initializer , returns the composite type, which conforms CIVL-C extention, for t1 and t2.
Type	TypeFactory.compositeType(Type type1, Type type2)	Given two compatible types, returns the "composite type" obtained by combining features of both types.
Type	TypeFactory.getType(int id)	Returns the id-th type conrolled by this type factory.
Type	Type.ignoreQualifiersAtomic()
Type	PointerType.referencedType()

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

Modifier and Type	Method	Description
Iterable<Type>	TypeFactory.getTypes()	Returns the set of types controlled by this type factory as an Iterable object.

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

Modifier and Type	Method	Description
boolean	Type.compatibleWith(Type type)	Is this type "compatible" with the given type? See C11 Sec.
Type	TypeFactory.compositeArrayTypeInDeclarationForCIVLC(Type varType, Type compositeType)	Given a variable v declaration with an initializer, the declared type t1 of v and the composite type t2 , which strictly conforms C11 standard, for t1 and the type of the initializer , returns the composite type, which conforms CIVL-C extention, for t1 and t2.
Type	TypeFactory.compositeType(Type type1, Type type2)	Given two compatible types, returns the "composite type" obtained by combining features of both types.
boolean	Type.equivalentTo(Type type)	Is this type "equivalent to" the given type.
boolean	TypeFactory.isArrayOfCharType(Type type)	Is the given type an array-of-char type?
boolean	TypeFactory.isBundleType(Type type)	Is the given type a CIVL-C bundle type?
boolean	TypeFactory.isPointerType(Type type)	Is the given type a (qualified or unqualified) pointer type?
boolean	TypeFactory.isVoidType(Type type)	Is the given type a void type?
ObjectType	TypeFactory.lambdaType(Type freeVariableType, Type lambdaFunctionType)	Returns a LambdaType which consists of the type of the free variable of the lambda term.
PointerType	TypeFactory.pointerType(Type referencedType)	Returns an instance of PointerType with the given referenced type.

Uses of Type in dev.civl.abc.ast.value.IF

Methods in dev.civl.abc.ast.value.IF that return Type

Modifier and Type	Method	Description
Type	CastValue.getCastType()
Type	Value.getType()	Returns the type of this value.
Type	TypeValue.getTypeArgument()

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

Modifier and Type	Method	Description
TypeValue	ValueFactory.alignofValue(Type type)
CastValue	ValueFactory.castValue(Type castType, Value argument)
OperatorValue	ValueFactory.operatorValue(Type type, OperatorNode.Operator operator, Value[] arguments)	The legal operators are: ADDRESSOF: invalid input: '&' pointer to object BITAND: invalid input: '&' bit-wise and BITCOMPLEMENT: ~ bit-wise complement BITOR: | bit-wise inclusive or BITXOR: ^ bit-wise exclusive or CONDITIONAL: ?: the conditional operator DEREFERENCE: * pointer dereference DIV: / numerical division EQUALS: == equality GT: > greater than GTE: >= greater than or equals LAND: invalid input: '&'invalid input: '&' logical and LOR: || logical or LT: invalid input: '<' less than LTE: invalid input: '<'= less than or equals MINUS: - binary subtraction (numbers and pointers) MOD: % integer modulus NEQ: != not equals NOT: ! logical not PLUS: + binary addition, numeric or pointer SHIFTLEFT: invalid input: '<'invalid input: '<' shift left SHIFTRIGHT: >> shift right SUBSCRIPT: [] array subscript TIMES: * numeric multiplication UNARYMINUS: - numeric negative UNARYPLUS // + numeric no-op
Value	ValueFactory.sizeofValue(Type type)