Package: org.overture.typechecker
Coverage Summary
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
org.overture.typechecker |
|
|
|
|
|
|
Coverage Breakdown by Source File
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
ClassTypeChecker |
|
|
|
|
|
|
||||||||||||||||||||||||
Environment |
|
|
|
|
|
|
||||||||||||||||||||||||
ExcludedDefinitions |
|
|
|
|
|
|
||||||||||||||||||||||||
FlatCheckedEnvironment |
|
|
|
|
|
|
||||||||||||||||||||||||
FlatEnvironment |
|
|
|
|
|
|
||||||||||||||||||||||||
LexNameTokenAssistant |
|
|
|
|
|
|
||||||||||||||||||||||||
ModuleEnvironment |
|
|
|
|
|
|
||||||||||||||||||||||||
ModuleTypeChecker |
|
|
|
|
|
|
||||||||||||||||||||||||
PrivateClassEnvironment |
|
|
|
|
|
|
||||||||||||||||||||||||
PublicClassEnvironment |
|
|
|
|
|
|
||||||||||||||||||||||||
TypeCheckException |
|
|
|
|
|
|
||||||||||||||||||||||||
TypeCheckInfo |
|
|
|
|
|
|
||||||||||||||||||||||||
TypeChecker |
|
|
|
|
|
|
||||||||||||||||||||||||
TypeChecker$1 |
|
|
|
|
|
|
||||||||||||||||||||||||
TypeChecker$IStatusListener |
|
|
|
|
|
|
||||||||||||||||||||||||
TypeCheckerErrors |
|
|
|
|
|
|
||||||||||||||||||||||||
TypeComparator |
|
|
|
|
|
|
||||||||||||||||||||||||
TypeComparator$Result |
|
|
|
|
|
|
||||||||||||||||||||||||
TypeComparator$TypePair |
|
|
|
|
|
|