/[eiffelstudio]/vendor/gobosoft.com/gobo/4.0d/library/tools/src/eiffel/error/et_validity_error.e
ViewVC logotype

Diff of /vendor/gobosoft.com/gobo/4.0d/library/tools/src/eiffel/error/et_validity_error.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 98697 by manus, Sat May 7 16:18:26 2016 UTC revision 98698 by manus, Mon May 9 13:53:54 2016 UTC
# Line 40  create Line 40  create
40          make_vcfg3a,          make_vcfg3a,
41          make_vcfg3b,          make_vcfg3b,
42          make_vcfg3c,          make_vcfg3c,
         make_vcfg3d,  
43          make_vcfg3e,          make_vcfg3e,
44          make_vcfg3g,          make_vcfg3f,
45          make_vcfg3h,          make_vcfg3h,
         make_vcfg3j,  
46          make_vdjr0a,          make_vdjr0a,
47          make_vdjr0b,          make_vdjr0b,
48          make_vdjr0c,          make_vdjr0c,
# Line 153  create Line 151  create
151          make_vhpr1a,          make_vhpr1a,
152          make_vhpr1b,          make_vhpr1b,
153          make_vhpr3a,          make_vhpr3a,
         make_vhpr3b,  
         make_vhpr3c,  
154          make_vhrc1a,          make_vhrc1a,
155          make_vhrc2a,          make_vhrc2a,
156          make_vhrc4a,          make_vhrc4a,
# Line 218  create Line 214  create
214          make_vqmc3b,          make_vqmc3b,
215          make_vqmc4a,          make_vqmc4a,
216          make_vqmc5a,          make_vqmc5a,
         make_vqmc6a,  
217          make_vqui0a,          make_vqui0a,
218          make_vred0a,          make_vred0a,
219          make_vred0b,          make_vred0b,
# Line 239  create Line 234  create
234          make_vtat1c,          make_vtat1c,
235          make_vtat2a,          make_vtat2a,
236          make_vtat2b,          make_vtat2b,
         make_vtbt0a,  
         make_vtbt0b,  
         make_vtbt0c,  
         make_vtbt0d,  
237          make_vtcg3a,          make_vtcg3a,
238          make_vtcg4a,          make_vtcg4a,
239          make_vtcg4b,          make_vtcg4b,
# Line 287  create Line 278  create
278          make_vwst2a,          make_vwst2a,
279          make_vxrt0a,          make_vxrt0a,
280          make_gvagp0a,          make_gvagp0a,
         make_gvhpr4a,  
281          make_gvhpr5a,          make_gvhpr5a,
282          make_gvhso1a,          make_gvhso1a,
283          make_gvhso2a,          make_gvhso2a,
# Line 866  feature {NONE} -- Initialization Line 856  feature {NONE} -- Initialization
856                          -- dollar9: $9 = second formal index                          -- dollar9: $9 = second formal index
857                  end                  end
858    
859          make_vcfg3a (a_class: ET_CLASS; a_type: ET_BIT_FEATURE)          make_vcfg3a (a_class: ET_CLASS; a_type: ET_LIKE_TYPE)
860                          -- Create a new VCFG-3 error: invalid type `a_type' in                          -- Create a new VCFG-3 error: invalid type `a_type' in
861                          -- constraint of formal generic parameter of `a_class'.                          -- constraint of formal generic parameter of `a_class'.
862                          --                          --
# Line 906  feature {NONE} -- Initialization Line 896  feature {NONE} -- Initialization
896                          -- dollar7: $7 = invalid type                          -- dollar7: $7 = invalid type
897                  end                  end
898    
899          make_vcfg3b (a_class: ET_CLASS; a_type: ET_BIT_N)          make_vcfg3b (a_class: ET_CLASS; a_formal: ET_FORMAL_PARAMETER; a_constraint: ET_FORMAL_PARAMETER_TYPE)
                         -- Create a new VCFG-3 error: invalid type `a_type' in  
                         -- constraint of formal generic parameter of `a_class'.  
                         --  
                         -- ETR: p.16  
                 require  
                         a_class_not_void: a_class /= Void  
                         a_class_preparsed: a_class.is_preparsed  
                         a_type_not_void: a_type /= Void  
                 do  
                         current_class := a_class  
                         class_impl := a_class  
                         position := a_type.position  
                         code := template_code (vcfg3b_template_code)  
                         etl_code := vcfg3_etl_code  
                         default_template := default_message_template (vcfg3b_default_template)  
                         create parameters.make_filled (empty_string, 1, 7)  
                         parameters.put (etl_code, 1)  
                         parameters.put (filename, 2)  
                         parameters.put (position.line.out, 3)  
                         parameters.put (position.column.out, 4)  
                         parameters.put (current_class.upper_name, 5)  
                         parameters.put (class_impl.upper_name, 6)  
                         parameters.put (a_type.to_text, 7)  
                         set_compilers (True)  
                 ensure  
                         current_class_set: current_class = a_class  
                         class_impl_set: class_impl = a_class  
                         all_reported: all_reported  
                         all_fatal: all_fatal  
                         -- dollar0: $0 = program name  
                         -- dollar1: $1 = ETL code  
                         -- dollar2: $2 = filename  
                         -- dollar3: $3 = line  
                         -- dollar4: $4 = column  
                         -- dollar5: $5 = class name  
                         -- dollar6: $6 = implementation class name  
                         -- dollar7: $7 = invalid type  
                 end  
   
         make_vcfg3c (a_class: ET_CLASS; a_type: ET_LIKE_TYPE)  
                         -- Create a new VCFG-3 error: invalid type `a_type' in  
                         -- constraint of formal generic parameter of `a_class'.  
                         --  
                         -- ETR: p.16  
                 require  
                         a_class_not_void: a_class /= Void  
                         a_class_preparsed: a_class.is_preparsed  
                         a_type_not_void: a_type /= Void  
                 do  
                         current_class := a_class  
                         class_impl := a_class  
                         position := a_type.position  
                         code := template_code (vcfg3c_template_code)  
                         etl_code := vcfg3_etl_code  
                         default_template := default_message_template (vcfg3c_default_template)  
                         create parameters.make_filled (empty_string, 1, 7)  
                         parameters.put (etl_code, 1)  
                         parameters.put (filename, 2)  
                         parameters.put (position.line.out, 3)  
                         parameters.put (position.column.out, 4)  
                         parameters.put (current_class.upper_name, 5)  
                         parameters.put (class_impl.upper_name, 6)  
                         parameters.put (a_type.to_text, 7)  
                         set_compilers (True)  
                 ensure  
                         current_class_set: current_class = a_class  
                         class_impl_set: class_impl = a_class  
                         all_reported: all_reported  
                         all_fatal: all_fatal  
                         -- dollar0: $0 = program name  
                         -- dollar1: $1 = ETL code  
                         -- dollar2: $2 = filename  
                         -- dollar3: $3 = line  
                         -- dollar4: $4 = column  
                         -- dollar5: $5 = class name  
                         -- dollar6: $6 = implementation class name  
                         -- dollar7: $7 = invalid type  
                 end  
   
         make_vcfg3d (a_class: ET_CLASS; a_formal: ET_FORMAL_PARAMETER; a_constraint: ET_FORMAL_PARAMETER_TYPE)  
