Uses of Class
de.unisaarland.cs.st.jerify.verifier.typestate.MethodCFGData

Packages that use MethodCFGData

de.unisaarland.cs.st.jerify.verifier.typestate

Provides classes to create, handle and runtime-store the typestate analysis.

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

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

MethodCFGData

ClassCFG.scanMethod(com.sun.source.tree.MethodTree tree, MethodCFGWorkData tsinfo) For each method, create the flow data structure relations TSFlowNode and return it in the MethodCFGData.

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

void	ClassCFGData.addMethod(MethodCFGData method) Add a complete control flow graph for a method