|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use TS | |
|---|---|
| de.unisaarland.cs.st.jerify.verifier.typestate | Provides classes to create, handle and runtime-store the typestate analysis. |
| Uses of TS in de.unisaarland.cs.st.jerify.verifier.typestate |
|---|
| Methods in de.unisaarland.cs.st.jerify.verifier.typestate with annotations of type TS | |
|---|---|
void |
MethodCFGData.setArgumentTypes(java.util.List<checkers.types.AnnotatedTypeMirror> arguments)
Set the annotated type of the arguments of this method |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||