Uses of Interface
dev.civl.abc.ast.entity.IF.Entity
Packages that use Entity
Package
Description
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.declaration submodule defines nodes
and other object deadling with declarations in a program.
The ast.type submodule defines the (abstract) types
that can be specified in a program.
Module transform defines various kinds of transformations
of an AST.
-
Uses of Entity in dev.civl.abc.analysis.pointsTo.IF
Methods in dev.civl.abc.analysis.pointsTo.IF with parameters of type EntityModifier and TypeMethodDescriptionFlowInsensePointsToAnalyzer.mayPointsTo(Function func, Entity[] designations) Returns the points-to set of the given program object represented by a list of designations -
Uses of Entity in dev.civl.abc.ast.entity.IF
Subinterfaces of Entity in dev.civl.abc.ast.entity.IFModifier and TypeInterfaceDescriptioninterfaceA behavior is an entity which has a name and an associating behavior node.interfaceA function is an entity which takes inputs, executes a statement, and possibly returns a result.interfaceA label followed by a colon may precede a statement in a C program.interfaceinterfaceinterfaceMarker interfaces forandinvalid reference
StructureOrUnionEnumerationentities.interfaceAn abstract representation of atypedefconstruct: binds a name to a type.interfaceA variable ("object") entity.Classes in dev.civl.abc.ast.entity.IF that implement Entity -
Uses of Entity in dev.civl.abc.ast.node.IF
Methods in dev.civl.abc.ast.node.IF that return EntityModifier and TypeMethodDescriptionIdentifierNode.getEntity()Returns the entity to which this identifier refers.Methods in dev.civl.abc.ast.node.IF with parameters of type Entity -
Uses of Entity in dev.civl.abc.ast.node.IF.declaration
Methods in dev.civl.abc.ast.node.IF.declaration that return EntityModifier and TypeMethodDescriptionDeclarationNode.getEntity()Returns the entity whose existence is declared by this declaration.Methods in dev.civl.abc.ast.node.IF.declaration with parameters of type Entity -
Uses of Entity in dev.civl.abc.ast.type.IF
Subinterfaces of Entity in dev.civl.abc.ast.type.IFModifier and TypeInterfaceDescriptioninterfaceAn enumeration type.interfaceAn Enumerator corresponds to one of the identifiers in the list in an enumeration.interfaceA Field is a member of a structure or union.interfaceA structure or union type. -
Uses of Entity in dev.civl.abc.transform.IF
Method parameters in dev.civl.abc.transform.IF with type arguments of type EntityModifier and TypeMethodDescriptionstatic NameTransformerTransform.nameTransformer(Map<Entity, String> newNameMap, ASTFactory astFactory)