A C D E F G H I M N O P R S T U V W

A

add(TypeMirror, Pair<AliasAnalysisVarHandle, TSFlowNode>) - Method in class de.unisaarland.cs.st.jerify.verifier.typestate.MethodCFGThrowsWorkData

addChild(GuiTreeNode) - Method in class de.unisaarland.cs.st.jerify.verifier.tools.gui.GuiClassTreeNode

addChild(GuiTreeNode) - Method in class de.unisaarland.cs.st.jerify.verifier.tools.gui.GuiPackageTreeNode

addChild(GuiTreeNode) - Method in interface de.unisaarland.cs.st.jerify.verifier.tools.gui.GuiTreeNode

addMethod(MethodCFGData) - Method in class de.unisaarland.cs.st.jerify.verifier.typestate.ClassCFGData

Add a complete control flow graph for a method

addReference(Integer) - Method in class de.unisaarland.cs.st.jerify.verifier.typestate.MethodTypestateAnalysis

Declare that there is an additional Reference for the Object with id id

addSubClass(ClassCFGData) - Method in class de.unisaarland.cs.st.jerify.verifier.typestate.ClassCFGData

Add a completely analysed subclass (all control flow graphs exist)

addSuccessor(FlowNode<AnalysisData>, Tree) - Method in class de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.FlowNode

Add an FlowNode as a Successor to this node

addThrow(TypeMirror, Pair<AliasAnalysisVarHandle, TSFlowNode>) - Method in class de.unisaarland.cs.st.jerify.verifier.typestate.MethodCFGWorkData

addTransition(Pair<String, Set<String>>) - Method in class de.unisaarland.cs.st.jerify.verifier.typestate.StateChangeTransition

Add a new Transition to the current

addTransition(String, Set<String>) - Method in class de.unisaarland.cs.st.jerify.verifier.typestate.StateChangeTransition

Add a new Transition form one to many states

alias(String) - Static method in class de.unisaarland.cs.st.jerify.verifier.helpers.Debug

AliasAnalysisExpressionVisitor - Class in de.unisaarland.cs.st.jerify.verifier.alias

Determines all sources of objects, whether it is a new bla() creation or a variable use.

AliasAnalysisExpressionVisitor(ClassCFGAliasAnalysis, boolean) - Constructor for class de.unisaarland.cs.st.jerify.verifier.alias.AliasAnalysisExpressionVisitor

AliasAnalysisFieldHandle - Class in de.unisaarland.cs.st.jerify.verifier.alias

AliasAnalysisFieldHandle(String) - Constructor for class de.unisaarland.cs.st.jerify.verifier.alias.AliasAnalysisFieldHandle

AliasAnalysisSource - Class in de.unisaarland.cs.st.jerify.verifier.alias

Is everything objects may come from.

AliasAnalysisSource() - Constructor for class de.unisaarland.cs.st.jerify.verifier.alias.AliasAnalysisSource

AliasAnalysisSourceFixed - Class in de.unisaarland.cs.st.jerify.verifier.alias

Represents all Sources which are create by a "new class();" like part of the code.

AliasAnalysisSourceFixed() - Constructor for class de.unisaarland.cs.st.jerify.verifier.alias.AliasAnalysisSourceFixed

AliasAnalysisSourceNew - Class in de.unisaarland.cs.st.jerify.verifier.alias

Represents all Sources which are create by a "new class();" like part of the code.

AliasAnalysisSourceNew() - Constructor for class de.unisaarland.cs.st.jerify.verifier.alias.AliasAnalysisSourceNew

AliasAnalysisSourceVar - Class in de.unisaarland.cs.st.jerify.verifier.alias

Represents all Sources which are uses of an variable.

AliasAnalysisSourceVar(AliasAnalysisVarHandle) - Constructor for class de.unisaarland.cs.st.jerify.verifier.alias.AliasAnalysisSourceVar

Constructs a new Source based on an alias variable handle.

AliasAnalysisVarHandle - Class in de.unisaarland.cs.st.jerify.verifier.alias

Represents a variable within one scope, it is used to hide all the details of tracking the aliasing.

AliasAnalysisVarHandle(String) - Constructor for class de.unisaarland.cs.st.jerify.verifier.alias.AliasAnalysisVarHandle

analyseRequireState(AliasAnalysisVarHandle, AnnotationMirror, Tree) - Static method in class de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate.TSStateChangingFlowNode

Handles the @RequireState creation of a FlowNode

analyseRequireState(AliasAnalysisVarHandle, Collection<String>, Tree) - Static method in class de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate.TSStateChangingFlowNode

Handles the @RequireState creation of a FlowNode

analyze(AnnotatedTypeFactory) - Method in class de.unisaarland.cs.st.jerify.verifier.typestate.ClassCFGData

Run the analysis through the controll flow graphs of the methods and subclasses.

analyze(AnnotatedTypeFactory) - Method in class de.unisaarland.cs.st.jerify.verifier.typestate.MethodCFGData

Run the analysis on the control flow graph

analyzeCondition(ExpressionTree, ClassCFGAliasAnalysis) - Method in class de.unisaarland.cs.st.jerify.verifier.dataflow.DataFlowCFGAnalysis

AnnotationHelper - Class in de.unisaarland.cs.st.jerify.verifier.helpers.annotationValueVisitors

Helper methods that help with annotation handling

AnnotationHelper() - Constructor for class de.unisaarland.cs.st.jerify.verifier.helpers.annotationValueVisitors.AnnotationHelper

applyChanges(Set<String>) - Method in interface de.unisaarland.cs.st.jerify.verifier.typestate.StateChanges

Apply the changes encapsulated to the States passed

applyChanges(Set<String>) - Method in class de.unisaarland.cs.st.jerify.verifier.typestate.StateChangeTransition

Apply the changes encapsulated to the States passed

applyFilter(Set<Pair<Integer, Collection<String>>>) - Method in class de.unisaarland.cs.st.jerify.verifier.typestate.MethodTypestateAnalysis

Apply the Changes previously parsed from the set changes

applySetChanges(Set<Pair<Integer, State>>) - Method in class de.unisaarland.cs.st.jerify.verifier.typestate.MethodTypestateAnalysis

Apply the Changes previously parsed from the set changes

applyStateChange(StateChanges, Tree) - Method in class de.unisaarland.cs.st.jerify.verifier.typestate.State

Takes a Mapping from State to states , and applies it to the current Set of states by returning the new State.

applyStateChanges(Tree, StateChanges, Collection<Integer>) - Method in class de.unisaarland.cs.st.jerify.verifier.typestate.MethodTypestateAnalysis

Apply the Changes previously parsed from the state changes

assignment(AssignmentTree, MethodCFGWorkData) - Method in class de.unisaarland.cs.st.jerify.verifier.alias.ClassCFGAliasAnalysis

Analyse a variable assignment.

assignment(AliasAnalysisVarHandle, ExpressionTree, MethodCFGWorkData) - Method in class de.unisaarland.cs.st.jerify.verifier.alias.ClassCFGAliasAnalysis

//TODO improve Returns a flow node that assigns the init tree value to the variable in handle