Uses of Class
de.unisaarland.cs.st.jerify.verifier.alias.ClassCFGAliasAnalysis

Packages that use ClassCFGAliasAnalysis

de.unisaarland.cs.st.jerify.verifier.alias	Provides classes to handle the alias analysis.
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 ClassCFGAliasAnalysis in de.unisaarland.cs.st.jerify.verifier.alias

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

ClassCFGAliasAnalysis

ClassCFGAliasAnalysis.copy() Creates a deep Copy.

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

java.util.Set<java.lang.String>

ClassCFGAliasAnalysis.without(ClassCFGAliasAnalysis other) Returns all names (of variables) that are contained in this AliasAnalysis but not in the passed one and all names that are contained in both but with different AliasVarHandles (which mean that they represent different variables).

Constructors in de.unisaarland.cs.st.jerify.verifier.alias with parameters of type ClassCFGAliasAnalysis

AliasAnalysisExpressionVisitor(ClassCFGAliasAnalysis aliasAnalysis, boolean visitLiteral)

ClassCFGAliasAnalysis(ClassCFGAliasAnalysis copyFrom)

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

Methods in de.unisaarland.cs.st.jerify.verifier.dataflow with parameters of type ClassCFGAliasAnalysis

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

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

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

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

ClassCFGAliasAnalysis

MethodCFGWorkData.getAliasAnalysis()

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

void	MethodCFGWorkData.setAliasAnalysis(ClassCFGAliasAnalysis aliasAnalysis)

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

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.