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

Packages that use MethodCFGThrowsWorkData

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

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

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

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

MethodCFGThrowsWorkData

MethodCFGWorkData.getThrowInformation()

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

void	MethodCFGThrowsWorkData.includeThrowInformation(MethodCFGThrowsWorkData throwsThis) Merge additional throws information in this structure.
void	MethodCFGWorkData.setThrowInformation(MethodCFGThrowsWorkData methodThrows)