Module dev.civl.abc

Package dev.civl.abc.ast.node.IF.type

Interface TypeNode

All Superinterfaces:

ASTNode, SizeableNode

All Known Subinterfaces:

ArrayTypeNode, AtomicTypeNode, BasicTypeNode, DomainTypeNode, EnumerationTypeNode, FunctionTypeNode, LambdaTypeNode, PointerTypeNode, StructureOrUnionTypeNode, TypedefNameNode, TypeofNode

public interface TypeNode
extends SizeableNode

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	TypeNode.TypeNodeKind	The different kinds of type nodes.

Nested classes/interfaces inherited from interface dev.civl.abc.ast.node.IF.ASTNode

ASTNode.NodeKind

Method Summary

Modifier and Type	Method	Description
TypeNode	copy()	Returns a deep copy of this AST node.
Type	getType()	Returns the conceptual C type associated to this type node.
boolean	isAtomicQualified()	Is this an "_Atomic" qualified type?
boolean	isConstQualified()	Is this a "const" qualified type?
boolean	isInputQualified()	Is the CIVL-C type qualifier $input used?
boolean	isOutputQualified()
boolean	isRestrictQualified()	Is this a "restrict" qualified type?
boolean	isVolatileQualified()	Is this a "volatile" qualified type?
TypeNode.TypeNodeKind	kind()	The kind of type name this is.
void	setAtomicQualified(boolean value)
void	setConstQualified(boolean value)
void	setInputQualified(boolean value)
void	setOutputQualified(boolean value)
void	setRestrictQualified(boolean value)
void	setType(Type type)	Sets the type that will be returned by subsequent calls to getType().
void	setVolatileQualified(boolean value)

Methods inherited from interface dev.civl.abc.ast.node.IF.ASTNode

addAllTransformAnnotations, addTransformAnnotation, child, childIndex, children, diff, equiv, getAttribute, getOwner, getScope, getSource, id, keepOnly, nextDFS, nodeKind, numChildren, parent, prettyPrint, prettyRepresentation, prettyRepresentation, print, remove, removeChild, removeTransformAnnotation, setAttribute, setChild, setId, setOwner, setScope, toString, transformAnnotations

Method Details

copy

TypeNode copy()

Description copied from interface: ASTNode

Returns a deep copy of this AST node. The node and all of its descendants will be cloned. The cloning does not copy analysis or attribute information.

Specified by:

copy in interface ASTNode

Specified by:

copy in interface SizeableNode

Returns:

deep copy of this node

getType

Type getType()

Returns the conceptual C type associated to this type node.

Specified by:

getType in interface SizeableNode

Returns:

the C type defined by this type node

isAtomicQualified

boolean isAtomicQualified()

Is this an "_Atomic" qualified type?

Returns:

true iff this is an "_Atomic" qualified type

isConstQualified

boolean isConstQualified()

Is this a "const" qualified type?

Returns:

true iff this is a const qualified type.

isInputQualified

boolean isInputQualified()

Is the CIVL-C type qualifier $input used?

Returns:

true if this type is $input-qualified

isOutputQualified

boolean isOutputQualified()

isRestrictQualified

boolean isRestrictQualified()

Is this a "restrict" qualified type?

Returns:

true iff this is a "restrict" qualified type.

isVolatileQualified

boolean isVolatileQualified()

Is this a "volatile" qualified type?

Returns:

true iff this is a volatile qualified type.

kind

TypeNode.TypeNodeKind kind()

The kind of type name this is. See definition of the enumerated type TypeNameKind. These kinds partition the set of all type names. If the kind is BASIC, this object can be safely cast to BasicType. If the kind is DOMAIN, the object can be safely cast to DomainType. If the kind is ENUMERATION, this object can be safely cast to EnumerationType. If the kind is ARRAY, this object can be safely cast to ArrayType. If the kind is STRUCTURE_OR_UNION, this object can be safely cast to StructureOrUnionType. If the kind is FUNCTION, this object can be safely cast to FunctionType. If the kind is POINTER, this object can be safely cast to PointerType. If the kind is ATOMIC, this object can be safely cast to AtomicType.

Returns:

the kind of this type

setAtomicQualified

void setAtomicQualified(boolean value)

setConstQualified

void setConstQualified(boolean value)

setInputQualified

void setInputQualified(boolean value)

setOutputQualified

void setOutputQualified(boolean value)

setRestrictQualified

void setRestrictQualified(boolean value)

setType

void setType(Type type)

Sets the type that will be returned by subsequent calls to getType().

Parameters:

type - the type to associate to this node

setVolatileQualified

void setVolatileQualified(boolean value)