900                          -- Create a new VCFG-3 error: the constraint of `a_formal'                          -- Create a new VCFG-3 error: the constraint of `a_formal'
901                          -- in `a_class' is the formal generic parameter itself.                          -- in `a_class' is the formal generic parameter itself.
902                          --                          --
# Line 1001  feature {NONE} -- Initialization Line 911  feature {NONE} -- Initialization
911                          current_class := a_class                          current_class := a_class
912                          class_impl := a_class                          class_impl := a_class
913                          position := a_constraint.position                          position := a_constraint.position
914                          code := template_code (vcfg3d_template_code)                          code := template_code (vcfg3b_template_code)
915                          etl_code := vcfg3_etl_code                          etl_code := vcfg3_etl_code
916                          default_template := default_message_template (vcfg3d_default_template)                          default_template := default_message_template (vcfg3b_default_template)
917                          create parameters.make_filled (empty_string, 1, 8)                          create parameters.make_filled (empty_string, 1, 8)
918                          parameters.put (etl_code, 1)                          parameters.put (etl_code, 1)
919                          parameters.put (filename, 2)                          parameters.put (filename, 2)
# Line 1030  feature {NONE} -- Initialization Line 940  feature {NONE} -- Initialization
940                          -- dollar8: $8 = constraint                          -- dollar8: $8 = constraint
941                  end                  end
942    
943          make_vcfg3e (a_class: ET_CLASS; a_formal: ET_FORMAL_PARAMETER; a_constraint: ET_FORMAL_PARAMETER_TYPE)          make_vcfg3c (a_class: ET_CLASS; a_formal: ET_FORMAL_PARAMETER; a_constraint: ET_FORMAL_PARAMETER_TYPE)
944                          -- Create a new VCFG-3 error: the constraint of `a_formal'                          -- Create a new VCFG-3 error: the constraint of `a_formal'
945                          -- in `a_class' is another formal generic parameter                          -- in `a_class' is another formal generic parameter
946                          -- appearing before `a_formal' in the list of formal                          -- appearing before `a_formal' in the list of formal
# Line 1047  feature {NONE} -- Initialization Line 957  feature {NONE} -- Initialization
957                          current_class := a_class                          current_class := a_class
958                          class_impl := a_class                          class_impl := a_class
959                          position := a_constraint.position                          position := a_constraint.position
960                          code := template_code (vcfg3e_template_code)                          code := template_code (vcfg3c_template_code)
961                          etl_code := vcfg3_etl_code                          etl_code := vcfg3_etl_code
962                          default_template := default_message_template (vcfg3e_default_template)                          default_template := default_message_template (vcfg3c_default_template)
963                          create parameters.make_filled (empty_string, 1, 8)                          create parameters.make_filled (empty_string, 1, 8)
964                          parameters.put (etl_code, 1)                          parameters.put (etl_code, 1)
965                          parameters.put (filename, 2)                          parameters.put (filename, 2)
# Line 1076  feature {NONE} -- Initialization Line 986  feature {NONE} -- Initialization
986                          -- dollar8: $8 = constraint                          -- dollar8: $8 = constraint
987                  end                  end
988    
989          make_vcfg3g (a_class: ET_CLASS; a_cycle: DS_LIST [ET_FORMAL_PARAMETER])          make_vcfg3e (a_class: ET_CLASS; a_cycle: DS_LIST [ET_FORMAL_PARAMETER])
990                          -- Create a new VCFG-3 error: the constraints of the formal                          -- Create a new VCFG-3 error: the constraints of the formal
991                          -- generic parameters `a_cycle' of `a_class' are involved                          -- generic parameters `a_cycle' of `a_class' are involved
992                          -- in a cycle.                          -- in a cycle.
# Line 1095  feature {NONE} -- Initialization Line 1005  feature {NONE} -- Initialization
1005                          current_class := a_class                          current_class := a_class
1006                          class_impl := a_class                          class_impl := a_class
1007                          position := a_cycle.first.name.position                          position := a_cycle.first.name.position
1008                          code := template_code (vcfg3g_template_code)                          code := template_code (vcfg3e_template_code)
1009                          etl_code := vcfg3_etl_code                          etl_code := vcfg3_etl_code
1010                          default_template := default_message_template (vcfg3g_default_template)                          default_template := default_message_template (vcfg3e_default_template)
1011                          from                          from
1012                                  create a_string.make (20)                                  create a_string.make (20)
1013                                  a_cursor := a_cycle.new_cursor                                  a_cursor := a_cycle.new_cursor
# Line 1135  feature {NONE} -- Initialization Line 1045  feature {NONE} -- Initialization
1045                          -- dollar7: $7 = cycle                          -- dollar7: $7 = cycle
1046                  end                  end
1047    
1048          make_vcfg3h (a_class: ET_CLASS; a_formal: ET_FORMAL_PARAMETER; a_type: ET_FORMAL_PARAMETER_TYPE)          make_vcfg3f (a_class: ET_CLASS; a_formal: ET_FORMAL_PARAMETER; a_type: ET_FORMAL_PARAMETER_TYPE)
1049                          -- Create a new VCFG-3 error: the constraint of `a_formal'                          -- Create a new VCFG-3 error: the constraint of `a_formal'
1050                          -- in `a_class' contains the formal generic parameter                          -- in `a_class' contains the formal generic parameter
1051                          -- itself.                          -- itself.
# Line 1150  feature {NONE} -- Initialization Line 1060  feature {NONE} -- Initialization
1060                          current_class := a_class                          current_class := a_class
1061                          class_impl := a_class                          class_impl := a_class
1062                          position := a_type.position                          position := a_type.position
1063                          code := template_code (vcfg3h_template_code)                          code := template_code (vcfg3f_template_code)
1064                          etl_code := vcfg3_etl_code                          etl_code := vcfg3_etl_code
1065                          default_template := default_message_template (vcfg3h_default_template)                          default_template := default_message_template (vcfg3f_default_template)
1066                          create parameters.make_filled (empty_string, 1, 8)                          create parameters.make_filled (empty_string, 1, 8)
1067                          parameters.put (etl_code, 1)                          parameters.put (etl_code, 1)
1068                          parameters.put (filename, 2)                          parameters.put (filename, 2)
# Line 1179  feature {NONE} -- Initialization Line 1089  feature {NONE} -- Initialization
1089                          -- dollar8: $8 = formal type in constraint                          -- dollar8: $8 = formal type in constraint
1090                  end                  end
1091    
1092          make_vcfg3j (a_class: ET_CLASS; a_cycle: DS_LIST [ET_FORMAL_PARAMETER])          make_vcfg3h (a_class: ET_CLASS; a_cycle: DS_LIST [ET_FORMAL_PARAMETER])
1093                          -- Create a new VCFG-3 error: the constraints of the formal                          -- Create a new VCFG-3 error: the constraints of the formal
1094                          -- generic parameters `a_cycle' of `a_class' are involved                          -- generic parameters `a_cycle' of `a_class' are involved
1095                          -- in a cycle.                          -- in a cycle.
# Line 1198  feature {NONE} -- Initialization Line 1108  feature {NONE} -- Initialization
1108                          current_class := a_class                          current_class := a_class
1109                          class_impl := a_class                          class_impl := a_class
1110                          position := a_cycle.first.name.position                          position := a_cycle.first.name.position
1111                          code := template_code (vcfg3j_template_code)                          code := template_code (vcfg3h_template_code)
1112                          etl_code := vcfg3_etl_code                          etl_code := vcfg3_etl_code
1113                          default_template := default_message_template (vcfg3j_default_template)                          default_template := default_message_template (vcfg3h_default_template)
1114                          from                          from
1115                                  create a_string.make (20)                                  create a_string.make (20)
1116                                  a_cursor := a_cycle.new_cursor                                  a_cursor := a_cycle.new_cursor
# Line 6196  feature {NONE} -- Initialization Line 6106  feature {NONE} -- Initialization
6106                          -- dollar7: $7 = class NONE                          -- dollar7: $7 = class NONE
6107                  end                  end
6108    
6109          make_vhpr3a (a_class: ET_CLASS; a_type: ET_BIT_FEATURE)          make_vhpr3a (a_class: ET_CLASS; a_type: ET_LIKE_TYPE)
6110                          -- Create a new VHPR-3 error: invalid type `a_type'                          -- Create a new VHPR-3 error: invalid type `a_type'
6111                          -- in parent clause of `a_class'.                          -- in parent clause of `a_class'.
6112                          --                          --
# Line 6236  feature {NONE} -- Initialization Line 6146  feature {NONE} -- Initialization
6146                          -- dollar7: $7 = invalid type                          -- dollar7: $7 = invalid type
6147                  end                  end
6148    
         make_vhpr3b (a_class: ET_CLASS; a_type: ET_BIT_N)  
                         -- Create a new VHPR-3 error: invalid type `a_type'  
                         -- in parent clause of `a_class'.  
                         --  
                         -- ETR: ?  
                 require  
                         a_class_not_void: a_class /= Void  
                         a_class_preparsed: a_class.is_preparsed  
                         a_type_not_void: a_type /= Void  
                 do  
                         current_class := a_class  
                         class_impl := a_class  
                         position := a_type.position  
                         code := template_code (vhpr3b_template_code)  
                         etl_code := vhpr3_etl_code  
                         default_template := default_message_template (vhpr3b_default_template)  
                         create parameters.make_filled (empty_string, 1, 7)  
                         parameters.put (etl_code, 1)  
                         parameters.put (filename, 2)  
                         parameters.put (position.line.out, 3)  
                         parameters.put (position.column.out, 4)  
                         parameters.put (current_class.upper_name, 5)  
                         parameters.put (class_impl.upper_name, 6)  
                         parameters.put (a_type.to_text, 7)  
                         set_compilers (True)  
                 ensure  
                         current_class_set: current_class = a_class  
                         class_impl_set: class_impl = a_class  
                         all_reported: all_reported  
                         all_fatal: all_fatal  
                         -- dollar0: $0 = program name  
                         -- dollar1: $1 = ETL code  
                         -- dollar2: $2 = filename  
                         -- dollar3: $3 = line  
                         -- dollar4: $4 = column  
                         -- dollar5: $5 = class name  
                         -- dollar6: $6 = implementation class name  
                         -- dollar7: $7 = invalid type  
                 end  
   
         make_vhpr3c (a_class: ET_CLASS; a_type: ET_LIKE_TYPE)  
                         -- Create a new VHPR-3 error: invalid type `a_type'  
                         -- in parent clause of `a_class'.  
                         --  
                         -- ETR: ?  
                 require  
                         a_class_not_void: a_class /= Void  
                         a_class_preparsed: a_class.is_preparsed  
                         a_type_not_void: a_type /= Void  
                 do  
                         current_class := a_class  
                         class_impl := a_class  
                         position := a_type.position  
                         code := template_code (vhpr3c_template_code)  
                         etl_code := vhpr3_etl_code  
                         default_template := default_message_template (vhpr3c_default_template)  
                         create parameters.make_filled (empty_string, 1, 7)  
                         parameters.put (etl_code, 1)  
                         parameters.put (filename, 2)  
                         parameters.put (position.line.out, 3)  
                         parameters.put (position.column.out, 4)  
                         parameters.put (current_class.upper_name, 5)  
                         parameters.put (class_impl.upper_name, 6)  
                         parameters.put (a_type.to_text, 7)  
                         set_compilers (True)  
                 ensure  
                         current_class_set: current_class = a_class  
                         class_impl_set: class_impl = a_class  
                         all_reported: all_reported  
                         all_fatal: all_fatal  
                         -- dollar0: $0 = program name  
                         -- dollar1: $1 = ETL code  
                         -- dollar2: $2 = filename  
                         -- dollar3: $3 = line  
                         -- dollar4: $4 = column  
                         -- dollar5: $5 = class name  
                         -- dollar6: $6 = implementation class name  
                         -- dollar7: $7 = invalid type  
                 end  
   
6149          make_vhrc1a (a_class: ET_CLASS; a_parent: ET_PARENT; a_rename: ET_RENAME)          make_vhrc1a (a_class: ET_CLASS; a_parent: ET_PARENT; a_rename: ET_RENAME)
6150                          -- Create a new VHRC-1 error: the feature name appearing as first                          -- Create a new VHRC-1 error: the feature name appearing as first
6151                          -- element of the Rename_pair `a_rename' in Parent clause                          -- element of the Rename_pair `a_rename' in Parent clause
# Line 9260  feature {NONE} -- Initialization Line 9090  feature {NONE} -- Initialization
9090                          -- dollar8: $8 = type                          -- dollar8: $8 = type
9091                  end                  end
9092    
         make_vqmc6a (a_class, a_class_impl: ET_CLASS; an_attribute: ET_CONSTANT_ATTRIBUTE)  
                         -- Create a new VQMC-6 error: `an_attribute', declared in `a_class_impl, introduces  
                         -- a bit constant but its type is not a Bit_type when viewed from one of its  
                         -- descendants `a_class' (possibly itself).  
                         --  
                         -- ETL2: p.264  
                 require  
                         a_class_not_void: a_class /= Void  
                         a_class_impl_not_void: a_class_impl /= Void  
                         a_class_impl_preparsed: a_class_impl.is_preparsed  
                         an_attribute_not_void: an_attribute /= Void  
                         bit_constant: an_attribute.constant.is_bit_constant  
                 do  
                         current_class := a_class  
                         class_impl := a_class_impl  
                         position := an_attribute.type.position  
                         code := template_code (vqmc6a_template_code)  
                         etl_code := vqmc6_etl_code  
                         default_template := default_message_template (vqmc6a_default_template)  
                         create parameters.make_filled (empty_string, 1, 8)  
                         parameters.put (etl_code, 1)  
                         parameters.put (filename, 2)  
                         parameters.put (position.line.out, 3)  
                         parameters.put (position.column.out, 4)  
                         parameters.put (current_class.upper_name, 5)  
                         parameters.put (class_impl.upper_name, 6)  
                         parameters.put (an_attribute.lower_name, 7)  
                         parameters.put (an_attribute.type.to_text, 8)  
                         set_compilers (True)  
                 ensure  
                         current_class_set: current_class = a_class  
                         class_impl_set: class_impl = a_class_impl  
                         all_reported: all_reported  
                         all_fatal: all_fatal  
                         -- dollar0: $0 = program name  
                         -- dollar1: $1 = ETL code  
                         -- dollar2: $2 = filename  
                         -- dollar3: $3 = line  
                         -- dollar4: $4 = column  
                         -- dollar5: $5 = class name  
                         -- dollar6: $6 = implementation class name  
                         -- dollar7: $7 = feature name  
                         -- dollar8: $8 = type  
                 end  
   
9093          make_vqui0a (a_class, a_class_impl: ET_CLASS; a_unique: ET_UNIQUE_ATTRIBUTE)          make_vqui0a (a_class, a_class_impl: ET_CLASS; a_unique: ET_UNIQUE_ATTRIBUTE)
9094                          -- Create a new VQUI error: the type of `a_unique', declared in `a_class_impl', is                          -- Create a new VQUI error: the type of `a_unique', declared in `a_class_impl', is
9095                          -- not "INTEGER" when viewed from one of its descendants `a_class' (possibly itself).                          -- not "INTEGER" when viewed from one of its descendants `a_class' (possibly itself).
# Line 10271  feature {NONE} -- Initialization Line 10056  feature {NONE} -- Initialization
10056                          -- dollar8: $8 = anchor name                          -- dollar8: $8 = anchor name
10057                  end                  end
10058    
         make_vtbt0a (a_class: ET_CLASS; a_type: ET_BIT_FEATURE)  
                         -- Create a new VTBT error: the identifier in Bit_type  
                         -- must be the final name of a constant attribute of  
                         -- type INTEGER.  
                         --  
                         -- ETL2: p.210  
                 require  
                         a_class_not_void: a_class /= Void  
                         a_class_preparsed: a_class.is_preparsed  
                         a_type_not_void: a_type /= Void  
                 do  
                         current_class := a_class  
                         class_impl := a_class  
                         position := a_type.position  
                         code := template_code (vtbt0a_template_code)  
                         etl_code := vtbt_etl_code  
                         default_template := default_message_template (vtbt0a_default_template)  
                         create parameters.make_filled (empty_string, 1, 8)  
                         parameters.put (etl_code, 1)  
                         parameters.put (filename, 2)  
                         parameters.put (position.line.out, 3)  
                         parameters.put (position.column.out, 4)  
                         parameters.put (current_class.upper_name, 5)  
                         parameters.put (class_impl.upper_name, 6)  
                         parameters.put (a_type.to_text, 7)  
                         parameters.put (a_type.name.lower_name, 8)  
                         set_compilers (True)  
                 ensure  
                         current_class_set: current_class = a_class  
                         class_impl_set: class_impl = a_class  
                         all_reported: all_reported  
                         all_fatal: all_fatal  
                         -- dollar0: $0 = program name  
                         -- dollar1: $1 = ETL code  
                         -- dollar2: $2 = filename  
                         -- dollar3: $3 = line  
                         -- dollar4: $4 = column  
                         -- dollar5: $5 = class name  
                         -- dollar6: $6 = implementation class name  
                         -- dollar7: $7 = invalid type  
                         -- dollar8: $8 = constant feature name  
                 end  
   
         make_vtbt0b (a_class: ET_CLASS; a_type: ET_BIT_FEATURE)  
                         -- Create a new VTBT error: the identifier in  
                         -- Bit_type must be the final name of a feature.  
                         --  
                         -- ETL2: p.210  
                 require  
                         a_class_not_void: a_class /= Void  
                         a_class_preparsed: a_class.is_preparsed  
                         a_type_not_void: a_type /= Void  
                 do  
                         current_class := a_class  
                         class_impl := a_class  
                         position := a_type.position  
                         code := template_code (vtbt0b_template_code)  
                         etl_code := vtbt_etl_code  
                         default_template := default_message_template (vtbt0b_default_template)  
                         create parameters.make_filled (empty_string, 1, 8)  
                         parameters.put (etl_code, 1)  
                         parameters.put (filename, 2)  
                         parameters.put (position.line.out, 3)  
                         parameters.put (position.column.out, 4)  
                         parameters.put (current_class.upper_name, 5)  
                         parameters.put (class_impl.upper_name, 6)  
                         parameters.put (a_type.to_text, 7)  
                         parameters.put (a_type.name.lower_name, 8)  
                         set_compilers (True)  
                 ensure  
                         current_class_set: current_class = a_class  
                         class_impl_set: class_impl = a_class  
                         all_reported: all_reported  
                         all_fatal: all_fatal  
                         -- dollar0: $0 = program name  
                         -- dollar1: $1 = ETL code  
                         -- dollar2: $2 = filename  
                         -- dollar3: $3 = line  
                         -- dollar4: $4 = column  
                         -- dollar5: $5 = class name  
                         -- dollar6: $6 = implementation class name  
                         -- dollar7: $7 = invalid type  
                         -- dollar8: $8 = constant feature name  
                 end  
   
         make_vtbt0c (a_class: ET_CLASS; a_type: ET_BIT_TYPE)  
                         -- Create a new VTBT error: size for Bit_type must  
                         -- be a positive integer constant.  
                         --  
                         -- ETL2: p.210  
                         -- ETR: p.47  
                 require  
                         a_class_not_void: a_class /= Void  
                         a_class_preparsed: a_class.is_preparsed  
                         a_type_not_void: a_type /= Void  
                 do  
                         current_class := a_class  
                         class_impl := a_class  
                         position := a_type.position  
                         code := template_code (vtbt0c_template_code)  
                         etl_code := vtbt_etl_code  
                         default_template := default_message_template (vtbt0c_default_template)  
                         create parameters.make_filled (empty_string, 1, 7)  
                         parameters.put (etl_code, 1)  
                         parameters.put (filename, 2)  
                         parameters.put (position.line.out, 3)  
                         parameters.put (position.column.out, 4)  
                         parameters.put (current_class.upper_name, 5)  
                         parameters.put (class_impl.upper_name, 6)  
                         parameters.put (a_type.to_text, 7)  
                         set_compilers (True)  
                 ensure  
                         current_class_set: current_class = a_class  
                         class_impl_set: class_impl = a_class  
                         all_reported: all_reported  
                         all_fatal: all_fatal  
                         -- dollar0: $0 = program name  
                         -- dollar1: $1 = ETL code  
                         -- dollar2: $2 = filename  
                         -- dollar3: $3 = line  
                         -- dollar4: $4 = column  
                         -- dollar5: $5 = class name  
                         -- dollar6: $6 = implementation class name  
                         -- dollar7: $7 = invalid type  
                 end  
   
         make_vtbt0d (a_class: ET_CLASS; a_type: ET_BIT_TYPE)  
                         -- Create a new VTBT error: size for Bit_type must  
                         -- be a positive integer constant but it is actually  
                         -- equal to -0.  
                         --  
                         -- ETL2: p.210  
                         -- ETR: p.47  
                 require  
                         a_class_not_void: a_class /= Void  
                         a_class_preparsed: a_class.is_preparsed  
                         a_type_not_void: a_type /= Void  
                 do  
                         current_class := a_class  
                         class_impl := a_class  
                         position := a_type.position  
                         code := template_code (vtbt0d_template_code)  
                         etl_code := vtbt_etl_code  
                         default_template := default_message_template (vtbt0d_default_template)  
                         create parameters.make_filled (empty_string, 1, 7)  
                         parameters.put (etl_code, 1)  
                         parameters.put (filename, 2)  
                         parameters.put (position.line.out, 3)  
                         parameters.put (position.column.out, 4)  
                         parameters.put (current_class.upper_name, 5)  
                         parameters.put (class_impl.upper_name, 6)  
                         parameters.put (a_type.to_text, 7)  
                         set_compilers (True)  
                 ensure  
                         current_class_set: current_class = a_class  
                         class_impl_set: class_impl = a_class  
                         all_reported: all_reported  
                         all_fatal: all_fatal  
                         -- dollar0: $0 = program name  
                         -- dollar1: $1 = ETL code  
                         -- dollar2: $2 = filename  
                         -- dollar3: $3 = line  
                         -- dollar4: $4 = column  
                         -- dollar5: $5 = class name  
                         -- dollar6: $6 = implementation class name  
                         -- dollar7: $7 = invalid type  
                 end  
   
10059          make_vtcg3a (a_class, a_class_impl: ET_CLASS; a_type: ET_CLASS_TYPE; an_actual, a_constraint: ET_TYPE)          make_vtcg3a (a_class, a_class_impl: ET_CLASS; a_type: ET_CLASS_TYPE; an_actual, a_constraint: ET_TYPE)
10060                          -- Create a new VTCG-3 error: actual generic paramater `an_actual'                          -- Create a new VTCG-3 error: actual generic paramater `an_actual'
10061                          -- of `a_type' appearing in `a_class_impl' and viewed from one of                          -- of `a_type' appearing in `a_class_impl' and viewed from one of
# Line 12385  feature {NONE} -- Initialization Line 12002  feature {NONE} -- Initialization
12002                          -- dollar8: $8 = ancestor2                          -- dollar8: $8 = ancestor2
12003                  end                  end
12004    
         make_gvhpr4a (a_class: ET_CLASS; a_parent: ET_BIT_N)  
                         -- Create a new GVHPR-4 error: cannot inherit from Bit_type.  
                         --  
                         -- Not in ETL as validity error but as syntax error  
                         -- GVHPR-4: See ETL2 VHPR  
                 require  
                         a_class_not_void: a_class /= Void  
                         a_class_preparsed: a_class.is_preparsed  
                         a_parent_not_void: a_parent /= Void  
                 do  
                         current_class := a_class  
                         class_impl := a_class  
                         position := a_parent.position  
                         code := template_code (gvhpr4a_template_code)  
                         etl_code := gvhpr4_etl_code  
                         default_template := default_message_template (gvhpr4a_default_template)  
                         create parameters.make_filled (empty_string, 1, 7)  
                         parameters.put (etl_code, 1)  
                         parameters.put (filename, 2)  
                         parameters.put (position.line.out, 3)  
                         parameters.put (position.column.out, 4)  
                         parameters.put (current_class.upper_name, 5)  
                         parameters.put (class_impl.upper_name, 6)  
                         parameters.put (a_parent.position.to_text, 7)  
                         set_compilers (True)  
                 ensure  
                         current_class_set: current_class = a_class  
                         class_impl_set: class_impl = a_class  
                         all_reported: all_reported  
                         all_fatal: all_fatal  
                         -- dollar0: $0 = program name  
                         -- dollar1: $1 = ETL code  
                         -- dollar2: $2 = filename  
                         -- dollar3: $3 = line  
                         -- dollar4: $4 = column  
                         -- dollar5: $5 = class name  
                         -- dollar6: $6 = implementation class name  
                         -- dollar7: $7 = parent  
                 end  
   
12005          make_gvhpr5a (a_class: ET_CLASS; a_parent: ET_TUPLE_TYPE)          make_gvhpr5a (a_class: ET_CLASS; a_parent: ET_TUPLE_TYPE)
12006                          -- Create a new GVHPR-5 error: cannot inherit from Tuple_type.                          -- Create a new GVHPR-5 error: cannot inherit from Tuple_type.
12007                          --                          --
# Line 14134  feature {NONE} -- Implementation Line 13711  feature {NONE} -- Implementation
13711          vcfg1a_default_template: STRING = "formal generic parameter '$7' has the same name as a class in the surrounding universe."          vcfg1a_default_template: STRING = "formal generic parameter '$7' has the same name as a class in the surrounding universe."
13712          vcfg2a_default_template: STRING = "'$7' is the name of formal generic parameters #$7 and #$8."          vcfg2a_default_template: STRING = "'$7' is the name of formal generic parameters #$7 and #$8."
13713          vcfg3a_default_template: STRING = "invalid type '$7' in constraint of formal generic parameter."          vcfg3a_default_template: STRING = "invalid type '$7' in constraint of formal generic parameter."
13714          vcfg3b_default_template: STRING = "invalid type '$7' in constraint of formal generic parameter."          vcfg3b_default_template: STRING = "constraint of formal generic parameter '$7' is '$8' itself."
13715          vcfg3c_default_template: STRING = "invalid type '$7' in constraint of formal generic parameter."          vcfg3c_default_template: STRING = "constraint of formal generic parameter '$7' is another formal generic parameter '$8'."
13716          vcfg3d_default_template: STRING = "constraint of formal generic parameter '$7' is '$8' itself."          vcfg3e_default_template: STRING = "formal generic constraint cycle $7."
13717          vcfg3e_default_template: STRING = "constraint of formal generic parameter '$7' is another formal generic parameter '$8'."          vcfg3f_default_template: STRING = "constraint of formal generic parameter '$7' contains '$8' itself."
13718          vcfg3g_default_template: STRING = "formal generic constraint cycle $7."          vcfg3h_default_template: STRING = "formal generic constraint cycle $7."
         vcfg3h_default_template: STRING = "constraint of formal generic parameter '$7' contains '$8' itself."  
         vcfg3j_default_template: STRING = "formal generic constraint cycle $7."  
13719          vdjr0a_default_template: STRING = "joined deferred features `$7' inherited from $8 and $9 don't have the same signature. Different number of arguments."          vdjr0a_default_template: STRING = "joined deferred features `$7' inherited from $8 and $9 don't have the same signature. Different number of arguments."
13720          vdjr0b_default_template: STRING = "joined deferred features `$7' inherited from $8 and $9 don't have the same signature. Type of argument number $10 differs."          vdjr0b_default_template: STRING = "joined deferred features `$7' inherited from $8 and $9 don't have the same signature. Type of argument number $10 differs."
13721          vdjr0c_default_template: STRING = "joined deferred features `$7' inherited from $8 and $9 don't have the same signature. Type of result differs."          vdjr0c_default_template: STRING = "joined deferred features `$7' inherited from $8 and $9 don't have the same signature. Type of result differs."
# Line 14249  feature {NONE} -- Implementation Line 13824  feature {NONE} -- Implementation
13824          vhpr1a_default_template: STRING = "inheritance cycle $7."          vhpr1a_default_template: STRING = "inheritance cycle $7."
13825          vhpr1b_default_template: STRING = "inheritance cycle when inheriting from $7."          vhpr1b_default_template: STRING = "inheritance cycle when inheriting from $7."
13826          vhpr3a_default_template: STRING = "invalid type '$7' in parent clause."          vhpr3a_default_template: STRING = "invalid type '$7' in parent clause."
         vhpr3b_default_template: STRING = "invalid type '$7' in parent clause."  
         vhpr3c_default_template: STRING = "invalid type '$7' in parent clause."  
13827          vhrc1a_default_template: STRING = "`$7' is not the final name of a feature in $8."          vhrc1a_default_template: STRING = "`$7' is not the final name of a feature in $8."
13828          vhrc2a_default_template: STRING = "feature name `$7' appears as first element of two Rename_pairs."          vhrc2a_default_template: STRING = "feature name `$7' appears as first element of two Rename_pairs."
13829          vhrc4a_default_template: STRING = "`$7' is of the Prefix form but `$8' in $9 is not an attribute nor a function with no argument."          vhrc4a_default_template: STRING = "`$7' is of the Prefix form but `$8' in $9 is not an attribute nor a function with no argument."
# Line 14314  feature {NONE} -- Implementation Line 13887  feature {NONE} -- Implementation
13887          vqmc3b_default_template: STRING = "integer value '$9' in constant attribute `$7' is not representable as an instance of '$8'."          vqmc3b_default_template: STRING = "integer value '$9' in constant attribute `$7' is not representable as an instance of '$8'."
13888          vqmc4a_default_template: STRING = "real constant attribute `$7' is not declared of type REAL or DOUBLE."          vqmc4a_default_template: STRING = "real constant attribute `$7' is not declared of type REAL or DOUBLE."
13889          vqmc5a_default_template: STRING = "string constant attribute `$7' is not declared of type STRING."          vqmc5a_default_template: STRING = "string constant attribute `$7' is not declared of type STRING."
         vqmc6a_default_template: STRING = "bit constant attribute `$7' is not declared of Bit_type."  
