Module dev.civl.abc

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

Interface FocusOrderedTransformNode

All Superinterfaces:

ASTNode, ContractNode, FocusTransformNode, TransformNode

public interface FocusOrderedTransformNode
extends FocusTransformNode

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

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

FocusTransformNode.FocusKind

Method Summary

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

Methods inherited from interface dev.civl.abc.ast.node.IF.acsl.FocusTransformNode

getFocusKind, setFocusAnalysisData

Methods inherited from interface dev.civl.abc.ast.node.IF.acsl.TransformNode

transform