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

Packages that use AliasAnalysisVarHandle

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.typestate	Provides classes to create, handle and runtime-store the typestate analysis.

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

Subclasses of AliasAnalysisVarHandle in de.unisaarland.cs.st.jerify.verifier.alias

class

AliasAnalysisFieldHandle

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

AliasAnalysisVarHandle	AliasAnalysisSourceVar.getHandle() Returns the handle this Source represents.
AliasAnalysisVarHandle	ClassCFGAliasAnalysis.getHandle(javax.lang.model.element.Name varName) Return the handle for the passed Name.
AliasAnalysisVarHandle	ClassCFGAliasAnalysis.getHandle(java.lang.String varName) Return the handle for the passed Name.

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

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,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 AliasAnalysisVarHandle

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
Pair<TSAliasAnalysisAssignmentFlowNode,AliasAnalysisVarHandle>	ClassCFGAliasAnalysis.parameter(com.sun.source.tree.VariableTree varTree, AliasAnalysisVarHandle aliasedTo) Add a parameter to the alias information.

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

AliasAnalysisSourceVar(AliasAnalysisVarHandle handle)
Constructs a new Source based on an alias variable handle.

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

Constructors in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.alias with parameters of type AliasAnalysisVarHandle

TSAliasAnalysisAssignmentFlowNode(AliasAnalysisVarHandle var, java.util.Set<AliasAnalysisSource> assignment)
Create a new FlowNode that updates the variable var with the alias informations it gets from the alias sources

TSAliasAnalysisEndOfScope(AliasAnalysisVarHandle var)

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

Methods in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate with parameters of type AliasAnalysisVarHandle

static TSStateChangingFlowNode	TSStateChangingFlowNode.analyseRequireState(AliasAnalysisVarHandle var, javax.lang.model.element.AnnotationMirror requireState, com.sun.source.tree.Tree tree) Handles the @RequireState creation of a FlowNode
static TSStateChangingFlowNode	TSStateChangingFlowNode.analyseRequireState(AliasAnalysisVarHandle var, java.util.Collection<java.lang.String> isInList, com.sun.source.tree.Tree tree) Handles the @RequireState creation of a FlowNode
static TSStateSetFlowNode	TSStateChangingFlowNode.getSetStateFlowNode(AliasAnalysisVarHandle handle, com.sun.source.tree.Tree tree, javax.lang.model.element.AnnotationMirror setState)
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.

Constructors in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate with parameters of type AliasAnalysisVarHandle

TSStateFilterNode(AliasAnalysisVarHandle var, com.sun.source.tree.Tree tree, java.util.Collection<java.lang.String> filterStates)

TSStateFilterNode(AliasAnalysisVarHandle var, com.sun.source.tree.Tree tree, java.lang.String filterState)

TSStateSetFlowNode(AliasAnalysisVarHandle var, com.sun.source.tree.Tree tree, java.util.Collection<java.lang.String> statesSetTo)

TSStateSetFlowNode(AliasAnalysisVarHandle var, com.sun.source.tree.Tree tree, java.lang.String stateSetTo)

TSTransitionFlowNode(AliasAnalysisVarHandle var, com.sun.source.tree.Tree tree, StateChanges stateChanges)

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

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

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

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

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

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.