Uses of Class
de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate.TSFlowNode

Packages that use TSFlowNode

de.unisaarland.cs.st.jerify.verifier.alias	Provides classes to handle the alias analysis.
de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.alias	Provides classes which are nodes which form the aliasing analysis part of the control flow graph.
de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate	Provides classes which are nodes which form the typestate analysis part of the control flow graph.
de.unisaarland.cs.st.jerify.verifier.dataflow
de.unisaarland.cs.st.jerify.verifier.typestate	Provides classes to create, handle and runtime-store the typestate analysis.

Uses of TSFlowNode in de.unisaarland.cs.st.jerify.verifier.alias

Methods in de.unisaarland.cs.st.jerify.verifier.alias that return TSFlowNode

TSFlowNode	ClassCFGAliasAnalysis.assignment(AliasAnalysisVarHandle handle, com.sun.source.tree.ExpressionTree initTree, MethodCFGWorkData tsinfo) //TODO improve Returns a flow node that assigns the init tree value to the variable in handle
TSFlowNode	ClassCFGAliasAnalysis.assignment(com.sun.source.tree.AssignmentTree assignmentTree, MethodCFGWorkData tsinfo) Analyse a variable assignment.

Method parameters in de.unisaarland.cs.st.jerify.verifier.alias with type arguments of type TSFlowNode

java.lang.Void	AliasAnalysisExpressionVisitor.visitArrayAccess(com.sun.source.tree.ArrayAccessTree node, Pair<java.util.Set<AliasAnalysisSource>,java.util.List<TSFlowNode>> p)
java.lang.Void	AliasAnalysisExpressionVisitor.visitIdentifier(com.sun.source.tree.IdentifierTree id, Pair<java.util.Set<AliasAnalysisSource>,java.util.List<TSFlowNode>> p)
java.lang.Void	AliasAnalysisExpressionVisitor.visitLiteral(com.sun.source.tree.LiteralTree node, Pair<java.util.Set<AliasAnalysisSource>,java.util.List<TSFlowNode>> p)
java.lang.Void	AliasAnalysisExpressionVisitor.visitMemberSelect(com.sun.source.tree.MemberSelectTree node, Pair<java.util.Set<AliasAnalysisSource>,java.util.List<TSFlowNode>> p)
java.lang.Void	AliasAnalysisExpressionVisitor.visitMethodInvocation(com.sun.source.tree.MethodInvocationTree node, Pair<java.util.Set<AliasAnalysisSource>,java.util.List<TSFlowNode>> p)
java.lang.Void	AliasAnalysisExpressionVisitor.visitNewArray(com.sun.source.tree.NewArrayTree node, Pair<java.util.Set<AliasAnalysisSource>,java.util.List<TSFlowNode>> p)
java.lang.Void	AliasAnalysisExpressionVisitor.visitNewClass(com.sun.source.tree.NewClassTree node, Pair<java.util.Set<AliasAnalysisSource>,java.util.List<TSFlowNode>> p)
java.lang.Void	AliasAnalysisExpressionVisitor.visitTypeCast(com.sun.source.tree.TypeCastTree arg0, Pair<java.util.Set<AliasAnalysisSource>,java.util.List<TSFlowNode>> p)

Uses of TSFlowNode in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.alias

Subclasses of TSFlowNode in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.alias

class	TSAliasAnalysisAssignmentFlowNode FlowNode that updates the alias information of one variable
class	TSAliasAnalysisEndOfScope

Uses of TSFlowNode in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate

Subclasses of TSFlowNode in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate

class	TSDummyFlowNode FlowNode that passes the Analysis on without changing it.
class	TSFixpointerIterationFlowNode A FlowNode does not do anything to the analysis data, but is a point in the graph where the analysis will pass several time, e.g. to fixpoint iterate the analysis of a loop.
class	TSStateChangingFlowNode This class is a parent to all classes that actually change the typestate analysis.
class	TSStateFilterNode This node represents typestate definition.
class	TSStateSetFlowNode This node represents typestate definition.
class	TSTransitionFlowNode This node represents a typestate transition.

Methods in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate that return TSFlowNode

