Uses of Interface
dev.civl.abc.ast.node.IF.ASTNode

Packages that use ASTNode

Package	Description
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.node.IF.compound	The ast.node.compound submodule defines nodes and related classes for representing compound initializers.
dev.civl.abc.ast.node.IF.declaration	The ast.node.declaration submodule defines nodes and other object deadling with declarations in a program.
dev.civl.abc.ast.node.IF.expression	The ast.node.expression submodule defines AST nodes for representing expressions in a program.
dev.civl.abc.ast.node.IF.label	The ast.node.label submodule defines AST nodes for representing labels in a program, including ordinary labels, and the case and default labels used in switch statements.
dev.civl.abc.ast.node.IF.omp	The ast.node.omp submodule defines AST nodes for representing OpenMP constructs, which are specified in omp pragmas.
dev.civl.abc.ast.node.IF.statement	The ast.node.statement submodule defines AST nodes for representing statements in a program.
dev.civl.abc.ast.node.IF.type	The ast.node.type submodule defines AST nodes for representing type constructs in a program.

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

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

Modifier and Type	Method	Description
Scope	EntityFactory.newScope(Scope.ScopeKind kind, Scope parent, ASTNode root)	Creates a new scope.

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

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

Modifier and Type	Method	Description
ASTNode	AST.getNode(int id)	Returns the node with the given id number.
ASTNode	DifferenceObject.getThatNode()
ASTNode	DifferenceObject.getThisNode()

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

Modifier and Type	Method	Description
static void	ASTs.prettyPrint(ASTNode node, PrintStream out)	Prints an AST node in the form of the original programming language.
static StringBuffer	ASTs.prettyRepresentation(ASTNode node, int maxLength)

Constructors in dev.civl.abc.ast.IF with parameters of type ASTNode

Modifier	Constructor	Description
	DifferenceObject(ASTNode node, boolean isThisNull)
	DifferenceObject(ASTNode thisNode, ASTNode thatNode)
	DifferenceObject(ASTNode thisNode, ASTNode thatNode, DifferenceObject.DiffKind kind)
	DifferenceObject(ASTNode thisNode, ASTNode thatNode, DifferenceObject.DiffKind other, String message)

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

Classes in dev.civl.abc.ast.node.IF with type parameters of type ASTNode

Modifier and Type	Interface	Description
interface	PairNode<S extends ASTNode,T extends ASTNode>	A node with two children, the first of type S and the second of type T.
interface	PairNode<S extends ASTNode,T extends ASTNode>	A node with two children, the first of type S and the second of type T.
interface	SequenceNode<T extends ASTNode>	A node in which all children have type T.

Subinterfaces of ASTNode in dev.civl.abc.ast.node.IF

Modifier and Type	Interface	Description
interface	GenericAssociationNode	Represents the association between a type and an expression for use in a generic selection expression.
interface	IdentifierNode	An identifier can denote: (1) an object, (2) a function, (3) a tag of a structure, union, or enumeration, (4) a member of a structure, union, or enumeration, (5) a typedef name, or (6) a label name.
interface	PairNode<S extends ASTNode,T extends ASTNode>	A node with two children, the first of type S and the second of type T.
interface	PragmaNode	A pragma may be included in the AST wherever a statement or an external definition may occur.
interface	SequenceNode<T extends ASTNode>	A node in which all children have type T.
interface	StaticAssertionNode	A static assertion has syntax _Static_assert ( constant-expression , string-literal ).

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

Modifier and Type	Method	Description
<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.
<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.
<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.

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

Modifier and Type	Method	Description
ASTNode	ASTNode.child(int index)	Returns the index-th child node of this AST node.
ASTNode	ASTNode.copy()	Returns a deep copy of this AST node.
ASTNode	ASTNode.nextDFS()	Finds next non-null node in AST in DFS order.
ASTNode	ASTNode.parent()	Returns the parent of this node, or null if this node has no parent.
ASTNode	ASTNode.removeChild(int index)	Removes the child at given index from this node.
ASTNode	ASTNode.setChild(int index, ASTNode child)	Sets the child node at the given index.

Methods in dev.civl.abc.ast.node.IF that return types with arguments of type ASTNode

Modifier and Type	Method	Description
Iterable<ASTNode>	ASTNode.children()	Returns the sequence of children of this node as an iterable object.

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

Modifier and Type	Method	Description
DifferenceObject	ASTNode.diff(ASTNode that)	Returns the first difference between this AST node and that node.
boolean	ASTNode.equiv(ASTNode that)	Is the given AST node equivalent to me?
boolean	NodePredicate.holds(ASTNode node)	Applies this predicate to the given node.
ASTNode	ASTNode.setChild(int index, ASTNode child)	Sets the child node at the given index.

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

Subinterfaces of ASTNode in dev.civl.abc.ast.node.IF.acsl

Modifier and Type	Interface	Description
interface	AllocationNode	This represents an ACSL allocation clause, which has the syntax allocates p1, p2, p3; or frees p1, p2, p3;
interface	AnyactNode	This represents ACSL-CIVLC \anyact action to be used in depends contract clauses.
interface	AssignsOrReadsNode	An ACSL assigns or ACSL-CIVLC reads clause specifies a set of existing memory units.
interface	AssumesNode	This represents an ACSL assumes clause, which has the following syntax:
interface	BehaviorNode	This represents a named behavior of the ACSL specification.
interface	CallEventNode	An event that represents a function call with certain arguments, which is a kind of Depends Event.
interface	CompletenessNode	This represents the completeness clause of ACSL, which could be either complete or disjoint
interface	CompositeEventNode	An composite event
interface	ContractNode	A contract node represents an element that may occur in a procedure contract.
interface	DependsEventNode	This represents an event of the depends clause.
interface	DependsNode	A depends clause specifies part of the dependence relation used in partial order reduction (POR).
interface	EnsuresNode	An "ensures" clause in a procedure contract clause that represents a post-condition.
interface	ExtendedQuantifiedExpressionNode	This represents an ACSL extended quantification expression.
interface	FocusAssertTransformNode
interface	FocusLoopTransformNode
interface	FocusOrderedTransformNode
interface	FocusTransformNode
interface	GuardsNode	This represents a guards clause that specifies a guard for a function.
interface	InsertTransformNode
interface	InvariantNode
interface	MemoryEventNode	A depends event which specifies reading or writing a list of memory units.
interface	NoactNode	This represents the no-act event \noact, which is an event of depends clauses.
interface	NothingNode	Constant $nothing, argument of $assigns / $reads contract clauses.
interface	ObjectOrRegionOfNode	This represents a $object_of of $region_of expression.
interface	PredicateNode	The ACSL predicate node, which in the view of ABC, is just a function with a boolean return type.
interface	RequiresNode	A requires clause in a CIVL-C procedure contract.
interface	TransformNode

Uses of ASTNode in dev.civl.abc.ast.node.IF.compound

Subinterfaces of ASTNode in dev.civl.abc.ast.node.IF.compound

Modifier and Type	Interface	Description
interface	ArrayDesignatorNode	An array designator specifies the index of an element of an array being initialized.
interface	CompoundInitializerNode	A compound initializer (written with curly braces in C) is used to initialize an array, struct, or union.
interface	DesignationNode	A designation node specifies a sequence of designators.
interface	DesignatorNode	A designator is used in a compound initializer to specify a part of a compound structure.
interface	FieldDesignatorNode	A field designator is used in an initializer for a struct or union.

Methods in dev.civl.abc.ast.node.IF.compound that return ASTNode

Modifier and Type	Method	Description
ASTNode	CompoundLiteralObject.getSourceNode()	Returns the corresponding AST node of the compound literal object.

Uses of ASTNode in dev.civl.abc.ast.node.IF.declaration

Subinterfaces of ASTNode in dev.civl.abc.ast.node.IF.declaration

Modifier and Type	Interface	Description
interface	AbstractFunctionDefinitionNode	An abstract function definition contains the information for an abstract function (i.e.
interface	DeclarationNode	The root of the declaration node type hierarchy.
interface	EnumeratorDeclarationNode	The declaration of an enumerator (enumeration constant) within an enumeration type definition.
interface	FieldDeclarationNode	Represents a declaration of a field (member) in a struct or union type.
interface	FunctionDeclarationNode	A node representing a function declaration.
interface	FunctionDefinitionNode	Represents a function definition, i.e., a function declaration which includes the function body.
interface	InitializerNode	A marker interface for any node that can be used as an initializer.
interface	OrdinaryDeclarationNode	A declaration of a variable or function via a C "declarator".
interface	ScopeParameterizedDeclarationNode	A CIVL-C scope-parameterized declaration node.
interface	TypedefDeclarationNode	A node representing a typedef declaration.
interface	VariableDeclarationNode	A declaration of a variable ("object").

Uses of ASTNode in dev.civl.abc.ast.node.IF.expression

Subinterfaces of ASTNode in dev.civl.abc.ast.node.IF.expression

Modifier and Type	Interface	Description
interface	AlignOfNode	The _Alignof(typename) operator.
interface	ArrayLambdaNode	A CIVL-C array lambda expression, including three components, bound variable declaration list, (optional) restriction and expression.
interface	ArrowNode	An expression in which the operator is the C -> (arrow) operator.
interface	CastNode	A C cast expression has the form (typeName)expr.
interface	CharacterConstantNode	An instance of this interface represents a single Unicode character occurring as a literal element in a C program.
interface	CompoundLiteralNode	Compound literals are used to represent literal array, structure, and union values.
interface	ConstantNode	A "constant" in the sense of the C11 Standard.
interface	DerivativeExpressionNode	A CIVL-C derivative expression is a function call to the partial derivative of an abstract function.
interface	DotNode	A C expression in which the operator is the . (dot) operator, used to specify a member of a structure or union.
interface	EnumerationConstantNode	An enumeration constant node represents a use of an enumeration constant as an expression.
interface	ExpressionNode	A node representing any kind of C expression.
interface	FloatingConstantNode	A floating constant node represents an occurrence of a literal floating point number in a program.
interface	FunctionCallNode	Node representing a function call.
interface	GenericSelectionNode	Represents a C11 generic selection construct; see C11 Section 6.5.1.1.
interface	HereOrRootNode	A node representing one of the two CIVL-C constant expressions of type $scope: $here (the dynamic scope in which the expression is evaluated), or $root (representing the root dynamic scope).
interface	IdentifierExpressionNode	Represents the use of an identifier as an expression.
interface	IntegerConstantNode	An integer constant node represents the occurrence of a literal integer constant in a program.
interface	LambdaNode	A lambda function, including two/three components, a bound variable declaration (optional) and the lambda term.
interface	OperatorNode	A node that represents an expression built using an operator.
interface	ProcnullNode	Represents the CIVL-C null process constant $proc_null, which is a constant of type $proc.
interface	QuantifiedExpressionNode	A CIVL-C quantified expression, including three components, bound variable declaration list, (optional) restriction and expression.
interface	RegularRangeNode	Represents a CIVL-C regular range expression, which has the form lo ..
interface	RemoteOnExpressionNode	A CIVL-C remote expression is used to reference a variable in another process.
interface	ResultNode	Represents the CIVL-C built-in variable $result, which represents the value returned by a function.
interface	ScopeOfNode	Represents a CIVL-C scope-of expression, which has the form $scopeof(lhs), where lhs is a left-hand-side expression.
interface	SelfNode	Represents the CIVL-C built-in variable $self, which has type $scope and evaluates to the dynamic scope in which the variable is being evaluated.
interface	SizeableNode	An interface indicating that this object can be used as an argument to the C sizeof operator.
interface	SizeofNode	Represents a C sizeof(...) expression.
interface	SpawnNode	Represents a CIVL-C $spawn expression, which has the form $spawn f(e1,...,en).
interface	StatementExpressionNode	This represents a GNU C statement expression.
interface	StatenullNode	Represents the CIVL-C null state constant $state_null, which is a constant of type $state.
interface	StringLiteralNode	Represents an occurrence of a string literal in a program, which is a string surrounded by double quotes.
interface	WildcardNode

Uses of ASTNode in dev.civl.abc.ast.node.IF.label

Subinterfaces of ASTNode in dev.civl.abc.ast.node.IF.label

Modifier and Type	Interface	Description
interface	LabelNode	Represents a label in a program.
interface	OrdinaryLabelNode	Represents an ordinary label (i.e., a label which is not a case or default label).
interface	SwitchLabelNode	Represents a label in a switch statement of the form case constant-expression: or default:.

Uses of ASTNode in dev.civl.abc.ast.node.IF.omp

Subinterfaces of ASTNode in dev.civl.abc.ast.node.IF.omp

Modifier and Type	Interface	Description
interface	OmpAtomicNode	This represents an OpenMP atomic construct, which has the syntax:
interface	OmpDeclarativeNode	This represents an OpenMP declarative directive, which can only be placed in a declarative context.
interface	OmpEndNode
interface	OmpExecutableNode	Represents an OpenMP executable Construct. The children of an OmpExecutableNode are: SequenceNode<IdentifierExpressionNode> "sharedList", the list of identifiers declared by shared SequenceNode<IdentifierExpressionNode> "privateList", the list of identifiers declared by private SequenceNode<IdentifierExpressionNode> "firstprivateList", the list of identifiers declared by firstprivate SequenceNode<IdentifierExpressionNode> "lastprivateList", the list of identifiers declared by lastprivate SequenceNode<IdentifierExpressionNode> "copyinList", the list of identifiers declared by copyin SequenceNode<IdentifierExpressionNode> "copyprivateList", the list of identifiers declared by copyprivate SequenceNode<OmpReductionNode> "reductionList", the list of operators and identifiers declared by reduction StatementNode, the statement node affected by this pragma.
interface	OmpForNode	This interface represents the OpenMP loop construct.
interface	OmpFunctionReductionNode	This represents an OpenMP reduction identifier.
interface	OmpNode	A node representing any kind of an OpenMP pragma.
interface	OmpParallelNode	This represents an OpenMP parallel pragma.
interface	OmpReductionNode	This represents an OpenMP reduction clause.
interface	OmpSimdNode	A simd directive, which may have the following clauses: if([simd :]scalar-logical-expression) safelen(length) simdlen(length) linear(list[ : linear-step]) aligned(list[ : alignment]) nontemporal(list) private(list) lastprivate([ lastprivate-modifier:] list) reduction([ reduction-modifier,]reduction-identifier : list) collapse(n) order(concurrent)
interface	OmpSymbolReductionNode	This represents an OpenMP reduction clause with the reduction operator being one of the following operators: For C: max,min,+,-,*, invalid input: '&',|,^,invalid input: '&'invalid input: '&', and || For Fortran: (NOT case sensitive) MAX,MIN,+,-,*, IAND,IOR,IEOR,.AND., .OR., .EQV. and .NEQV.
interface	OmpSyncNode	This interface stands for synchronization constructs of OpenMP, including: master critical barrier flush atomic Currently, taskwait and atomic constructs are not supported.
interface	OmpWorksharingNode	This represents an OpenMP worksharing construct, either a loop, sections/section, or single construct.

Methods in dev.civl.abc.ast.node.IF.omp that return ASTNode

Modifier and Type	Method	Description
ASTNode	OmpSimdNode.setSafelen(ConstantNode arg)
ASTNode	OmpSimdNode.setSimdlen(ConstantNode arg)

Uses of ASTNode in dev.civl.abc.ast.node.IF.statement

Subinterfaces of ASTNode in dev.civl.abc.ast.node.IF.statement

Modifier and Type	Interface	Description
interface	AtomicNode	An atomic node represents a CIVL-C $atomic statement.
interface	BlockItemNode	An item that can appear in a "block".
interface	ChooseStatementNode	A "choose" statement has the form "choose { s1 ...
interface	CivlForNode	Represents a CIVL $for or $parfor statement.
interface	CompoundStatementNode	A compound statement is a sequence of statements and declarations within curly braces: "{ ...
interface	DeclarationListNode	A list of variable declarations, such as might occur as an initializer in a for loop.
interface	ExpressionStatementNode
interface	ForLoopInitializerNode	A marker interface indicating this construct can be used as the first clause in a for loop.
interface	ForLoopNode	A for loop, in addition to the expression and body that all loops possess, has an initializer and incrementer.
interface	GotoNode	Represents a C "goto labelName;" statement.
interface	IfNode
interface	JumpNode
interface	LabeledStatementNode
interface	LoopNode	Root of type hierarchy for every kind of loop statement.
interface	NullStatementNode	A null statement: ";".
interface	ReturnNode
interface	RunNode	Represents a CIVL-C $run expression, which has the form $run statement.The statement s can be any single StatementNode or a CompoundStatementNode which is wrapped by a pair of curly braces.
interface	StatementNode
interface	SwitchNode	Represents a C switch statement.
interface	UpdateNode	This node represents an expression $update($collator c) f().
interface	WhenNode	Represents a CIVL-C guarded command.

Uses of ASTNode in dev.civl.abc.ast.node.IF.type

Subinterfaces of ASTNode in dev.civl.abc.ast.node.IF.type

Modifier and Type	Interface	Description
interface	ArrayTypeNode	Represents an array type.
interface	AtomicTypeNode	An atomic type, specified by "_Atomic ( type-name )".
interface	BasicTypeNode
interface	DomainTypeNode	Represents use of the CIVL-C domain type, either "$domain" alone, or one of the sub-types "$domain(n)" for some positive integer constant n.
interface	EnumerationTypeNode	An enumeration type.
interface	FunctionTypeNode
interface	LambdaTypeNode	A TypeNode representing a $lambda(free-var-type:func-type) type
interface	PointerTypeNode
interface	StructureOrUnionTypeNode
interface	TypedefNameNode
interface	TypeNode
interface	TypeofNode	GNU C language reference 6.6 Referring to a Type with typeof Another way to refer to the type of an expression is with typeof.