13890          vqui0a_default_template: STRING = "unique attribute `$7' is not declared of type INTEGER."          vqui0a_default_template: STRING = "unique attribute `$7' is not declared of type INTEGER."
13891          vred0a_default_template: STRING = "argument name '$7' appear twice in feature `$8'."          vred0a_default_template: STRING = "argument name '$7' appear twice in feature `$8'."
13892          vred0b_default_template: STRING = "local variable name '$7' appear twice in feature `$8'."          vred0b_default_template: STRING = "local variable name '$7' appear twice in feature `$8'."
# Line 14335  feature {NONE} -- Implementation Line 13907  feature {NONE} -- Implementation
13907          vtat1c_default_template: STRING = "invalid type '$7': the anchor `$8' must be the final name of a query in class $9."          vtat1c_default_template: STRING = "invalid type '$7': the anchor `$8' must be the final name of a query in class $9."
13908          vtat2a_default_template: STRING = "anchor cycle $7."          vtat2a_default_template: STRING = "anchor cycle $7."
13909          vtat2b_default_template: STRING = "invalid type '$7' when part of a qualified anchored type: the type of anchor `$8' must not depend (possibly recursively) on a qualified anchored type."          vtat2b_default_template: STRING = "invalid type '$7' when part of a qualified anchored type: the type of anchor `$8' must not depend (possibly recursively) on a qualified anchored type."
         vtbt0a_default_template: STRING = "invalid type '$7': `$8' is not the final name of a constant attribute of type INTEGER."  
         vtbt0b_default_template: STRING = "invalid type '$7': `$8' is not the final name of a feature."  
         vtbt0c_default_template: STRING = "invalid type '$7': bit size must be a positive integer constant."  
         vtbt0d_default_template: STRING = "invalid type '$7': bit size must be a positive integer constant."  
