Module dev.civl.abc

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

Interface TransformNode

All Superinterfaces:

ASTNode, ContractNode

All Known Subinterfaces:

FocusAssertTransformNode, FocusLoopTransformNode, FocusOrderedTransformNode, FocusTransformNode, InsertTransformNode

public interface TransformNode
extends ContractNode

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.acsl.ContractNode

ContractNode.ContractKind

Method Summary

Modifier and Type	Method	Description
List<BlockItemNode>	transform(List<BlockItemNode> items)	Apply the transformation this node is representing to some ast.

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.acsl.ContractNode

contractKind, copy

Method Details

transform

List<BlockItemNode> transform(List<BlockItemNode> items)
                       throws SyntaxException

Apply the transformation this node is representing to some ast.

Parameters:

items -

Returns:

Throws:

SyntaxException