Uses of Class
de.unisaarland.cs.st.jerify.verifier.helpers.Pair

Packages that use Pair

de.unisaarland.cs.st.jerify.verifier.alias	Provides classes to handle the alias analysis.
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.helpers	Provides helper classes.
de.unisaarland.cs.st.jerify.verifier.typestate	Provides classes to create, handle and runtime-store the typestate analysis.

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

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

Pair<TSAliasAnalysisAssignmentFlowNode,AliasAnalysisVarHandle>	ClassCFGAliasAnalysis.expression(com.sun.source.tree.ExpressionTree exprTree, MethodCFGWorkData tsinfo) Create a new variable handle which is initialized with the result of the analysis of the expression.
Pair<TSAliasAnalysisAssignmentFlowNode,java.lang.Integer>	ClassCFGAliasAnalysis.foreachVar(com.sun.source.tree.VariableTree varTree) Add a for each variable (for var : ... ) to the alias information.
Pair<TSAliasAnalysisAssignmentFlowNode,AliasAnalysisVarHandle>	ClassCFGAliasAnalysis.parameter(com.sun.source.tree.VariableTree varTree) Add a parameter to the alias information.
Pair<TSAliasAnalysisAssignmentFlowNode,AliasAnalysisVarHandle>	ClassCFGAliasAnalysis.parameter(com.sun.source.tree.VariableTree varTree, AliasAnalysisVarHandle aliasedTo) Add a parameter to the alias information.

Methods in de.unisaarland.cs.st.jerify.verifier.alias with parameters of type Pair

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 Pair in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate

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

static Pair<java.lang.String,java.util.Set<java.lang.String>>

TSStateChangingFlowNode.getChangeState(javax.lang.model.element.AnnotationMirror a) Parse a ChangeState(from,to) annotation and returns the corresponding map

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

Methods in de.unisaarland.cs.st.jerify.verifier.dataflow that return Pair

Pair<Pair<TSFlowNode,TSFlowNode>,Pair<TSFlowNode,TSFlowNode>>

DataFlowCFGAnalysis.analyzeCondition(com.sun.source.tree.ExpressionTree condition, ClassCFGAliasAnalysis aliasAnalysis)

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

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 Pair in de.unisaarland.cs.st.jerify.verifier.helpers

Methods in de.unisaarland.cs.st.jerify.verifier.helpers that return Pair

Pair<A,B>	Pair.setFirst(A a) Set the value of the first element
Pair<A,B>	Pair.setSecond(B b) Set the value of the second element

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

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

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 Pair

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	StateChangeTransition.addTransition(Pair<java.lang.String,java.util.Set<java.lang.String>> transition) Add a new Transition to the current

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

void	MethodTypestateAnalysis.applyFilter(java.util.Set<Pair<java.lang.Integer,java.util.Collection<java.lang.String>>> filterSet) Apply the Changes previously parsed from the set changes
void	MethodTypestateAnalysis.applySetChanges(java.util.Set<Pair<java.lang.Integer,State>> stateSetTo) Apply the Changes previously parsed from the set changes
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.