13910          vtcg3a_default_template: STRING = "actual generic parameter '$7' in type '$9' does not conform to constraint '$8'."          vtcg3a_default_template: STRING = "actual generic parameter '$7' in type '$9' does not conform to constraint '$8'."
13911          vtcg4a_default_template: STRING = "base class $9 of the $7-th actual generic parameter of $10 does not make feature `$8' available as creation procedure to class $10."          vtcg4a_default_template: STRING = "base class $9 of the $7-th actual generic parameter of $10 does not make feature `$8' available as creation procedure to class $10."
13912          vtcg4b_default_template: STRING = "the $7-th actual generic parameter of $10, which is the $9-th formal generic parameter of class $5, does not list feature `$8' as creation procedure in its generic constraint."          vtcg4b_default_template: STRING = "the $7-th actual generic parameter of $10, which is the $9-th formal generic parameter of class $5, does not list feature `$8' as creation procedure in its generic constraint."
# Line 14383  feature {NONE} -- Implementation Line 13951  feature {NONE} -- Implementation
13951          vwst2a_default_template: STRING = "feature name `$7' appears twice in strip expression."          vwst2a_default_template: STRING = "feature name `$7' appears twice in strip expression."
13952          vxrt0a_default_template: STRING = "Retry instruction does not appear in a Rescue clause."          vxrt0a_default_template: STRING = "Retry instruction does not appear in a Rescue clause."
13953          gvagp0a_default_template: STRING = "ancestors with generic parameter mismatch: '$7' and '$8'."          gvagp0a_default_template: STRING = "ancestors with generic parameter mismatch: '$7' and '$8'."
         gvhpr4a_default_template: STRING = "cannot inherit from Bit_type '$7'."  
13954          gvhpr5a_default_template: STRING = "cannot inherit from Tuple_type '$7'."          gvhpr5a_default_template: STRING = "cannot inherit from Tuple_type '$7'."
13955          gvhso1a_default_template: STRING = "implicitly inherits from unknown class SYSTEM_OBJECT."          gvhso1a_default_template: STRING = "implicitly inherits from unknown class SYSTEM_OBJECT."
13956          gvhso2a_default_template: STRING = "implicitly inherits from class SYSTEM_OBJECT but SYSTEM_OBJECT is not a .NET class."          gvhso2a_default_template: STRING = "implicitly inherits from class SYSTEM_OBJECT but SYSTEM_OBJECT is not a .NET class."
# Line 14526  feature {NONE} -- Implementation Line 14093  feature {NONE} -- Implementation
14093          vrlv2_etl_code: STRING = "VRLV-2"          vrlv2_etl_code: STRING = "VRLV-2"
14094          vtat1_etl_code: STRING = "VTAT-1"          vtat1_etl_code: STRING = "VTAT-1"
14095          vtat2_etl_code: STRING = "VTAT-2"          vtat2_etl_code: STRING = "VTAT-2"
         vtbt_etl_code: STRING = "VTBT"  
14096          vtcg3_etl_code: STRING = "VTCG-3"          vtcg3_etl_code: STRING = "VTCG-3"
14097          vtcg4_etl_code: STRING = "VTCG-4"          vtcg4_etl_code: STRING = "VTCG-4"
14098          vtct_etl_code: STRING = "VTCT"          vtct_etl_code: STRING = "VTCT"
# Line 14609  feature {NONE} -- Implementation Line 14175  feature {NONE} -- Implementation
14175          vcfg3a_template_code: STRING = "vcfg3a"          vcfg3a_template_code: STRING = "vcfg3a"
14176          vcfg3b_template_code: STRING = "vcfg3b"          vcfg3b_template_code: STRING = "vcfg3b"
14177          vcfg3c_template_code: STRING = "vcfg3c"          vcfg3c_template_code: STRING = "vcfg3c"
         vcfg3d_template_code: STRING = "vcfg3d"  
