Uses of Package
dev.civl.abc.ast.type.IF
Packages that use dev.civl.abc.ast.type.IF
Package
Description
Module ast defines an Abstract Syntax Tree
representation of a program, the
AST.Submodule ast.conversion provides classes for representing
to C's "implicit conversions".
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.Submodule ast.node defines every kind of
node in an AST.
The ast.node.compound submodule
defines nodes and related classes for representing
compound initializers.
The ast.node.declaration submodule defines nodes
and other object deadling with declarations in a program.
The ast.node.expression submodule defines AST nodes
for representing expressions in a program.
The ast.node.type submodule defines AST nodes
for representing type constructs in a program.
The ast.type submodule defines the (abstract) types
that can be specified in a program.
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.
-
Classes in dev.civl.abc.ast.type.IF used by dev.civl.abc.analysis.pointsTo.IFClassDescriptionA Field is a member of a structure or union.An instance of Type represents a C type.A factory for producing C types, which are represented as instances of
Type. -
Classes in dev.civl.abc.ast.type.IF used by dev.civl.abc.ast.IF
-
Classes in dev.civl.abc.ast.type.IF used by dev.civl.abc.ast.conversion.IFClassDescriptionThe 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).The CIVL-C type
$domainor$domain(n).According to C11, a function type is characterized by the return type and the number and types of the arguments.Marker interface for all "integer type" nodes.This class represents the$memtype which stands for a set of (typed) memory locations.A type of aVariable, also known as an "object" in C.A structure or union type.An instance of Type represents a C type.A factory for producing C types, which are represented as instances ofType.An unqualified object type is an object type without any qualifier (const, volatile, etc.). -
Classes in dev.civl.abc.ast.type.IF used by dev.civl.abc.ast.entity.IFClassDescriptionAccording to C11, a function type is characterized by the return type and the number and types of the arguments.A type of a
Variable, also known as an "object" in C.An instance of Type represents a C type. -
Classes in dev.civl.abc.ast.type.IF used by dev.civl.abc.ast.node.IF
-
Classes in dev.civl.abc.ast.type.IF used by dev.civl.abc.ast.node.IF.compoundClassDescriptionA Field is a member of a structure or union.A type of a
Variable, also known as an "object" in C.An instance of Type represents a C type. -
Classes in dev.civl.abc.ast.type.IF used by dev.civl.abc.ast.node.IF.declarationClassDescriptionAn Enumerator corresponds to one of the identifiers in the list in an enumeration.A Field is a member of a structure or union.
-
Classes in dev.civl.abc.ast.type.IF used by dev.civl.abc.ast.node.IF.expression
-
Classes in dev.civl.abc.ast.type.IF used by dev.civl.abc.ast.node.IF.typeClassDescriptionAn enumeration type.An instance of Type represents a C type.
-
Classes in dev.civl.abc.ast.type.IF used by dev.civl.abc.ast.type.IFClassDescriptionThe 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).Represents an array type.An atomic type, specified by
_Atomic ( type-name )or by using the_Atomictype qualifier.The CIVL-C type$domainor$domain(n).An enumeration type.An Enumerator corresponds to one of the identifiers in the list in an enumeration.A Field is a member of a structure or union.The floating types come in four kinds:float,double,long double, representing increasing precision, and "real", a CIVL-C type denoted$realrepresenting the mathematical real numbers.According to C11, a function type is characterized by the return type and the number and types of the arguments.Marker interface for all "integer type" nodes.This class represents the$memtype which stands for a set of (typed) memory locations.A type of aVariable, also known as an "object" in C.A set type is the type for expressions that represent sets of objects.Represents a C "signed or unsigned integer type."An instance of this class represents a "standard basic type".The 5 "standard" signed integer types.The 5 kinds of standard signed integer types.A structure or union type.An instance of Type represents a C type.The different kinds of types.A factory for producing C types, which are represented as instances ofType.An unqualified object type is an object type without any qualifier (const, volatile, etc.). -
Classes in dev.civl.abc.ast.type.IF used by dev.civl.abc.ast.value.IFClassDescriptionRepresents an array type.A Field is a member of a structure or union.The floating types come in four kinds:
float,double,long double, representing increasing precision, and "real", a CIVL-C type denoted$realrepresenting the mathematical real numbers.Marker interface for all "integer type" nodes.A structure or union type.An instance of Type represents a C type.A factory for producing C types, which are represented as instances ofType.