Uses of Interface
dev.civl.abc.config.IF.Configuration

Packages that use Configuration

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.ast.conversion.IF	Submodule ast.conversion provides classes for representing to C's "implicit conversions".
dev.civl.abc.ast.node.IF	Submodule ast.node defines every kind of node in an AST.
dev.civl.abc.ast.value.IF	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.
dev.civl.abc.config.IF	Module config defines a configuration of ABC which specifies things such as the language be parsed, bounds on integer types, and so on.
dev.civl.abc.front.IF	Module parse is used to parse a token stream and produce an ANTLR tree representation of a C program.

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

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

Modifier and Type	Method	Description
static Analyzer	Analysis.newStandardAnalyzer(Configurations.Language language, Configuration configuration, ASTFactory astFactory, EntityFactory entityFactory, ConversionFactory conversionFactory)	Constructs a new "standard" analyzer.
static void	Analysis.performStandardAnalysis(Configurations.Language language, Configuration configuration, AST ast)	A convenience method for performing the standard analyses on an AST.

Uses of Configuration in dev.civl.abc.ast.conversion.IF

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

Modifier and Type	Method	Description
Conversion	ConversionFactory.assignmentConversion(Configuration config, ExpressionNode rhs, Type newType)	Given (1) the processed right hand side of an assignment expression and (2) the type of the assignment expression (i.e., the adjusted type of the left hand side), returns the conversion from the right-hand type to the assignment type.
Conversion	ConversionFactory.assignmentConversion(Configuration config, ExpressionNode rhs, Type newType, boolean ignoreQualifier)	Given (1) the processed right hand side of an assignment expression and (2) the type of the assignment expression (i.e., the adjusted type of the left hand side), returns the conversion from the right-hand type to the assignment type.

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

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

Modifier and Type	Method	Description
Configuration	NodeFactory.configuration()	gets the configuration associated with this translation task.

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

Modifier and Type	Method	Description
static NodeFactory	Nodes.newNodeFactory(Configuration configuration, TypeFactory typeFactory, ValueFactory valueFactory)	Create a new node factory that uses the given type factory and the given value factory.

Uses of Configuration in dev.civl.abc.ast.value.IF

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

Modifier and Type	Method	Description
static ValueFactory	Values.newValueFactory(Configuration configuration, TypeFactory typeFactory)

Uses of Configuration in dev.civl.abc.config.IF

Methods in dev.civl.abc.config.IF that return Configuration

Modifier and Type	Method	Description
static Configuration	Configurations.newMinimalConfiguration()	Returns new Configuration object in which all parameters have the lowest possible values allowed by the C Standard.

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

Methods in dev.civl.abc.front.IF with parameters of type Configuration

Modifier and Type	Method	Description
static ASTBuilder	Front.newASTBuilder(Configurations.Language language, Configuration configuration, ASTFactory astFactory)	Creates an AST builder for the given language.
static Preprocessor	Front.newPreprocessor(Configurations.Language language, Configuration config, FileIndexer indexer, TokenFactory tokenFactory)	Returns a new Preprocessor using the default include paths.