14178          vcfg3e_template_code: STRING = "vcfg3e"          vcfg3e_template_code: STRING = "vcfg3e"
14179          vcfg3g_template_code: STRING = "vcfg3g"          vcfg3f_template_code: STRING = "vcfg3f"
14180          vcfg3h_template_code: STRING = "vcfg3h"          vcfg3h_template_code: STRING = "vcfg3h"
         vcfg3j_template_code: STRING = "vcfg3j"  
14181          vdjr0a_template_code: STRING = "vdjr0a"          vdjr0a_template_code: STRING = "vdjr0a"
14182          vdjr0b_template_code: STRING = "vdjr0b"          vdjr0b_template_code: STRING = "vdjr0b"
14183          vdjr0c_template_code: STRING = "vdjr0c"          vdjr0c_template_code: STRING = "vdjr0c"
# Line 14722  feature {NONE} -- Implementation Line 14286  feature {NONE} -- Implementation
14286          vhpr1a_template_code: STRING = "vhpr1a"          vhpr1a_template_code: STRING = "vhpr1a"
14287          vhpr1b_template_code: STRING = "vhpr1b"          vhpr1b_template_code: STRING = "vhpr1b"
14288          vhpr3a_template_code: STRING = "vhpr3a"          vhpr3a_template_code: STRING = "vhpr3a"
         vhpr3b_template_code: STRING = "vhpr3b"  
         vhpr3c_template_code: STRING = "vhpr3c"  
14289          vhrc1a_template_code: STRING = "vhrc1a"          vhrc1a_template_code: STRING = "vhrc1a"
14290          vhrc2a_template_code: STRING = "vhrc2a"          vhrc2a_template_code: STRING = "vhrc2a"
14291          vhrc4a_template_code: STRING = "vhrc4a"          vhrc4a_template_code: STRING = "vhrc4a"
# Line 14787  feature {NONE} -- Implementation Line 14349  feature {NONE} -- Implementation
14349          vqmc3b_template_code: STRING = "vqmc3b"          vqmc3b_template_code: STRING = "vqmc3b"
14350          vqmc4a_template_code: STRING = "vqmc4a"          vqmc4a_template_code: STRING = "vqmc4a"
14351          vqmc5a_template_code: STRING = "vqmc5a"          vqmc5a_template_code: STRING = "vqmc5a"
         vqmc6a_template_code: STRING = "vqmc6a"  
14352          vqui0a_template_code: STRING = "vqui0a"          vqui0a_template_code: STRING = "vqui0a"
14353          vred0a_template_code: STRING = "vred0a"          vred0a_template_code: STRING = "vred0a"
14354          vred0b_template_code: STRING = "vred0b"          vred0b_template_code: STRING = "vred0b"
# Line 14808  feature {NONE} -- Implementation Line 14369  feature {NONE} -- Implementation
14369          vtat1c_template_code: STRING = "vtat1c"          vtat1c_template_code: STRING = "vtat1c"
14370          vtat2a_template_code: STRING = "vtat2a"          vtat2a_template_code: STRING = "vtat2a"
14371          vtat2b_template_code: STRING = "vtat2b"          vtat2b_template_code: STRING = "vtat2b"
         vtbt0a_template_code: STRING = "vtbt0a"  
         vtbt0b_template_code: STRING = "vtbt0b"  
         vtbt0c_template_code: STRING = "vtbt0c"  
         vtbt0d_template_code: STRING = "vtbt0d"  
14372          vtcg3a_template_code: STRING = "vtcg3a"          vtcg3a_template_code: STRING = "vtcg3a"
14373          vtcg4a_template_code: STRING = "vtcg4a"          vtcg4a_template_code: STRING = "vtcg4a"
14374          vtcg4b_template_code: STRING = "vtcg4b"          vtcg4b_template_code: STRING = "vtcg4b"
# Line 14856  feature {NONE} -- Implementation Line 14413  feature {NONE} -- Implementation
14413          vwst2a_template_code: STRING = "vwst2a"          vwst2a_template_code: STRING = "vwst2a"
14414          vxrt0a_template_code: STRING = "vxrt0a"          vxrt0a_template_code: STRING = "vxrt0a"
14415          gvagp0a_template_code: STRING = "gvagp0a"          gvagp0a_template_code: STRING = "gvagp0a"
         gvhpr4a_template_code: STRING = "gvhpr4a"  
14416          gvhpr5a_template_code: STRING = "gvhpr5a"          gvhpr5a_template_code: STRING = "gvhpr5a"
14417          gvhso1a_template_code: STRING = "gvhso1a"          gvhso1a_template_code: STRING = "gvhso1a"
14418          gvhso2a_template_code: STRING = "gvhso2a"          gvhso2a_template_code: STRING = "gvhso2a"

Legend:
Removed from v.98697  
changed lines
  Added in v.98698

  ViewVC Help
Powered by ViewVC 1.1.23