Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Class
de.unisaarland.cs.st.jerify.verifier.quals.ReturnValue

Packages that use ReturnValue
de.unisaarland.cs.st.jerify.verifier.typestate Provides classes to create, handle and runtime-store the typestate analysis. 
 

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

Methods in de.unisaarland.cs.st.jerify.verifier.typestate with annotations of type ReturnValue
 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.
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES