1
-- Rule file to check that no entity from System is redefined
2
Redefinition_From_System : check naming_convention (all,
3
--not case_insensitive "Name", -- You generally don't want to forbid this one
4
not case_insensitive "System_Name",
5
not case_insensitive "Min_Int",
6
not case_insensitive "Max_Int",
7
not case_insensitive "Max_Binary_Modulus",
8
not case_insensitive "Max_Nonbinary_Modulus",
9
not case_insensitive "Max_Base_Digits",
10
not case_insensitive "Max_Digits",
11
not case_insensitive "Max_Mantissa",
12
not case_insensitive "Fine_Delta",
13
not case_insensitive "Tick",
14
not case_insensitive "Address",
15
not case_insensitive "Null_Address",
16
not case_insensitive "Storage_Unit",
17
not case_insensitive "Word_Size",
18
not case_insensitive "Memory_Size",
19
not case_insensitive "Bit_Order",
20
not case_insensitive "High_Order_First",
21
not case_insensitive "Interrupt_Priority",
22
not case_insensitive "Default_Priority");
b'\\ No newline at end of file'