| determineKnownClasses(ThemisSolverFile) |  | 100% |  | 90% | 1 | 6 | 0 | 15 | 0 | 1 |
| lookUpPartiallyNamedClass(String, int) | | 100% | | 100% | 0 | 4 | 0 | 9 | 0 | 1 |
| processPossibleReference(String) | | 100% | | 100% | 0 | 5 | 0 | 11 | 0 | 1 |
| lookUpFullyNamedClass(String) | | 100% | | 100% | 0 | 5 | 0 | 10 | 0 | 1 |
| declareReferencedClass(ThemisInstance.ThemisClassInstance) | | 100% | | 87% | 1 | 5 | 0 | 9 | 0 | 1 |
| processInherited(ThemisSolverClass) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| lookUpImport(ThemisNodeImport) | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| ThemisMapperFileState(ThemisMapperProjectState) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| lookUpJavaLangClass(String) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| initForFile(ThemisSolverFile) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| getReferenced() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |