Module dev.civl.abc

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

Interface FocusTransformNode

All Superinterfaces:

ASTNode, ContractNode, TransformNode

All Known Subinterfaces:

FocusAssertTransformNode, FocusLoopTransformNode, FocusOrderedTransformNode

public interface FocusTransformNode
extends TransformNode

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	FocusTransformNode.FocusKind

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
FocusTransformNode.FocusKind	getFocusKind()
void	setFocusAnalysisData(FocusAnalysisData analysisData)

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.TransformNode

transform

Method Details

setFocusAnalysisData

void setFocusAnalysisData(FocusAnalysisData analysisData)

getFocusKind

FocusTransformNode.FocusKind getFocusKind()