Uses of Interface
dev.civl.abc.token.IF.Source

Packages that use Source

Package	Description
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.token.IF	Module token defines the various kinds of tokens and related classes used by ABC.

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

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

Modifier and Type	Method	Description
Source	ASTNode.getSource()	Returns the source object that locates the origin of this program construct in the original source code.

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

Modifier and Type	Method	Description
AbstractFunctionDefinitionNode	NodeFactory.newAbstractFunctionDefinitionNode(Source source, IdentifierNode name, TypeNode type, SequenceNode<ContractNode> contract, int continuity, SequenceNode<PairNode<ExpressionNode,ExpressionNode>> intervals, StringLiteralNode attr)	Creates a new CIVL abstract function definition.
AlignOfNode	NodeFactory.newAlignOfNode(Source source, TypeNode type)	Constructs a new "align-of" node.
AllocationNode	NodeFactory.newAllocationNode(Source source, boolean isAllocates, SequenceNode<ExpressionNode> memoryList)	Creates a new allocation node, which represents either an allocates or frees clause.
AnyactNode	NodeFactory.newAnyactNode(Source source)	Creates a new \anyact event node
ArrayDesignatorNode	NodeFactory.newArrayDesignatorNode(Source source, ExpressionNode index)	Constructs a new array designator node.
ArrayLambdaNode	NodeFactory.newArrayLambdaNode(Source source, TypeNode type, SequenceNode<PairNode<SequenceNode<VariableDeclarationNode>,ExpressionNode>> boundVariableDeclarationList, ExpressionNode restriction, ExpressionNode expression)	Constructs a new array lambda expression.
ArrayLambdaNode	NodeFactory.newArrayLambdaNode(Source source, TypeNode type, List<VariableDeclarationNode> boundVariableDeclarationList, ExpressionNode restriction, ExpressionNode expression)	Constructs a new array lambda expression.
ArrayTypeNode	NodeFactory.newArrayTypeNode(Source source, TypeNode elementType, ExpressionNode extent)	Constructs and returns a new array type node.
ArrayTypeNode	NodeFactory.newArrayTypeNode(Source source, TypeNode elementType, ExpressionNode extent, ExpressionNode startIndex)	Constructs and returns a new array type node.
ArrowNode	NodeFactory.newArrowNode(Source source, ExpressionNode structurePointer, IdentifierNode fieldName)	Constructs a new node for an "arrow" expression, used in C for structure or union field navigation starting from a pointer, as in myStructPtr->field.
AssignsOrReadsNode	NodeFactory.newAssignsNode(Source source, SequenceNode<ExpressionNode> expressionList)	Constructs a new node representing an ACSL assigns contract clause.
AssumesNode	NodeFactory.newAssumesNode(Source source, ExpressionNode predicate)	Creates a new assumes clause node
AtomicNode	NodeFactory.newAtomicStatementNode(Source statementSource, StatementNode body)	Creates a new CIVL-C $atomic statement node.
AtomicTypeNode	NodeFactory.newAtomicTypeNode(Source source, TypeNode baseType)	Constructs and returns a new atomic type node.
BasicTypeNode	NodeFactory.newBasicTypeNode(Source source, StandardBasicType.BasicTypeKind kind)	Returns a new type node for a basic type.
BehaviorNode	NodeFactory.newBehaviorNode(Source source, IdentifierNode name, SequenceNode<ContractNode> body)	creates a behavior node.
ConstantNode	NodeFactory.newBooleanConstantNode(Source source, boolean value)	Constructs a new node representing a CIVL-C boolean constant, " $true" or "$false".
JumpNode	NodeFactory.newBreakNode(Source source)	Creates a new node representing the C break statement, used in a loop or switch body to direct control to the location just after the loop or switch construct.
CallEventNode	NodeFactory.newCallEventNode(Source source, IdentifierExpressionNode function, SequenceNode<ExpressionNode> args)	Creates a new \call event node
SwitchLabelNode	NodeFactory.newCaseLabelDeclarationNode(Source source, ExpressionNode constantExpression, StatementNode statement)	Constructs a new case-labeled declaration node.
CastNode	NodeFactory.newCastNode(Source source, TypeNode type, ExpressionNode argument)	Constructs a new cast node.
CharacterConstantNode	NodeFactory.newCharacterConstantNode(Source source, String representation, ExecutionCharacter character)	Returns a new character constant node.
ChooseStatementNode	NodeFactory.newChooseStatementNode(Source source, List<StatementNode> statements)	Constructs a new node representing a CIVL-C $choose statement.
CivlForNode	NodeFactory.newCivlForNode(Source source, boolean isParallel, DeclarationListNode variables, ExpressionNode domain, StatementNode body, SequenceNode<ContractNode> loopContract)	Creates a new instance of the CIVL $for or $parfor node.
CompletenessNode	NodeFactory.newCompletenessNode(Source source, boolean isComplete, SequenceNode<IdentifierNode> idList)	creates a completeness clause node, which could be complete or disjoint
CompoundInitializerNode	NodeFactory.newCompoundInitializerNode(Source source, List<PairNode<DesignationNode,InitializerNode>> initList)	Constructs new compound initializer node.
CompoundLiteralNode	NodeFactory.newCompoundLiteralNode(Source source, TypeNode typeNode, CompoundInitializerNode initializerList)	Returns a new compound literal node.
CompoundStatementNode	NodeFactory.newCompoundStatementNode(Source source, List<BlockItemNode> items)	Constructs a new compound statement node.
JumpNode	NodeFactory.newContinueNode(Source source)	Creates a new node representing the C continue statement, used in a loop body to direct control to the next loop iteration.
SwitchLabelNode	NodeFactory.newDefaultLabelDeclarationNode(Source source, StatementNode statement)	Constructs a new node representing the occurence of a default : label inside of a switch statement body.
DependsNode	NodeFactory.newDependsNode(Source source, ExpressionNode condition, SequenceNode<DependsEventNode> eventList)	Constructs a new node representing a CIVL-C $depends contract clause.
DerivativeExpressionNode	NodeFactory.newDerivativeExpressionNode(Source source, ExpressionNode function, SequenceNode<PairNode<IdentifierExpressionNode,IntegerConstantNode>> partials, SequenceNode<ExpressionNode> arguments)	Constructs a new CIVL-C derivative expression, used to represent the (partial) derivative of a function with respect to any number of variables, evaluated at a point.
DesignationNode	NodeFactory.newDesignationNode(Source source, List<DesignatorNode> designators)	Creates a new designation node, which can be used as part of a compound initializer.
LoopNode	NodeFactory.newDoLoopNode(Source source, ExpressionNode condition, StatementNode body, SequenceNode<ContractNode> contracts)	Constructs a new node representing a do...while loop.
DomainTypeNode	NodeFactory.newDomainTypeNode(Source source)	Returns a new instance of domain type node, with no dimension specified; this is the CIVL-C type $domain.
DomainTypeNode	NodeFactory.newDomainTypeNode(Source source, ExpressionNode dimension)	Returns a new instance of the domain type node with given integer dimension; this is the CIVL-C type $domain(n), where n is the domain dimension.
DotNode	NodeFactory.newDotNode(Source source, ExpressionNode structure, IdentifierNode fieldName)	Constructs a new node for a "dot" expression, used in C for structure or union field navigation, as in myStruct.field.
EnsuresNode	NodeFactory.newEnsuresNode(Source source, ExpressionNode expression)	Constructs a new node representing a CIVL-C $ensures contract clause.
EnumerationTypeNode	NodeFactory.newEnumerationTypeNode(Source source, IdentifierNode tag, SequenceNode<EnumeratorDeclarationNode> enumerators)	Constructs and returns a new enumeration type node.
EnumeratorDeclarationNode	NodeFactory.newEnumeratorDeclarationNode(Source source, IdentifierNode name, ExpressionNode value)	Creates new declaration of an enumerator, which is an element inside of a C enum definition.
ExtendedQuantifiedExpressionNode	NodeFactory.newExtendedQuantifiedExpressionNode(Source source, ExtendedQuantifiedExpressionNode.ExtendedQuantifier quant, ExpressionNode lo, ExpressionNode hi, ExpressionNode function)	Creates a new extended quantified expression node.
FieldDeclarationNode	NodeFactory.newFieldDeclarationNode(Source source, IdentifierNode name, TypeNode type)	Consructs a new field declaration node.
FieldDeclarationNode	NodeFactory.newFieldDeclarationNode(Source source, IdentifierNode name, TypeNode type, ExpressionNode bitFieldWidth)	Consructs a new field declaration node which also includes a "bit width" argument.
FieldDesignatorNode	NodeFactory.newFieldDesignatorNode(Source source, IdentifierNode name)	Constructs a new field designator node.
FloatingConstantNode	NodeFactory.newFloatingConstantNode(Source source, String representation)	Constructs a new floating constant node.
FloatingConstantNode	NodeFactory.newFloatingConstantNode(Source source, String representation, String wholePart, String fractionPart, String exponent, FloatingValue value)	Constructs a new floating constant node.
FocusAssertTransformNode	NodeFactory.newFocusAssertNode(Source source, TokenFactory tokenFactory, List<String> focusTags)
FocusLoopTransformNode	NodeFactory.newFocusLoopNode(Source source, TokenFactory tokenFactory, String focusTag, SequenceNode<ExpressionNode> tagWindow, SequenceNode<ExpressionNode> memoryList)
FocusOrderedTransformNode	NodeFactory.newFocusOrderedNode(Source source, TokenFactory tokenFactory, String focusTag, OperatorNode operator, RegularRangeNode range, ExpressionNode expr)
DeclarationListNode	NodeFactory.newForLoopInitializerNode(Source source, List<VariableDeclarationNode> declarations)	Construcs a new declaration list node, which is comprised of a sequence of variable declarations.
ForLoopNode	NodeFactory.newForLoopNode(Source source, ForLoopInitializerNode initializer, ExpressionNode condition, ExpressionNode incrementer, StatementNode body, SequenceNode<ContractNode> contracts)	Constructs a new for loop node.
FunctionCallNode	NodeFactory.newFunctionCallNode(Source source, ExpressionNode function, List<ExpressionNode> arguments, SequenceNode<ExpressionNode> scopeList)	Constructs a new function call node.
FunctionCallNode	NodeFactory.newFunctionCallNode(Source source, ExpressionNode function, List<ExpressionNode> contextArguments, List<ExpressionNode> arguments, SequenceNode<ExpressionNode> scopeList)	Constructs a new kernel function call node.
FunctionDeclarationNode	NodeFactory.newFunctionDeclarationNode(Source source, IdentifierNode name, TypeNode type, SequenceNode<ContractNode> contract)	Creates a new function declaration with no body (so it is not a function "definition").
FunctionDefinitionNode	NodeFactory.newFunctionDefinitionNode(Source source, IdentifierNode name, FunctionTypeNode type, SequenceNode<ContractNode> contract, CompoundStatementNode body)	Constructs a new node representing a function definition, i.e., a function declaration with body.
FunctionTypeNode	NodeFactory.newFunctionTypeNode(Source source, TypeNode returnType, SequenceNode<VariableDeclarationNode> formals, boolean hasIdentifierList)	Constructs and returns a new function type node.
GenericAssociationNode	NodeFactory.newGenericAssociationNode(Source source, TypeNode typeLabel, ExpressionNode associatedExpression)	Constructs a new generic association node which acts as a binding between a type node and an expression for the purposes of a generic selection node
GenericSelectionNode	NodeFactory.newGenericSelectionNode(Source source, ExpressionNode controllingExpression, ExpressionNode defaultExpression, SequenceNode<GenericAssociationNode> genericAssociationList)	Constructs a new generic selection node, used to select an expression to evaluate at compile time based on the type of the controlling expression.
GotoNode	NodeFactory.newGotoNode(Source source, IdentifierNode label)	Constructs a new node representing a goto statement.
GuardsNode	NodeFactory.newGuardNode(Source source, ExpressionNode expression)	Constructs a new node representing a CIVL-C $guard contract clause.
ExpressionNode	NodeFactory.newHereNode(Source source)	Creates a new constant expression node representing $here.
IdentifierExpressionNode	NodeFactory.newIdentifierExpressionNode(Source source, IdentifierNode identifier)	Constructs a new identifier expression node.
IdentifierNode	NodeFactory.newIdentifierNode(Source source, String name)	Constructs and returns a new identifier node with given source object and name.
IfNode	NodeFactory.newIfNode(Source source, ExpressionNode condition, StatementNode trueBranch)	Creates new if statement node when there is no false ("else") branch.
IfNode	NodeFactory.newIfNode(Source source, ExpressionNode condition, StatementNode trueBranch, StatementNode falseBranch)	Creates a new if statement node.
InsertTransformNode	NodeFactory.newInsertTransformNode(Source source, List<BlockItemNode> nodesToInsert, boolean insertAfter)
IntegerConstantNode	NodeFactory.newIntConstantNode(Source source, int value)	A special case of NodeFactory.newIntegerConstantNode(Source, String) where the 2nd arg is an integer, and the type of this IntegerConstantNode is int.
IntegerConstantNode	NodeFactory.newIntegerConstantNode(Source source, String representation)	Constructs a new integer constant node.
InvariantNode	NodeFactory.newInvariantNode(Source source, boolean isLoopInvariant, ExpressionNode expression)	Creates a new invariant clause node
LabeledStatementNode	NodeFactory.newLabeledStatementNode(Source source, LabelNode label, StatementNode statement)	Constructs new node representing a labeled statement.
LambdaNode	NodeFactory.newLambdaNode(Source source, VariableDeclarationNode boundVariableDeclaration, ExpressionNode expression)	Constructs a new lambda expression with a free (no restriction on the bound variable) variable.
LambdaNode	NodeFactory.newLambdaNode(Source source, VariableDeclarationNode boundVariableDeclaration, ExpressionNode restriction, ExpressionNode expression)	Constructs a new lambda expression with restriction on the bound variable.
LambdaTypeNode	NodeFactory.newLambdaTypeNode(Source source, TypeNode freeVariableType, TypeNode lambdaFunctionType)
MemoryEventNode	NodeFactory.newMemoryEventNode(Source source, MemoryEventNode.MemoryEventNodeKind kind, SequenceNode<ExpressionNode> memoryList)	creates a new memory event node, which could be either \read , write or reach.
TypeNode	NodeFactory.newMemTypeNode(Source source)	Returns a new mem type node ("$mem").
NoactNode	NodeFactory.newNoactNode(Source source)	Creates a new \noact event node
NothingNode	NodeFactory.newNothingNode(Source source)	creates a \nothing node which represents an empty set of memory units.
StatementNode	NodeFactory.newNullStatementNode(Source source)	Constructs a new node representing a C "null" statement, also known as a "no-op" statement, and written as just a semicolon.
ObjectOrRegionOfNode	NodeFactory.newObjectofNode(Source source, ExpressionNode operand)	Creates a new $object_of node
OmpSyncNode	NodeFactory.newOmpAtomicNode(Source source, StatementNode statement, OmpAtomicNode.OmpAtomicClause clause, boolean seqConsistent)	Creates a new OpenMP atomic node, representing #pragma omp atomic....
OmpSyncNode	NodeFactory.newOmpBarrierNode(Source source)	Creates a new OpenMP barrier node, representing #pragma omp barrier....
OmpSyncNode	NodeFactory.newOmpCriticalNode(Source source, IdentifierNode name, StatementNode statement)	Creates a new OpenMP critical node, representing #pragma omp critical....
OmpSyncNode	NodeFactory.newOmpFlushNode(Source source)	Creates a new OpenMP flush node with no variable list
OmpSyncNode	NodeFactory.newOmpFlushNode(Source source, SequenceNode<IdentifierExpressionNode> variables)	Creates a new OpenMP flush node, representing #pragma omp flush....
OmpForNode	NodeFactory.newOmpForNode(Source source, StatementNode statement)	Creates a new OpenMP for node, representing #pragma omp for....
OmpEndNode	NodeFactory.newOmpFortranEndNode(Source source, OmpEndNode.OmpEndType endType)	FORTRAN ONLY Creates a new OpenMP END node with its type, which indicates what previous OpenMP executable struct should end.
OmpFunctionReductionNode	NodeFactory.newOmpFunctionReductionNode(Source source, IdentifierExpressionNode function, SequenceNode<IdentifierExpressionNode> variables)	Creates a new OpenMP reduction node with an identifier operator (i.e., function names).
OmpSyncNode	NodeFactory.newOmpMasterNode(Source source, StatementNode statement)	Creates a new OpenMP master node, representing #pragma omp master....
OmpSyncNode	NodeFactory.newOmpOrederedNode(Source source, StatementNode statement)	Creates a new OpenMP ordered node, representing #pragma omp ordered....
OmpParallelNode	NodeFactory.newOmpParallelNode(Source source, StatementNode statement)	Creates a new OpenMP parallel node, representing #pragma omp parallel....
OmpWorksharingNode	NodeFactory.newOmpSectionNode(Source source, StatementNode statement)	Creates a new OpenMP section node, representing #pragma omp section....
OmpWorksharingNode	NodeFactory.newOmpSectionsNode(Source source, StatementNode statement)	Creates a new OpenMP sections node, representing #pragma omp sections....
OmpSimdNode	NodeFactory.newOmpSimdNode(Source source, StatementNode statement)	Creates a new OpenMP simd node, representing #pragma omp simd....
OmpWorksharingNode	NodeFactory.newOmpSingleNode(Source source, StatementNode statement)	Creates a new OpenMP single node, representing #pragma omp single....
OmpSymbolReductionNode	NodeFactory.newOmpSymbolReductionNode(Source source, OmpReductionNode.OmpReductionOperator operator, SequenceNode<IdentifierExpressionNode> variables)	Creates a new OpenMP reduction node with a standard operator.
OmpDeclarativeNode	NodeFactory.newOmpThreadprivateNode(Source source, SequenceNode<IdentifierExpressionNode> variables)	Creates a new OpenMP threadprivate node.
CompositeEventNode	NodeFactory.newOperatorEventNode(Source source, CompositeEventNode.EventOperator op, DependsEventNode left, DependsEventNode right)	creates a new composite event node, which is composed by two events node and an operator.
OperatorNode	NodeFactory.newOperatorNode(Source source, OperatorNode.Operator operator, ExpressionNode argument)	Convenience method for constructing new unary operator node; equivalent to invoking NodeFactory.newOperatorNode(Source, Operator, ExpressionNode) on the singleton list containing argument.
OperatorNode	NodeFactory.newOperatorNode(Source source, OperatorNode.Operator operator, ExpressionNode arg0, ExpressionNode arg1)	Convenience method for constructing new binary operator node; equivalent to invoking NodeFactory.newOperatorNode(Source, Operator, ExpressionNode) on the list consisting of arg0 and arg1.
OperatorNode	NodeFactory.newOperatorNode(Source source, OperatorNode.Operator operator, ExpressionNode arg0, ExpressionNode arg1, ExpressionNode arg2)	Convenience method for constructing new ternary operator node; equivalent to invoking NodeFactory.newOperatorNode(Source, Operator, ExpressionNode) on the list consisting of arg0, arg1, and arg2.
OperatorNode	NodeFactory.newOperatorNode(Source source, OperatorNode.Operator operator, List<ExpressionNode> arguments)	Constructs a new operator expression node using one of the standard operators provided in the enumerated type OperatorNode.Operator.
<S extends ASTNode, T extends ASTNode> PairNode<S,T>	NodeFactory.newPairNode(Source source, S node1, T node2)	Creates a new ordered pair node, i.e., a node with exactly two children belonging to two specific classes.
PointerTypeNode	NodeFactory.newPointerTypeNode(Source source, TypeNode referencedType)	Constructs and returns a new pointer type node.
PragmaNode	NodeFactory.newPragmaNode(Source source, IdentifierNode identifier, CivlcTokenSequence producer, CivlcToken newlineToken)	Constructs a new pragma node, representing a C #pragma directive.
PredicateNode	NodeFactory.newPredicateNode(Source source, IdentifierNode identifier, SequenceNode<VariableDeclarationNode> parameters, ExpressionNode body)	Creates a new PredicateNode for ACSL predicates
ExpressionNode	NodeFactory.newProcnullNode(Source source)	Constructs a new node representing an occurrence of the CIVL-C "null process" constant, written $proc_null.
SequenceNode<BlockItemNode>	NodeFactory.newProgramNode(Source source, List<BlockItemNode> definitions)	Creates a new node representing an entire program.
QuantifiedExpressionNode	NodeFactory.newQuantifiedExpressionNode(Source source, QuantifiedExpressionNode.Quantifier quantifier, SequenceNode<PairNode<SequenceNode<VariableDeclarationNode>,ExpressionNode>> boundVariableDeclarationList, ExpressionNode restriction, ExpressionNode expression, SequenceNode<PairNode<ExpressionNode,ExpressionNode>> intervalSequence)	Constructs a new quantified expression.
TypeNode	NodeFactory.newRangeTypeNode(Source source)	Returns a new instance of range type node; this is the CIVL-C type $range.
AssignsOrReadsNode	NodeFactory.newReadsNode(Source source, SequenceNode<ExpressionNode> expressionList)	Constructs a new node representing an ACSL reads contract clause.
ObjectOrRegionOfNode	NodeFactory.newRegionofNode(Source source, ExpressionNode operand)	Creates a new $region_of node
RegularRangeNode	NodeFactory.newRegularRangeNode(Source source, ExpressionNode low, ExpressionNode high)	Constructs a new CIVL-C regular range expression, which has the form lo ..
RegularRangeNode	NodeFactory.newRegularRangeNode(Source source, ExpressionNode low, ExpressionNode high, ExpressionNode step)	Constructs a new CIVL-C regular range expression, which has the form lo ..
RemoteOnExpressionNode	NodeFactory.newRemoteOnExpressionNode(Source source, ExpressionNode left, ExpressionNode right)	Constructs a remote expression node, representing an expression of the form proc_expr@x.
RequiresNode	NodeFactory.newRequiresNode(Source source, ExpressionNode expression)	Constructs a new node representing a CIVL-C $requires contract clause.
ExpressionNode	NodeFactory.newResultNode(Source source)	Constructs a new node representing an occurrence of the CIVL-C expression "$result", used in function constracts to represent the result returned by the function.
ReturnNode	NodeFactory.newReturnNode(Source source, ExpressionNode argument)	Creates a new return statement node.
ExpressionNode	NodeFactory.newRootNode(Source source)	Creates a new constant expression node representing $root.
RunNode	NodeFactory.newRunNode(Source source, StatementNode statement)	Create a new RunNode
ScopeOfNode	NodeFactory.newScopeOfNode(Source source, ExpressionNode argument)	Creates a new expression node representing $scopeof(expr).
ScopeOfNode	NodeFactory.newScopeOfNode(Source source, IdentifierExpressionNode variableExpression)	Constructs a new CIVL-C $scopeof expression node.
TypeNode	NodeFactory.newScopeTypeNode(Source source)	Returns a new scope type node ("$scope").
ExpressionNode	NodeFactory.newSelfNode(Source source)	Constructs a new node representing an occurrence of the CIVL-C "self" process constant, written "$self".
<T extends ASTNode> SequenceNode<T>	NodeFactory.newSequenceNode(Source source, String name, List<T> nodes)	Creates a new sequence node, i.e., a node which has some finite ordered sequence of children belonging to a particular class.
SizeofNode	NodeFactory.newSizeofNode(Source source, SizeableNode argument)	Constrcts a new sizeof expression.
SpawnNode	NodeFactory.newSpawnNode(Source source, FunctionCallNode callNode)	Constructs a new CIVL-C spawn expression.
OrdinaryLabelNode	NodeFactory.newStandardLabelDeclarationNode(Source source, IdentifierNode name, StatementNode statement)	Creates a new node representing a standard C label.
StatementExpressionNode	NodeFactory.newStatementExpressionNode(Source source, CompoundStatementNode statement)	creates a new statement expression node (GNU C extension).
StaticAssertionNode	NodeFactory.newStaticAssertionNode(Source source, ExpressionNode expression, StringLiteralNode message)	Creates a new C11 static assertion node.
StringLiteralNode	NodeFactory.newStringLiteralNode(Source source, String representation, StringLiteral literal)	Constructs a new string literal node.
StructureOrUnionTypeNode	NodeFactory.newStructOrUnionTypeNode(Source source, boolean isStruct, IdentifierNode tag, SequenceNode<FieldDeclarationNode> structDeclList)	Constructs and returns a new structure or union type node.
SwitchNode	NodeFactory.newSwitchNode(Source source, ExpressionNode condition, StatementNode body)	Constructs a new node representing a C switch statement.
SequenceNode<BlockItemNode>	NodeFactory.newTranslationUnitNode(Source source, List<BlockItemNode> definitions)	Creates a new node representing an entire translation unit.
TypedefDeclarationNode	NodeFactory.newTypedefDeclarationNode(Source source, IdentifierNode name, TypeNode type)	Constructs a new typedef declaration node.
TypeofNode	NodeFactory.newTypeofNode(Source source, ExpressionNode expression)	creates a new typeof node (GNU C extension)
UpdateNode	NodeFactory.newUpdateNode(Source source, ExpressionNode collator, FunctionCallNode call)	Create a new UpdateNode
VariableDeclarationNode	NodeFactory.newVariableDeclarationNode(Source source, IdentifierNode name, TypeNode type)	Creates a new declaration of an "object" variable with no initializer.
VariableDeclarationNode	NodeFactory.newVariableDeclarationNode(Source source, IdentifierNode name, TypeNode type, InitializerNode initializer)	Creates a new declaration for an "object" variable with an initializer.
TypeNode	NodeFactory.newVoidTypeNode(Source source)	Returns a new void type node.
WhenNode	NodeFactory.newWhenNode(Source source, ExpressionNode guard, StatementNode body)	Creates a new node representing a CIVL-C $when node, used to represent a guarded command.
LoopNode	NodeFactory.newWhileLoopNode(Source source, ExpressionNode condition, StatementNode body, SequenceNode<ContractNode> contracts)	Constructs a new node representing a while loop.
WildcardNode	NodeFactory.newWildcardNode(Source source)	creates a new wildcard (...) node.
OmpWorksharingNode	NodeFactory.newWorksharingNode(Source source, OmpWorksharingNode.OmpWorksharingNodeKind kind)	Creates a new OpenMP worksharing node with a specific kind.

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

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

