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

M

main(String[]) - Static method in class de.unisaarland.cs.st.jerify.verifier.tools.gui.OverviewGui

merge(CFGAnalysis<AnalysisData>) - Method in interface de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.CFGAnalysis

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

merge(CFGAnalysis<MethodTypestateAnalysis>) - Method in class de.unisaarland.cs.st.jerify.verifier.typestate.MethodTypestateAnalysis

Incorporate the analysis (other) into this analysis.

merge(State) - Method in class de.unisaarland.cs.st.jerify.verifier.typestate.State

Includes the information in the other State into this State

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

MethodCFGData - Class in de.unisaarland.cs.st.jerify.verifier.typestate

Contains the control flow graph for a method

MethodCFGData(Name, TSFlowNode, TSFlowNode) - Constructor for class de.unisaarland.cs.st.jerify.verifier.typestate.MethodCFGData

Save the methodBegin and End node, the control flow graph must already be constructed

MethodCFGThrowsWorkData - Class in de.unisaarland.cs.st.jerify.verifier.typestate

Encapsulates the information which exceptions are thrown, used for the construction of the control flow graph

MethodCFGThrowsWorkData() - Constructor for class de.unisaarland.cs.st.jerify.verifier.typestate.MethodCFGThrowsWorkData

MethodCFGWorkData - Class in de.unisaarland.cs.st.jerify.verifier.typestate

Used to store all information to create the flow data-structure while visiting each method.

MethodCFGWorkData(MethodCFGWorkData) - Constructor for class de.unisaarland.cs.st.jerify.verifier.typestate.MethodCFGWorkData

Copy constructor that only copies those elements that are always needed to be copied Does not copy methodThrows, because the branches dont need to know what is thrown outside their scode.

MethodCFGWorkData(TSFlowNode, TSFlowNode, ClassCFGAliasAnalysis, DataFlowCFGAnalysis) - Constructor for class de.unisaarland.cs.st.jerify.verifier.typestate.MethodCFGWorkData

Create an TSInfo instance with the previous (aka first) Node and the methodEnd (aka last) Node beeing set.

MethodCFGWorkData(AnnotatedTypeFactory, TSFlowNode, TSFlowNode) - Constructor for class de.unisaarland.cs.st.jerify.verifier.typestate.MethodCFGWorkData

Create an TSInfo instance with the previous (aka first) Node and the methodEnd (aka last) Node beeing set.

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

MethodTypestateAnalysis - Class in de.unisaarland.cs.st.jerify.verifier.typestate

The analysis data that is propagated in the control flow graph.

MethodTypestateAnalysis(AnnotatedTypeFactory) - Constructor for class de.unisaarland.cs.st.jerify.verifier.typestate.MethodTypestateAnalysis

Create an empty Analysis

MethodTypestateAnalysis(AnnotatedTypeFactory, MethodTypestateAnalysis) - Constructor for class de.unisaarland.cs.st.jerify.verifier.typestate.MethodTypestateAnalysis

Create an Analysis which copies its content form the passed Analysis

MethodTypestateInformation - Class in de.unisaarland.cs.st.jerify.verifier.typestate

Contains the information that is generated while analysing the methods not used+generated yet

MethodTypestateInformation() - Constructor for class de.unisaarland.cs.st.jerify.verifier.typestate.MethodTypestateInformation