示例#1
0
 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)
示例#2
0
 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)
示例#3
0
 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)
示例#4
0
 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)
示例#7
0
 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)
示例#8
0
 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)
示例#10
0
 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)
示例#11
0
 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)
示例#12
0
 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)
示例#14
0
 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)
示例#15
0
 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)
示例#17
0
 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)
示例#18
0
 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)
示例#19
0
 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)
示例#20
0
 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)
示例#21
0
 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)
示例#22
0
 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)
示例#23
0
 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)
示例#25
0
 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)
示例#26
0
 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)
示例#27
0
 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)
示例#28
0
 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)
示例#29
0
 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)
示例#30
0
    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)