Package: org.overture.typechecker.utilities.pattern
Coverage Summary
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
org.overture.typechecker.utilities.pattern |
|
|
|
|
|
|
Coverage Breakdown by Source File
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
AllDefinitionLocator |
|
|
|
|
|
|
||||||||||||||||||||||||
AllDefinitionLocator$NewQuestion |
|
|
|
|
|
|
||||||||||||||||||||||||
AlwaysMatchingPatternChecker |
|
|
|
|
|
|
||||||||||||||||||||||||
MultipleBindLister |
|
|
|
|
|
|
||||||||||||||||||||||||
PatternResolver |
|
|
|
|
|
|
||||||||||||||||||||||||
PatternResolver$NewQuestion |
|
|
|
|
|
|
||||||||||||||||||||||||
PatternUnresolver |
|
|
|
|
|
|
||||||||||||||||||||||||
PossibleBindTypeFinder |
|
|
|
|
|
|
||||||||||||||||||||||||
PossibleTypeFinder |
|
|
|
|
|
|
||||||||||||||||||||||||
SimplePatternChecker |
|
|
|
|
|
|