static TSFlowNode	TSFlowNode.getDummyNode(java.lang.String id) Get an dummy FlowNode, it will just pass on the analysis.
static TSFlowNode	TSFlowNode.getFixpointNode(java.lang.String id) Returns a TSFixpointerIterationFlowNode.
static TSFlowNode	TSFlowNode.TSFlowNodefromAnnotatedTree(AliasAnalysisVarHandle var, com.sun.source.tree.Tree tree, checkers.types.AnnotatedTypeFactory factory) Factory method to create typestate changning FlowNodes for the control flow graph.
static TSFlowNode	TSStateChangingFlowNode.TSFlowNodefromAnnotatedTree(AliasAnalysisVarHandle var, com.sun.source.tree.Tree tree, checkers.types.AnnotatedTypeFactory factory) Creates and returns a flownode (for the control flow graph) which corresponds to changing the typestate of the variable which is handled by the var AliasAnalysisVarHandle.
static TSFlowNode	TSStateChangingFlowNode.TSFlowNodefromAnnotatedType(AliasAnalysisVarHandle var, com.sun.source.tree.Tree tree, checkers.types.AnnotatedTypeMirror annotatedType, boolean annotationOptional, checkers.types.AnnotatedTypeFactory factory) Creates and returns a flownode (for the control flow graph) which corresponds to changing the typestate of the variable which is handled by the var AliasAnalysisVarHandle.

Uses of TSFlowNode in de.unisaarland.cs.st.jerify.verifier.dataflow

Methods in de.unisaarland.cs.st.jerify.verifier.dataflow that return types with arguments of type TSFlowNode

Pair<Pair<TSFlowNode,TSFlowNode>,Pair<TSFlowNode,TSFlowNode>>	DataFlowCFGAnalysis.analyzeCondition(com.sun.source.tree.ExpressionTree condition, ClassCFGAliasAnalysis aliasAnalysis)
Pair<Pair<TSFlowNode,TSFlowNode>,Pair<TSFlowNode,TSFlowNode>>	DataFlowCFGAnalysis.analyzeCondition(com.sun.source.tree.ExpressionTree condition, ClassCFGAliasAnalysis aliasAnalysis)
Pair<Pair<TSFlowNode,TSFlowNode>,Pair<TSFlowNode,TSFlowNode>>	DataFlowCFGAnalysis.analyzeCondition(com.sun.source.tree.ExpressionTree condition, ClassCFGAliasAnalysis aliasAnalysis)
Pair<Pair<TSFlowNode,TSFlowNode>,Pair<TSFlowNode,TSFlowNode>>	DataFlowCFGAnalysis.analyzeCondition(com.sun.source.tree.ExpressionTree condition, ClassCFGAliasAnalysis aliasAnalysis)

Uses of TSFlowNode in de.unisaarland.cs.st.jerify.verifier.typestate

Methods in de.unisaarland.cs.st.jerify.verifier.typestate that return TSFlowNode

TSFlowNode	MethodCFGData.getMethodBegin() The TSFlowNode that represents the method begin of the control flow graph
TSFlowNode	MethodCFGData.getMethodEnd() The TSFlowNode that represents the method end of the control flow graph
TSFlowNode	MethodCFGWorkData.getPrevious()

Methods in de.unisaarland.cs.st.jerify.verifier.typestate that return types with arguments of type TSFlowNode

java.util.Set<Pair<AliasAnalysisVarHandle,TSFlowNode>>

MethodCFGThrowsWorkData.getInformation(javax.lang.model.type.TypeMirror excpetion) Get the information about the passed exception type

Methods in de.unisaarland.cs.st.jerify.verifier.typestate with parameters of type TSFlowNode

void	MethodCFGWorkData.setPreviousFlowNode(TSFlowNode newPrevious)
void	MethodCFGWorkData.updatePreviousFlowNode(TSFlowNode newPrevious, com.sun.source.tree.Tree tree)

Method parameters in de.unisaarland.cs.st.jerify.verifier.typestate with type arguments of type TSFlowNode

void	MethodCFGThrowsWorkData.add(javax.lang.model.type.TypeMirror exception, Pair<AliasAnalysisVarHandle,TSFlowNode> information)
void	MethodCFGWorkData.addThrow(javax.lang.model.type.TypeMirror exception, Pair<AliasAnalysisVarHandle,TSFlowNode> information)
void	MethodCFGThrowsWorkData.includeThrowInformation(java.util.Map<javax.lang.model.type.TypeMirror,java.util.Set<Pair<AliasAnalysisVarHandle,TSFlowNode>>> throwsThis) Merge additional throws information in this structure.

Constructors in de.unisaarland.cs.st.jerify.verifier.typestate with parameters of type TSFlowNode

MethodCFGData(javax.lang.model.element.Name name, TSFlowNode methodBegin, TSFlowNode methodEnd)
Save the methodBegin and End node, the control flow graph must already be constructed

MethodCFGWorkData(checkers.types.AnnotatedTypeFactory factory, TSFlowNode flowBegin, TSFlowNode flowEnd)
Create an TSInfo instance with the previous (aka first) Node and the methodEnd (aka last) Node beeing set.

MethodCFGWorkData(TSFlowNode flowBegin, TSFlowNode flowEnd, ClassCFGAliasAnalysis aliasAnalysis, DataFlowCFGAnalysis dataflowAnalysis)
Create an TSInfo instance with the previous (aka first) Node and the methodEnd (aka last) Node beeing set.