Modifier and Type	Method	Description
Source	ParseTree.source(org.antlr.runtime.tree.CommonTree tree)	Given a node in the parse tree, returns a source object for it.

Uses of Source in dev.civl.abc.token.IF

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

Modifier and Type	Method	Description
Source	SyntaxException.getSource()
Source	TokenFactory.join(Source source, CivlcToken token)	Computes a minimal Source containing the given source and token.
Source	TokenFactory.join(Source source1, Source source2)	Computes a minimal Source containing the two given sources.
Source	TokenFactory.newSource(CivlcToken token)	Returns a Source consisting of a single Token.
Source	TokenFactory.newSource(CivlcToken first, CivlcToken last)	Computes a Source comprising all Tokens from first to last, inclusive.

Methods in dev.civl.abc.token.IF with parameters of type Source

Modifier and Type	Method	Description
Source	TokenFactory.join(Source source, CivlcToken token)	Computes a minimal Source containing the given source and token.
Source	TokenFactory.join(Source source1, Source source2)	Computes a minimal Source containing the two given sources.
SyntaxException	TokenFactory.newSyntaxException(UnsourcedException e, Source source)
SyntaxException	TokenFactory.newSyntaxException(String message, Source source)

Constructors in dev.civl.abc.token.IF with parameters of type Source

Modifier	Constructor	Description
	SyntaxException(UnsourcedException oldException, Source newSource)
	SyntaxException(String message, Source source)