Uses of Class
dev.civl.abc.analysis.IF.FocusAnalysisData

Packages that use FocusAnalysisData

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

Uses of FocusAnalysisData in dev.civl.abc.ast.node.IF.acsl

Methods in dev.civl.abc.ast.node.IF.acsl with parameters of type FocusAnalysisData

Modifier and Type	Method	Description
void	FocusTransformNode.setFocusAnalysisData(FocusAnalysisData analysisData)