Module dev.civl.abc

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

Interface DomainTypeNode

All Superinterfaces:

ASTNode, SizeableNode, TypeNode

public interface DomainTypeNode
extends TypeNode

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.

Nested Class Summary

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

ASTNode.NodeKind

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

TypeNode.TypeNodeKind

Method Summary

Modifier and Type	Method	Description
ExpressionNode	getDimension()	Returns the integer constant dimention of the domain if present, else returns null

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

Methods inherited from interface dev.civl.abc.ast.node.IF.type.TypeNode

copy, getType, isAtomicQualified, isConstQualified, isInputQualified, isOutputQualified, isRestrictQualified, isVolatileQualified, kind, setAtomicQualified, setConstQualified, setInputQualified, setOutputQualified, setRestrictQualified, setType, setVolatileQualified

Method Details

getDimension

ExpressionNode getDimension()

Returns the integer constant dimention of the domain if present, else returns null

Returns:

the dimension expression or null