Uses of Package
dev.civl.abc.ast.entity.IF

Packages that use dev.civl.abc.ast.entity.IF

Package	Description
dev.civl.abc.analysis.IF	The analysis module provides various algorithms which analyze an AST, leaving behind information about the AST.
dev.civl.abc.analysis.pointsTo.IF
dev.civl.abc.ast.IF	Module ast defines an Abstract Syntax Tree representation of a program, the AST.
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	Submodule ast.node defines every kind of node in an AST.
dev.civl.abc.ast.node.IF.declaration	The ast.node.declaration submodule defines nodes and other object deadling with declarations in a program.
dev.civl.abc.ast.node.IF.label	The ast.node.label submodule defines AST nodes for representing labels in a program, including ordinary labels, and the case and default labels used in switch statements.
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.
dev.civl.abc.transform.IF	Module transform defines various kinds of transformations of an AST.

Classes in dev.civl.abc.ast.entity.IF used by dev.civl.abc.analysis.IF

Class	Description
EntityFactory	A factory for producing instances of Entity, and some related utility methods.

Classes in dev.civl.abc.ast.entity.IF used by dev.civl.abc.analysis.pointsTo.IF

Class	Description
Entity	An entity is an underlying program "conceptual thing" that can be named by an identifier.
Function	A function is an entity which takes inputs, executes a statement, and possibly returns a result.
Variable	A variable ("object") entity.

Classes in dev.civl.abc.ast.entity.IF used by dev.civl.abc.ast.IF

Class	Description
EntityFactory	A factory for producing instances of Entity, and some related utility methods.
Function	A function is an entity which takes inputs, executes a statement, and possibly returns a result.
OrdinaryEntity	An "ordinary" entity is a Variable, Function, Enumerator, or Typedef.
Scope	A lexical (static) scope in a translation unit.
Typedef	An abstract representation of a typedef construct: binds a name to a type.

Classes in dev.civl.abc.ast.entity.IF used by dev.civl.abc.ast.entity.IF

Class	Description
BehaviorEntity	A behavior is an entity which has a name and an associating behavior node.
Entity	An entity is an underlying program "conceptual thing" that can be named by an identifier.
Entity.EntityKind	The different kinds of Entity.
EntityFactory	A factory for producing instances of Entity, and some related utility methods.
Function	A function is an entity which takes inputs, executes a statement, and possibly returns a result.
Label	A label followed by a colon may precede a statement in a C program.
OrdinaryEntity	An "ordinary" entity is a Variable, Function, Enumerator, or Typedef.
ProgramEntity
ProgramEntity.LinkageKind	The different kinds of linkage an entity may have: external, internal, or none.
Scope	A lexical (static) scope in a translation unit.
Scope.ScopeKind	The different kinds of scopes: file, block, function, function-prototype, and contract.
TaggedEntity	Marker interfaces for invalid reference StructureOrUnion and Enumeration entities.
Typedef	An abstract representation of a typedef construct: binds a name to a type.
Variable	A variable ("object") entity.
Variable.StorageDurationKind	An enumerated type for the four different kinds of "storage duration" defined in the C11 Standard.

Classes in dev.civl.abc.ast.entity.IF used by dev.civl.abc.ast.node.IF

Class	Description
Entity	An entity is an underlying program "conceptual thing" that can be named by an identifier.
Scope	A lexical (static) scope in a translation unit.

Classes in dev.civl.abc.ast.entity.IF used by dev.civl.abc.ast.node.IF.declaration

Class	Description
Entity	An entity is an underlying program "conceptual thing" that can be named by an identifier.
Function	A function is an entity which takes inputs, executes a statement, and possibly returns a result.
Typedef	An abstract representation of a typedef construct: binds a name to a type.
Variable	A variable ("object") entity.

Classes in dev.civl.abc.ast.entity.IF used by dev.civl.abc.ast.node.IF.label

Class	Description
Function	A function is an entity which takes inputs, executes a statement, and possibly returns a result.
Label	A label followed by a colon may precede a statement in a C program.

Classes in dev.civl.abc.ast.entity.IF used by dev.civl.abc.ast.type.IF

Class	Description
Entity	An entity is an underlying program "conceptual thing" that can be named by an identifier.
OrdinaryEntity	An "ordinary" entity is a Variable, Function, Enumerator, or Typedef.
ProgramEntity
TaggedEntity	Marker interfaces for invalid reference StructureOrUnion and Enumeration entities.

Classes in dev.civl.abc.ast.entity.IF used by dev.civl.abc.ast.value.IF

Class	Description
Function	A function is an entity which takes inputs, executes a statement, and possibly returns a result.
Variable	A variable ("object") entity.

Classes in dev.civl.abc.ast.entity.IF used by dev.civl.abc.transform.IF

Class	Description
Entity	An entity is an underlying program "conceptual thing" that can be named by an identifier.