| processMethodReference(ThemisExprMethodRef) |   | 23% | | 16% | 3 | 4 | 6 | 9 | 0 | 1 |
| processClassReference(ThemisTypeClassInterface) | | 81% | | 60% | 3 | 6 | 1 | 11 | 0 | 1 |
| processMethodCall(ThemisExprMethodCall) | | 89% | | 90% | 1 | 6 | 1 | 13 | 0 | 1 |
| processFieldAccess(ThemisExprFieldAccess) | | 86% | | 87% | 1 | 5 | 1 | 12 | 0 | 1 |
| preProcessFile(ThemisSolverFile) | | 100% | | 100% | 0 | 4 | 0 | 14 | 0 | 1 |
| processElement(ThemisInstance) | | 100% | | 100% | 0 | 6 | 0 | 7 | 0 | 1 |
| processInstance(ThemisInstance) | | 100% | | 100% | 0 | 5 | 0 | 12 | 0 | 1 |
| preProcessImports(ThemisSolverFile) | | 100% | | 100% | 0 | 4 | 0 | 9 | 0 | 1 |
| processPackage(ThemisSolverPackage) | | 100% | | 100% | 0 | 3 | 0 | 7 | 0 | 1 |
| ThemisMapper(ThemisSolverProject) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| processAncestor(ThemisSolverClass, ThemisInstance.ThemisTypeInstance) | | 100% | | 50% | 2 | 3 | 0 | 6 | 0 | 1 |
| preProcessPackage(ThemisSolverPackage) | | 100% | | 100% | 0 | 3 | 0 | 5 | 0 | 1 |
| processFile(ThemisSolverFile) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| compareTo(ThemisInstance, ThemisInstance) | | 100% | | 100% | 0 | 4 | 0 | 3 | 0 | 1 |
| processClass(ThemisInstance.ThemisClassInstance) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| sortedChildren(ThemisInstance) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| resetFileState(ThemisSolverFile) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| close() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |