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

Packages that use IdentifierNode

Package	Description
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.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 IdentifierNode in dev.civl.abc.ast.node.IF

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

Modifier and Type	Method	Description
IdentifierNode	IdentifierNode.copy()
IdentifierNode	PragmaNode.getPragmaIdentifier()	Returns the pragma identifier, i.e., the identifier immediately following # pragma.
IdentifierNode	NodeFactory.newIdentifierNode(Source source, String name)	Constructs and returns a new identifier node with given source object and name.

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

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.
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.
BehaviorNode	NodeFactory.newBehaviorNode(Source source, IdentifierNode name, SequenceNode<ContractNode> body)	creates a behavior node.
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.
EnumerationConstantNode	NodeFactory.newEnumerationConstantNode(IdentifierNode name)	Constructs a new enumeration constant node.
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.
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.
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.
GotoNode	NodeFactory.newGotoNode(Source source, IdentifierNode label)	Constructs a new node representing a goto statement.
IdentifierExpressionNode	NodeFactory.newIdentifierExpressionNode(Source source, IdentifierNode identifier)	Constructs a new identifier expression node.
OmpSyncNode	NodeFactory.newOmpCriticalNode(Source source, IdentifierNode name, StatementNode statement)	Creates a new OpenMP critical node, representing #pragma omp critical....
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
OrdinaryLabelNode	NodeFactory.newStandardLabelDeclarationNode(Source source, IdentifierNode name, StatementNode statement)	Creates a new node representing a standard C label.
StructureOrUnionTypeNode	NodeFactory.newStructOrUnionTypeNode(Source source, boolean isStruct, IdentifierNode tag, SequenceNode<FieldDeclarationNode> structDeclList)	Constructs and returns a new structure or union type node.
TypedefDeclarationNode	NodeFactory.newTypedefDeclarationNode(Source source, IdentifierNode name, TypeNode type)	Constructs a new typedef declaration node.
TypedefNameNode	NodeFactory.newTypedefNameNode(IdentifierNode name, SequenceNode<ExpressionNode> scopeList)	Returns a new instance of a typedef name node.
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.

Method parameters in dev.civl.abc.ast.node.IF with type arguments of type IdentifierNode

Modifier and Type	Method	Description
CompletenessNode	NodeFactory.newCompletenessNode(Source source, boolean isComplete, SequenceNode<IdentifierNode> idList)	creates a completeness clause node, which could be complete or disjoint

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

Methods in dev.civl.abc.ast.node.IF.acsl that return IdentifierNode

Modifier and Type	Method	Description
IdentifierNode	BehaviorNode.getName()	returns the name of this behavior
IdentifierNode	PredicateNode.getPredicateName()	The name of the predicate

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

Modifier and Type	Method	Description
SequenceNode<IdentifierNode>	CompletenessNode.getIDList()	The list of behavior IDs associates with this completeness clause.

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

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

Modifier and Type	Method	Description
IdentifierNode	FieldDesignatorNode.getField()	The name of the field being designated for initialization.

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

Modifier and Type	Method	Description
void	FieldDesignatorNode.setField(IdentifierNode name)	Sets the name of the field being designated for initialization.

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

Methods in dev.civl.abc.ast.node.IF.declaration that return IdentifierNode

Modifier and Type	Method	Description
IdentifierNode	DeclarationNode.getIdentifier()	Gets the identifier node which contains the name of the entity being declared.

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

Modifier and Type	Method	Description
void	DeclarationNode.setIdentifier(IdentifierNode identifier)	Sets the identifier node.

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

Methods in dev.civl.abc.ast.node.IF.expression that return IdentifierNode

Modifier and Type	Method	Description
IdentifierNode	ArrowNode.getFieldName()	Returns the node for the right argument of the arrow operator.
IdentifierNode	DotNode.getFieldName()	Returns the node representing the right operand, which must be an identifier which names a field in the structure or union type which is the type of the left operand.
IdentifierNode	IdentifierExpressionNode.getIdentifier()	Returns the identifier node child of this node.
IdentifierNode	EnumerationConstantNode.getName()	Returns the underlying identifier node.

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

Modifier and Type	Method	Description
void	ArrowNode.setFieldName(IdentifierNode field)	Sets the value that will be returned by ArrowNode.getFieldName().
void	DotNode.setFieldName(IdentifierNode field)	Sets the value returned by DotNode.getFieldName().
void	IdentifierExpressionNode.setIdentifier(IdentifierNode identifier)	Sets the value returned by IdentifierExpressionNode.getIdentifier().
void	EnumerationConstantNode.setName(IdentifierNode name)	Sets the value returned by EnumerationConstantNode.getName().

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

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

Modifier and Type	Method	Description
IdentifierNode	OmpSyncNode.criticalName()	The identifier node representing the name of the critical section, only valid for CRITICAL kind.

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

Modifier and Type	Method	Description
void	OmpSyncNode.setCriticalName(IdentifierNode name)	Updates the name declared by the critical construct.

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

Methods in dev.civl.abc.ast.node.IF.statement that return IdentifierNode

Modifier and Type	Method	Description
IdentifierNode	GotoNode.getLabel()	Returns the name of the label to which to go.

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

Methods in dev.civl.abc.ast.node.IF.type that return IdentifierNode

Modifier and Type	Method	Description
IdentifierNode	TypedefNameNode.getName()
IdentifierNode	EnumerationTypeNode.getTag()	Returns the "tag", which is the name of this enumerated type.
IdentifierNode	StructureOrUnionTypeNode.getTag()	Returns the tag for this struct or union type.

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

Modifier and Type	Method	Description
void	TypedefNameNode.setName(IdentifierNode name)