function sctCkResults = lick_ckloops_fetch(hSys, sCkType)
Checks design aspects of signal loops found in <hSys>. Libraries exempt from testing are retrieved from the current check configuration.
Check result structure <sctCkRes> always contains member <jExclLibs>, a java.util.HashSet with the libraries excluded from checks. Other members of that struct depend on the rule selected (see below).
Check type <sCkType> selects the rule to be checked (all from MAB 5.0) and might be one out of:
- 'jc_0653', check result structure <sctCkRes> will contain additional members: * <jBadUnitDelays>, a java.util.ArrayList containing rule offending unit delay blocks. * <jGoodUnitDelays>, a java.util.ArrayList containing unit delay blocks on the loops top level as required. * <jMultUdOkUnitDelays>, a java.util.ArrayList containing unit delay blocks NOT on the loops top level but being part of a loop with multipe unit delays and thus not required to do so. * <jMultLoopOkUnitDelays>, a java.util.ArrayList containing unit delay blocks NOT on the loops top level but being part of multiple loops and thus not required to do so. For more details see documentation of rule jc_0653 implementation.
- 'jc_0657', check result structure <sctCkRes> will contain additional members: * <jMrgIfNoRetLoop>, a java.util.HashMap containing merge blocks controlled by if-blocks with incomplete case coverage. * <jMrgSwCaseNoRetLoop>, a java.util.HashMap containing merge blocks controlled by multiport switches with incomplete case coverage. For more details see documentation of rule jc_0657 implementation.