Uses of Interface
dev.civl.abc.ast.IF.AST

Packages that use AST

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.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.IF	Module ast defines an Abstract Syntax Tree representation of a program, the AST.
dev.civl.abc.ast.node.IF	Submodule ast.node defines every kind of node in an AST.
dev.civl.abc.front.IF	Module parse is used to parse a token stream and produce an ANTLR tree representation of a C program.
dev.civl.abc.program.IF	Module program provides a high-level, mutable, representation of a program.
dev.civl.abc.transform.IF	Module transform defines various kinds of transformations of an AST.

Uses of AST in dev.civl.abc.analysis.IF

Methods in dev.civl.abc.analysis.IF with parameters of type AST

Modifier and Type	Method	Description
void	Analyzer.analyze(AST ast)	Performs the analysis on the given AST.
void	Analyzer.clear(AST ast)	Removes all analysis artifacts added to the AST by the Analyzer.analyze(AST) method.
static void	Analysis.performStandardAnalysis(Configurations.Language language, Configuration configuration, AST ast)	A convenience method for performing the standard analyses on an AST.

Uses of AST in dev.civl.abc.analysis.pointsTo.IF

Methods in dev.civl.abc.analysis.pointsTo.IF that return AST

Modifier and Type	Method	Description
AST	FlowInsensePointsToAnalyzer.analyzedProgram()

Methods in dev.civl.abc.analysis.pointsTo.IF with parameters of type AST

Modifier and Type	Method	Description
static FlowInsensePointsToAnalyzer	SimplePointsToAnalysis.flowInsensePointsToAnalyzer(AST program, TypeFactory typeFactory)
static FlowInsensePointsToAnalyzer	SimplePointsToAnalysisIF.flowInsensePointsToAnalyzer(AST program, TypeFactory typeFactory)

Uses of AST in dev.civl.abc.ast.entity.IF

Methods in dev.civl.abc.ast.entity.IF that return AST

Modifier and Type	Method	Description
AST	Scope.getAST()	Returns the AST to which this scope belongs.

Uses of AST in dev.civl.abc.ast.IF

Methods in dev.civl.abc.ast.IF that return AST

Modifier and Type	Method	Description
AST	ASTFactory.getASTofLibrary(File file, Configurations.Language language)	Constructs the raw (unanalyzed) AST for the translation unit specified by a standard library file name.
AST	ASTFactory.newAST(SequenceNode<BlockItemNode> root, Collection<SourceFile> sourceFiles, boolean isWholeprogram)	Creates a new AST with the given root node.

Methods in dev.civl.abc.ast.IF with parameters of type AST

Modifier and Type	Method	Description
DifferenceObject	AST.diff(AST that)	Returns the first difference between this AST and that AST.
boolean	AST.equiv(AST that)	Compares this AST with that AST to see if they are equivalent.

Uses of AST in dev.civl.abc.ast.node.IF

Methods in dev.civl.abc.ast.node.IF that return AST

Modifier and Type	Method	Description
AST	ASTNode.getOwner()	Returns the "owner" of this AST, i.e., the AST to which this node belongs.

Methods in dev.civl.abc.ast.node.IF with parameters of type AST

Modifier and Type	Method	Description
void	ASTNode.setOwner(AST owner)	Sets the owner of this node to the given AST.

Uses of AST in dev.civl.abc.front.IF

Methods in dev.civl.abc.front.IF that return AST

Modifier and Type	Method	Description
AST	ASTBuilder.getTranslationUnit(ParseTree tree)	Builds the AST specified by a ParseTree which represents a translation unit.

Uses of AST in dev.civl.abc.program.IF

Methods in dev.civl.abc.program.IF that return AST

Modifier and Type	Method	Description
AST	Program.getAST()	Returns the abstract syntax tree of this program.

Methods in dev.civl.abc.program.IF with parameters of type AST

Modifier and Type	Method	Description
Program	ProgramFactory.newProgram(AST ast)	Forms a new program from the given AST.
Program	ProgramFactory.newProgram(AST[] asts)	Forms a new program by merging the given ASTs.

Uses of AST in dev.civl.abc.transform.IF

Methods in dev.civl.abc.transform.IF that return AST

Modifier and Type	Method	Description
AST	Combiner.combine(AST ast0, AST ast1)	Combine two ASTs into a single AST.
AST	Transformer.transform(AST ast)	Apply a transformation to a translation unit.

Methods in dev.civl.abc.transform.IF with parameters of type AST

Modifier and Type	Method	Description
AST	Combiner.combine(AST ast0, AST ast1)	Combine two ASTs into a single AST.
AST	Transformer.transform(AST ast)	Apply a transformation to a translation unit.