Uses of Interface
dev.civl.abc.ast.node.IF.type.TypeNode

Packages that use TypeNode

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.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.type	The ast.node.type submodule defines AST nodes for representing type constructs in a program.

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

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

Modifier and Type	Method	Description
TypeNode	GenericAssociationNode.getTypeNode()
TypeNode	NodeFactory.newMemTypeNode(Source source)	Returns a new mem type node ("$mem").
TypeNode	NodeFactory.newRangeTypeNode(Source source)	Returns a new instance of range type node; this is the CIVL-C type $range.
TypeNode	NodeFactory.newScopeTypeNode(Source source)	Returns a new scope type node ("$scope").
TypeNode	NodeFactory.newVoidTypeNode(Source source)	Returns a new void type node.

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

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.
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.
AtomicTypeNode	NodeFactory.newAtomicTypeNode(Source source, TypeNode baseType)	Constructs and returns a new atomic type node.
CastNode	NodeFactory.newCastNode(Source source, TypeNode type, ExpressionNode argument)	Constructs a new cast node.
CompoundLiteralNode	NodeFactory.newCompoundLiteralNode(Source source, TypeNode typeNode, CompoundInitializerNode initializerList)	Returns a new compound literal 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.
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").
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
LambdaTypeNode	NodeFactory.newLambdaTypeNode(Source source, TypeNode freeVariableType, TypeNode lambdaFunctionType)
PointerTypeNode	NodeFactory.newPointerTypeNode(Source source, TypeNode referencedType)	Constructs and returns a new pointer type node.
TypedefDeclarationNode	NodeFactory.newTypedefDeclarationNode(Source source, IdentifierNode name, TypeNode type)	Constructs a new typedef declaration 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.

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

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

Modifier and Type	Method	Description
TypeNode	FieldDeclarationNode.getTypeNode()	Returns the type of the field being declared.
TypeNode	OrdinaryDeclarationNode.getTypeNode()	The type of the thing being declared.
TypeNode	TypedefDeclarationNode.getTypeNode()	Returns the AST node for the type that is being associated to the typedef name.

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

Modifier and Type	Method	Description
SequenceNode<TypeNode>	VariableDeclarationNode.typeAlignmentSpecifiers()	An object declaration may contain any number of alignment specifiers.

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

Modifier and Type	Method	Description
void	FieldDeclarationNode.setTypeNode(TypeNode type)	Sets the type node child of this node.
void	OrdinaryDeclarationNode.setTypeNode(TypeNode type)	Sets the type node that will be returned by OrdinaryDeclarationNode.getTypeNode().
void	TypedefDeclarationNode.setTypeNode(TypeNode type)	Sets the type node child of this typedef declaration node.

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

Modifier and Type	Method	Description
void	VariableDeclarationNode.setTypeAlignmentSpecifiers(SequenceNode<TypeNode> specifiers)	Sets the node that will be returned by VariableDeclarationNode.typeAlignmentSpecifiers() .

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

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

Modifier and Type	Method	Description
TypeNode	AlignOfNode.getArgument()	Gets node representing the argument of the _Alignof operator.
TypeNode	CastNode.getCastType()	Returns the node representing the type name in the cast expression
TypeNode	CompoundLiteralNode.getTypeNode()	Gets the type node for the type name placed in parentheses before the initializer list.
TypeNode	ArrayLambdaNode.type()	the type of this array lambda

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

Modifier and Type	Method	Description
void	AlignOfNode.setArgument(TypeNode type)	Sets the argument that will be returned by AlignOfNode.getArgument().
void	CastNode.setCastType(TypeNode type)	Sets the value that will be returned by CastNode.getCastType().

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

Subinterfaces of TypeNode 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	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.

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

Modifier and Type	Method	Description
TypeNode	TypeNode.copy()
TypeNode	LambdaTypeNode.freeVariableType()
TypeNode	AtomicTypeNode.getBaseType()
TypeNode	ArrayTypeNode.getElementType()	The type of the elements.
TypeNode	FunctionTypeNode.getReturnType()	The return type of this function.
TypeNode	TypeofNode.getTypeOperand()
TypeNode	LambdaTypeNode.lambdaFunctionType()
TypeNode	PointerTypeNode.referencedType()

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

Modifier and Type	Method	Description
void	ArrayTypeNode.setElementType(TypeNode elementType)
void	FunctionTypeNode.setReturnType(TypeNode type)