def test_rule_003(self): oRule = variable_assignment.rule_003() self.assertTrue(oRule) self.assertEqual(oRule.name, 'variable_assignment') self.assertEqual(oRule.identifier, '003') dExpected = utils.add_violation_list([38, 40, 81, 89]) oRule.analyze(oFile) self.assertEqual(oRule.violations, dExpected)
def test_rule_007(self): oRule = signal.rule_007() self.assertTrue(oRule) self.assertEqual(oRule.name, 'signal') self.assertEqual(oRule.identifier, '007') lExpected = utils.add_violation_list([11, 16]) oRule.analyze(oFile) self.assertEqual(oRule.violations, lExpected)
def test_rule_001(self): oRule = process.rule_001() self.assertTrue(oRule) self.assertEqual(oRule.name, 'process') self.assertEqual(oRule.identifier, '001') dExpected = utils.add_violation_list([17,24,32,38,46]) oRule.analyze(oFile) self.assertEqual(oRule.violations, dExpected)
def test_rule_002(self): oRule = if_statement.rule_002() self.assertTrue(oRule) self.assertEqual(oRule.name, 'if') self.assertEqual(oRule.identifier, '002') dExpected = utils.add_violation_list([8, 13, 24, 33, 41, 46, 52]) oRule.analyze(oFile) self.assertEqual(oRule.violations, dExpected)
def test_rule_008(self): oRule = type_definition.rule_008() self.assertTrue(oRule) self.assertEqual(oRule.name, 'type') self.assertEqual(oRule.identifier, '008') dExpected = utils.add_violation_list([9, 32]) oRule.analyze(oFile) self.assertEqual(oRule.violations, dExpected)
def test_rule_004_with_default(self): oRule = subtype.rule_004() self.assertTrue(oRule) self.assertEqual(oRule.name, 'subtype') self.assertEqual(oRule.identifier, '004') dExpected = utils.add_violation_list([7, 8, 10, 11]) oRule.analyze(oFilePrefix) self.assertEqual(oRule.violations, dExpected)
def test_rule_001(self): oRule = function.rule_001() self.assertTrue(oRule) self.assertEqual(oRule.name, 'function') self.assertEqual(oRule.identifier, '001') dExpected = utils.add_violation_list([16, 17, 18, 19, 21, 22, 23, 24]) oRule.analyze(oFile) self.assertEqual(oRule.violations, dExpected)
def test_rule_005(self): oRule = constant.rule_005() self.assertTrue(oRule) self.assertEqual(oRule.name, 'constant') self.assertEqual(oRule.identifier, '005') lExpected = utils.add_violation_list([8, 9]) oRule.analyze(oFile) self.assertEqual(oRule.violations, lExpected)
def test_rule_009(self): oRule = package.rule_009() self.assertTrue(oRule) self.assertEqual(oRule.name, 'package') self.assertEqual(oRule.identifier, '009') dExpected = utils.add_violation_list([15, 31, 58, 73]) oRule.analyze(oFile) self.assertEqual(oRule.violations, dExpected)
def test_rule_030(self): oRule = process.rule_030() self.assertTrue(oRule) self.assertEqual(oRule.name, 'process') self.assertEqual(oRule.identifier, '030') dExpected = utils.add_violation_list([26, 34]) oRule.analyze(oFileSensitivity) self.assertEqual(oRule.violations, dExpected)
def test_rule_015_with_default(self): oRule = constant.rule_015() self.assertTrue(oRule) self.assertEqual(oRule.name, 'constant') self.assertEqual(oRule.identifier, '015') lExpected = utils.add_violation_list([6, 9, 18, 28, 30, 38]) oRule.analyze(oFile) self.assertEqual(oRule.violations, lExpected)
def test_rule_023(self): oRule = process.rule_023() self.assertTrue(oRule) self.assertEqual(oRule.name, 'process') self.assertEqual(oRule.identifier, '023') dExpected = utils.add_violation_list([9, 22, 48, 53, 60, 65]) oRule.analyze(oFile) self.assertEqual(oRule.violations, dExpected)
def test_rule_001(self): oRule = for_loop.rule_001() self.assertTrue(oRule) self.assertEqual(oRule.name, 'for_loop') self.assertEqual(oRule.identifier, '001') dExpected = utils.add_violation_list([19, 21]) oRule.analyze(oFile) self.assertEqual(oRule.violations, dExpected)
def test_rule_001(self): oRule = wait.rule_001() self.assertTrue(oRule) self.assertEqual(oRule.name, 'wait') self.assertEqual(oRule.identifier, '001') dExpected = utils.add_violation_list([34, 36]) oRule.analyze(oFile) self.assertEqual(oRule.violations, dExpected)
def test_rule_006(self): oRule = procedure.rule_006() self.assertTrue(oRule) self.assertEqual(oRule.name, 'procedure') self.assertEqual(oRule.identifier, '006') dExpected = utils.add_violation_list([40, 98]) oRule.analyze(oFile) self.assertEqual(oRule.violations, dExpected)
def test_rule_011(self): oRule = package.rule_011() self.assertTrue(oRule) self.assertEqual(oRule.name, 'package') self.assertEqual(oRule.identifier, '011') dExpected = utils.add_violation_list([47, 60]) oRule.analyze(oFile) self.assertEqual(oRule.violations, dExpected)
def test_rule_006(self): oRule = variable.rule_006() self.assertTrue(oRule) self.assertEqual(oRule.name, 'variable') self.assertEqual(oRule.identifier, '006') dExpected = utils.add_violation_list([7, 11, 19, 21]) oRule.analyze(oFile) self.assertEqual(oRule.violations, dExpected)
def test_rule_012(self): oRule = case.rule_012() self.assertTrue(oRule) self.assertEqual(oRule.name, 'case') self.assertEqual(oRule.identifier, '012') dExpected = utils.add_violation_list([11, 12, 16, 22, 23]) oRule.analyze(oFileSequential) self.assertEqual(oRule.violations, dExpected)
def test_rule_008(self): oRule = function.rule_008() self.assertTrue(oRule) self.assertEqual(oRule.name, 'function') self.assertEqual(oRule.identifier, '008') dExpected = utils.add_violation_list([5, 6, 7]) oRule.analyze(oFileMultiple) self.assertEqual(oRule.violations, dExpected)
def test_rule_001(self): oRule = case.rule_001() self.assertTrue(oRule) self.assertEqual(oRule.name, 'case') self.assertEqual(oRule.identifier, '001') dExpected = utils.add_violation_list([9, 33, 45, 52, 70]) oRule.analyze(oFile) self.assertEqual(oRule.violations, dExpected)
def test_rule_014(self): oRule = if_statement.rule_014() self.assertTrue(oRule) self.assertEqual(oRule.name, 'if') self.assertEqual(oRule.identifier, '014') dExpected = utils.add_violation_list([11, 27, 36, 39, 60, 110]) oRule.analyze(oFile) self.assertEqual(oRule.violations, dExpected)
def test_rule_005(self): oRule = case.rule_005() self.assertTrue(oRule) self.assertEqual(oRule.name, 'case') self.assertEqual(oRule.identifier, '005') dExpected = utils.add_violation_list([17, 23, 66]) oRule.analyze(oFile) self.assertEqual(oRule.violations, dExpected)
def test_rule_008(self): oRule = if_statement.rule_008() self.assertTrue(oRule) self.assertEqual(oRule.name, 'if') self.assertEqual(oRule.identifier, '008') dExpected = utils.add_violation_list([78, 89]) oRule.analyze(oFile) self.assertEqual(oRule.violations, dExpected)
def test_rule_015(self): oRule = architecture.rule_015() self.assertTrue(oRule) self.assertEqual(oRule.name, 'architecture') self.assertEqual(oRule.identifier, '015') dExpected = utils.add_violation_list([26, 33]) oRule.analyze(oFile) self.assertEqual(oRule.violations, dExpected)
def test_rule_005(self): oRule = signal.rule_005() self.assertTrue(oRule) self.assertEqual(oRule.name, 'signal') self.assertEqual(oRule.identifier, '005') lExpected = utils.add_violation_list([6, 10, 13, 14, 16, 20, 21]) oRule.analyze(oFile) self.assertEqual(oRule.violations, lExpected)
def test_rule_004(self): oRule = concurrent.rule_004() self.assertTrue(oRule) self.assertEqual(oRule.name, 'concurrent') self.assertEqual(oRule.identifier, '004') dExpected = utils.add_violation_list([7, 8, 32, 33]) oRule.analyze(oFile) self.assertEqual(oRule.violations, dExpected)
def test_rule_012(self): oRule = process.rule_012() self.assertTrue(oRule) self.assertEqual(oRule.name, 'process') self.assertEqual(oRule.identifier, '012') dExpected = utils.add_violation_list([51,57]) oRule.analyze(oFile) self.assertEqual(oRule.violations, dExpected)
def test_rule_004(self): oRule = procedure.rule_004() self.assertTrue(oRule) self.assertEqual(oRule.name, 'procedure') self.assertEqual(oRule.identifier, '004') dExpected = utils.add_violation_list([17, 18, 19, 20, 45, 46, 47, 48]) oRule.analyze(oFile) self.assertEqual(oRule.violations, dExpected)
def test_rule_002(self): oRule = variable_assignment.rule_002() self.assertTrue(oRule) self.assertEqual(oRule.name, 'variable_assignment') self.assertEqual(oRule.identifier, '002') dExpected = utils.add_violation_list([26, 33, 65, 83]) oRule.analyze(oFile) self.assertEqual(oRule.violations, dExpected)
def test_rule_009(self): oRule = port.rule_009() self.assertTrue(oRule) self.assertEqual(oRule.name, 'port') self.assertEqual(oRule.identifier, '009') dExpected = utils.add_violation_list([28, 45, 59, 62]) oRule.analyze(oFile) self.assertEqual(oRule.violations, dExpected)