Module dev.civl.abc

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

Interface FocusAssertTransformNode

All Superinterfaces:

ASTNode, ContractNode, FocusTransformNode, TransformNode

public interface FocusAssertTransformNode
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
List<String>	getFocusTags()

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

getFocusTags

List<String> getFocusTags()