| compareTo(ThemisSolverFile) |  | 0% |  | 0% | 6 | 6 | 12 | 12 | 1 | 1 |
| equals(Object) |  | 0% |  | 0% | 4 | 4 | 7 | 7 | 1 | 1 |
| hashCode() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getLocation() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| toString() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getImpliedReferences() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| isCircular() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| ThemisSolverFile(ThemisSolverDef.ThemisSolverPackageDef, ThemisFile) |  | 100% |  | 100% | 0 | 2 | 0 | 14 | 0 | 1 |
| setReferenced(List) |  | 100% |  | 100% | 0 | 3 | 0 | 7 | 0 | 1 |
| processLocalReferences(ThemisSolverClass) |  | 100% |  | 100% | 0 | 4 | 0 | 7 | 0 | 1 |
| processLocalReferences() |  | 100% |  | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| lambda$setReferenced$0(ThemisSolverClass) |  | 100% |  | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| markPreProcessed() |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getOwningPackage() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getUnderlyingFile() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getTopLevel() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getClasses() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getReferenced() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getLocalReferences() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| needsPreProcess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |