Module dev.civl.abc

Package dev.civl.abc.analysis.IF

Class FocusAnalysisData

java.lang.Object

dev.civl.abc.analysis.IF.FocusAnalysisData

public class FocusAnalysisData
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
class	FocusAnalysisData.TagData

Constructor Summary

Constructors

Constructor	Description
FocusAnalysisData()

Method Summary

Modifier and Type	Method	Description
void	addFocusOffset(String tag, int offset)
void	addFocusTag(String tag)	Adds a new tag entry into the tagMap if not previously there.
void	addProtectedMemExpr(String tag, ExpressionNode expr)
String	getAltVarNameFromTag(String tag)
SortedSet<Integer>	getFocusOffsets(String tag)
Set<String>	getFocusTags()
List<ExpressionNode>	getProtectedMemExprs(String tag)
String	getVarNameFromTag(String tag)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

FocusAnalysisData

public FocusAnalysisData()

Method Details

addFocusTag

public void addFocusTag(String tag)
                 throws SyntaxException

Adds a new tag entry into the tagMap if not previously there. If one did not already exist then an insert transformer is added at the top of the AST to insert the tag's corresponding focus variables.

Parameters:

tag - The tag that this new data pertains to.

Throws:

SyntaxException

addFocusOffset

public void addFocusOffset(String tag,
 int offset)

getFocusOffsets

public SortedSet<Integer> getFocusOffsets(String tag)

addProtectedMemExpr

public void addProtectedMemExpr(String tag,
 ExpressionNode expr)

getProtectedMemExprs

public List<ExpressionNode> getProtectedMemExprs(String tag)

getVarNameFromTag

public String getVarNameFromTag(String tag)

getAltVarNameFromTag

public String getAltVarNameFromTag(String tag)

getFocusTags

public Set<String> getFocusTags()