Module dev.civl.abc

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

Interface StaticAssertionNode

All Superinterfaces:

ASTNode, BlockItemNode

public interface StaticAssertionNode
extends BlockItemNode

A static assertion has syntax _Static_assert ( constant-expression , string-literal ). It may appear anywhere an external definition may appear, i.e., in the outermost file scope. It is an assertion which is checked statically (i.e., at "compile time"). The constant expression is evaluated. If it is 0, a violation is reported.

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.statement.BlockItemNode

BlockItemNode.BlockItemKind

Method Summary

Modifier and Type	Method	Description
StaticAssertionNode	copy()	Returns a deep copy of this AST node.
ExpressionNode	getExpression()	Gets the constant expression argument from this static assertion.
StringLiteralNode	getMessage()	Gests the string literal message argument from this static assertion.

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.statement.BlockItemNode

blockItemKind

Method Details

getExpression

ExpressionNode getExpression()

Gets the constant expression argument from this static assertion.

Returns:

the constant expression argument

getMessage

StringLiteralNode getMessage()

Gests the string literal message argument from this static assertion. This is the message printed if the assertion is violated.

Returns:

the string literal argument

copy

StaticAssertionNode 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 BlockItemNode

Returns:

deep copy of this node