Module dev.civl.abc

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

Interface FocusLoopTransformNode

All Superinterfaces:

ASTNode, ContractNode, FocusTransformNode, TransformNode

public interface FocusLoopTransformNode
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

Modifier and Type	Method	Description
String	getFocusTag()
SequenceNode<ExpressionNode>	getFocusWindow()
SequenceNode<ExpressionNode>	getMemoryList()

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

Method Details

getFocusTag

String getFocusTag()

getFocusWindow

SequenceNode<ExpressionNode> getFocusWindow()

getMemoryList

SequenceNode<ExpressionNode> getMemoryList()