Package edu.udel.cis.vsl.abc.ast.entity.IF
package edu.udel.cis.vsl.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.-
ClassDescriptionA behavior is an entity which has a name and an associating behavior node.A simple, generic implementation of
Entity
.Factory class providing a static method to get a newEntityFactory
.An entity is an underlying program "conceptual thing" that can be named by an identifier.The different kinds of Entity.A factory for producing instances ofEntity
, and some related utility methods.A function is an entity which takes inputs, executes a statement, and possibly returns a result.A label followed by a colon may precede a statement in a C program.The different kinds of linkage an entity may have: external, internal, or none.A lexical (static) scope in a translation unit.The different kinds of scopes: file, block, function, function-prototype, and contract.Marker interfaces forStructureOrUnion
andEnumeration
entities.An abstract representation of atypedef
construct: binds a name to a type.A variable ("object") entity.An enumerated type for the four different kinds of "storage duration" defined in the C11 Standard.