| equals(Object) |   | 83% | | 66% | 2 | 4 | 2 | 7 | 0 | 1 |
| hashCode() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| formatObject(OceanusDataFormatter) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| isStandard() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getMethods() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| toString() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getDataFieldSet() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| ThemisSolverClass(ThemisSolverDef.ThemisSolverFileDef, ThemisInstance.ThemisClassInstance) | | 100% | | 100% | 0 | 2 | 0 | 13 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| addAncestor(String) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getPackageName() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getName() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isTopLevel() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getFullName() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getOwningFile() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getUnderlyingClass() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getAncestors() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |