Uses of Class
de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.alias.TSAliasAnalysisAssignmentFlowNode

Packages that use TSAliasAnalysisAssignmentFlowNode

de.unisaarland.cs.st.jerify.verifier.alias

Provides classes to handle the alias analysis.

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

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

TSAliasAnalysisAssignmentFlowNode

ClassCFGAliasAnalysis.newVar(com.sun.source.tree.VariableTree varTree, MethodCFGWorkData tsinfo) Analyse a variable declaration, add the variable to the alias information.

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

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.