Package: IotaStrategy
IotaStrategy
name | instruction | branch | complexity | line | method |
---|
IotaStrategy(TransAssistantIR, SExpIR, String, String, ILanguageIterator, ITempVarGen, IterationVarPrefixes, CounterData) |
|
|
|
|
|
consCounterDecl(IRInfo, AIdentifierPatternIR) |
|
|
|
|
|
consIotaError(String) |
|
|
|
|
|
consIotaMultipleResultsError() |
|
|
|
|
|
consIotaNoMatchError() |
|
|
|
|
|
getForLoopStms(AIdentifierVarExpIR, List, SPatternIR) |
|
|
|
|
|
getOuterBlockDecls(AIdentifierVarExpIR, List) |
|
|
|
|
|
getPostOuterBlockStms(AIdentifierVarExpIR, List) |
|
|
|
|
|
Coverage
ERROR: Error while reading the sourcefile!