Uses of Class
dev.civl.abc.token.IF.SyntaxException

Packages that use SyntaxException

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.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.ast.node.IF.acsl
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.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.token.IF	Module token defines the various kinds of tokens and related classes used by ABC.
dev.civl.abc.transform.IF	Module transform defines various kinds of transformations of an AST.

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

Methods in dev.civl.abc.analysis.IF that throw SyntaxException

Modifier and Type	Method	Description
void	FocusAnalysisData.addFocusTag(String tag)	Adds a new tag entry into the tagMap if not previously there.
void	Analyzer.analyze(AST ast)	Performs the analysis on the given AST.
static void	Analysis.performStandardAnalysis(Configurations.Language language, Configuration configuration, AST ast)	A convenience method for performing the standard analyses on an AST.

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

Methods in dev.civl.abc.ast.conversion.IF that throw SyntaxException

Modifier and Type	Method	Description
MemConversion	ConversionFactory.memConversion(ExpressionNode expr)	Returns the mem conversion which converts the type of the given expr to a MemType.

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

Methods in dev.civl.abc.ast.entity.IF that throw SyntaxException

Modifier and Type	Method	Description
int	Scope.add(TaggedEntity entity)	Adds a tagged entity (an enumeration, structure, or union) to this scope.

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

Methods in dev.civl.abc.ast.IF that throw SyntaxException

Modifier and Type	Method	Description
AST	ASTFactory.newAST(SequenceNode<BlockItemNode> root, Collection<SourceFile> sourceFiles, boolean isWholeprogram)	Creates a new AST with the given root node.
StringLiteralNode	ASTFactory.newStringLiteralNode(Formation formation, String representation)	Produces a new StringLiteralNode.

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

Methods in dev.civl.abc.ast.node.IF that throw SyntaxException

Modifier and Type	Method	Description
Value	NodeFactory.getConstantValue(ExpressionNode expression)	If the expression can be evaluated statically to yield a constant value, this method returns that value, else it returns null.
FloatingConstantNode	NodeFactory.newFloatingConstantNode(Source source, String representation)	Constructs a new floating constant node.
IntegerConstantNode	NodeFactory.newIntegerConstantNode(Source source, String representation)	Constructs a new integer constant node.

Uses of SyntaxException in dev.civl.abc.ast.node.IF.acsl

Methods in dev.civl.abc.ast.node.IF.acsl that throw SyntaxException

Modifier and Type	Method	Description
List<BlockItemNode>	TransformNode.transform(List<BlockItemNode> items)	Apply the transformation this node is representing to some ast.

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

Methods in dev.civl.abc.ast.value.IF that throw SyntaxException

Modifier and Type	Method	Description
AddressValue	ValueFactory.addressValue(ExpressionNode lhs)
Value	ValueFactory.evaluate(ExpressionNode constantExpression)	Evaluates a constant expression.

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

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

Modifier and Type	Method	Description
SyntaxException	ParseTree.newSyntaxException(String message, org.antlr.runtime.tree.CommonTree tree)	Creates a new syntax exception.

Methods in dev.civl.abc.front.IF that throw SyntaxException

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

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

Methods in dev.civl.abc.program.IF that throw SyntaxException

Modifier and Type	Method	Description
void	Program.apply(Transformer transformer)	Transforms this program using the given Transformer.
void	Program.apply(Iterable<Transformer> transformers)	Applies the given sequence of transformers to this program.
void	Program.applyTransformer(String code)	Transforms program using the transformer specifid by the unique code.
void	Program.applyTransformers(Iterable<String> codes)	Applies the sequence of transformers specified by the given code sequence to this program.
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 SyntaxException in dev.civl.abc.token.IF

Methods in dev.civl.abc.token.IF that return SyntaxException

Modifier and Type	Method	Description
SyntaxException	TokenFactory.newSyntaxException(UnsourcedException e, CivlcToken token)
SyntaxException	TokenFactory.newSyntaxException(UnsourcedException e, Source source)
SyntaxException	TokenFactory.newSyntaxException(String message, CivlcToken token)
SyntaxException	TokenFactory.newSyntaxException(String message, Source source)

Methods in dev.civl.abc.token.IF that throw SyntaxException

Modifier and Type	Method	Description
CharacterToken	TokenFactory.characterToken(CivlcToken token)
StringToken	TokenFactory.newStringToken(CivlcToken token)
StringToken	TokenFactory.newStringToken(List<CivlcToken> tokens)	Constructs a new string literal token (instance of StringToken) by concatenating a list of string literal tokens.

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

Methods in dev.civl.abc.transform.IF that throw SyntaxException

Modifier and Type	Method	Description
AST	Combiner.combine(AST ast0, AST ast1)	Combine two ASTs into a single AST.
StringLiteralNode	BaseTransformer.newStringLiteralNode(String method, String representation)
StringLiteralNode	Transformer.newStringLiteralNode(String method, String representation)	Produces a new StringLiteralNode.
AST	Transformer.transform(AST ast)	Apply a transformation to a translation unit.