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

Packages that use StaticAssertionNode

Package	Description
dev.civl.abc.ast.node.IF	Submodule ast.node defines every kind of node in an AST.

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

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

Modifier and Type	Method	Description
StaticAssertionNode	StaticAssertionNode.copy()
StaticAssertionNode	NodeFactory.newStaticAssertionNode(Source source, ExpressionNode expression, StringLiteralNode message)	Creates a new C11 static assertion node.