Uses of Package
dev.civl.abc.token.IF
Packages that use dev.civl.abc.token.IF
Package
Description
The analysis module provides various algorithms which
analyze an AST, leaving behind information about the AST.
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.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.
Module parse is used to parse a token stream and
produce an ANTLR tree representation of a C program.
Module program provides a high-level, mutable,
representation of a program.
Module token defines the various kinds of tokens and related
classes used by ABC.
Module transform defines various kinds of transformations
of an AST.
-
Classes in dev.civl.abc.token.IF used by dev.civl.abc.analysis.IF
-
Classes in dev.civl.abc.token.IF used by dev.civl.abc.ast.IFClassDescriptionA formation is a record of the history of events that went into the formation of a token.Information object for a source file processed by ABC.A factory for producing all the objects under the control of the token module.An exception for which the source (in the source program being compiled) is unknown.
-
Classes in dev.civl.abc.token.IF used by dev.civl.abc.ast.conversion.IFClassDescriptionAn exception for which the source (in the source program being compiled) is unknown.
-
Classes in dev.civl.abc.token.IF used by dev.civl.abc.ast.entity.IFClassDescriptionAn exception for which the source (in the source program being compiled) is unknown.
-
Classes in dev.civl.abc.token.IF used by dev.civl.abc.ast.node.IFClassDescriptionA post-preprocessor token.Represents a finite sequence of
CivlcToken.Extends ANTLR'sTokenSourceinterface by adding some additional functionality: getting the macro information, and methods to get the number of tokens produced so far and to retrieve any token produced so far by index.A "Source" represents a range of CTokens (post-preprocessor tokens) from the token stream that forms the input to the parser.A string literal object results from processing a string literal in the source code.A factory for producing all the objects under the control of the token module. -
Classes in dev.civl.abc.token.IF used by dev.civl.abc.ast.node.IF.acsl
-
Classes in dev.civl.abc.token.IF used by dev.civl.abc.ast.value.IFClassDescriptionA string literal object results from processing a string literal in the source code.
-
Classes in dev.civl.abc.token.IF used by dev.civl.abc.front.IFClassDescriptionRepresents a finite sequence of
CivlcToken.Extends ANTLR'sTokenSourceinterface by adding some additional functionality: getting the macro information, and methods to get the number of tokens produced so far and to retrieve any token produced so far by index.AFileIndexerkeeps track of all source files opened during an invocation of ABC.A "Source" represents a range of CTokens (post-preprocessor tokens) from the token stream that forms the input to the parser.Information object for a source file processed by ABC.A factory for producing all the objects under the control of the token module. -
Classes in dev.civl.abc.token.IF used by dev.civl.abc.program.IFClassDescriptionA factory for producing all the objects under the control of the token module.
-
Classes in dev.civl.abc.token.IF used by dev.civl.abc.token.IFClassDescriptionA character token represents a character constant in a source program, e.g.,
'a'.A post-preprocessor token.Represents a finite sequence ofCivlcToken.Extends ANTLR'sTokenSourceinterface by adding some additional functionality: getting the macro information, and methods to get the number of tokens produced so far and to retrieve any token produced so far by index.AConcatenationrepresents the concatenation of a sequence of tokens.AFileIndexerkeeps track of all source files opened during an invocation of ABC.A formation is a record of the history of events that went into the formation of a token.A FunctionMacro represents a C preprocessor function-like macro, which has the from#define f(X1,X2,...) ....An Inclusion represents the application of a preprocessor#includedirective.An abstract representation of a preprocessor macro.The body of aMacrodefinition consists of a sequence ofMacro.ReplacementUnits, each of which comprises a preprocessing token (a non-whitespace token known as the "replacement token" in C11) plus some possible whitespace.A MacroExpansion represents an instance of the expansion of a preprocessor (object or function) macro.An Object macro represents a C preprocessor object macro: a directive of the form#define X ...whereXis the name of the macro and the...is a list of replacement tokens.A "Source" represents a range of CTokens (post-preprocessor tokens) from the token stream that forms the input to the parser.Information object for a source file processed by ABC.Represents use of the '#' operator in a function-like macro application.A string literal object results from processing a string literal in the source code.The different kinds of strings, based on the kind of characters they contain.A StringToken is formed from a sequence of one or more CTokens.A factory for producing all the objects under the control of the token module.An exception for which the source (in the source program being compiled) is unknown. -
Classes in dev.civl.abc.token.IF used by dev.civl.abc.transform.IF