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.
  • Class
    Description
    A 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 new EntityFactory.
    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 of Entity, 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.
    An "ordinary" entity is a Variable, Function, Enumerator, or Typedef.
     
    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 for StructureOrUnion and Enumeration entities.
    An abstract representation of a typedef 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.