1
2
3
4
5
6 package com.unitesk.atp.treedl;
7
8 public class Message extends com.unitesk.atp.tree.TreeClass
9 {
10 public abstract static class TDL_Message implements com.unitesk.atp.messages.Message
11 {
12
13
14
15 public
16 TDL_Message()
17 {
18 super();
19
20 }
21
22 public Class keyClass()
23 {
24 return Message.class;
25 }
26 }
27
28 public abstract static class FileMessage extends TDL_Message
29 {
30
31
32
33 private java.io.File file;
34
35 public java.io.File getFile()
36 {
37 return file;
38 }
39
40 public void setFile( java.io.File file )
41 {
42 if( file == null )
43 {
44 throw new java.lang.IllegalArgumentException( "file == null" );
45 }
46
47 this.file = file;
48 }
49
50
51
52 public
53 FileMessage
54 ( java.io.File file )
55 {
56 super();
57
58 setFile( file );
59 }
60 }
61
62 public abstract static class FilePositionMessage extends FileMessage
63 {
64
65
66
67 private com.unitesk.atp.text.location.Position position;
68
69 public com.unitesk.atp.text.location.Position getPosition()
70 {
71 return position;
72 }
73
74 public void setPosition( com.unitesk.atp.text.location.Position position )
75 {
76 if( position == null )
77 {
78 throw new java.lang.IllegalArgumentException( "position == null" );
79 }
80
81 this.position = position;
82 }
83
84
85
86 public
87 FilePositionMessage
88 ( java.io.File file
89 , com.unitesk.atp.text.location.Position position
90 )
91 {
92 super
93 ( file );
94
95 setPosition( position );
96 }
97 }
98
99 public static class UnsupportedVersion extends FileMessage
100 {
101
102
103
104 private int major;
105
106 public int getMajor()
107 {
108 return major;
109 }
110
111 public void setMajor( int major )
112 {
113 this.major = major;
114 }
115
116
117
118 private int minor;
119
120 public int getMinor()
121 {
122 return minor;
123 }
124
125 public void setMinor( int minor )
126 {
127 this.minor = minor;
128 }
129
130
131
132 private String current;
133
134 public String getCurrent()
135 {
136 return current;
137 }
138
139 public void setCurrent( String current )
140 {
141 if( current == null )
142 {
143 throw new java.lang.IllegalArgumentException( "current == null" );
144 }
145
146 this.current = current;
147 }
148
149
150
151 public
152 UnsupportedVersion
153 ( java.io.File file
154 , int major
155 , int minor
156 , String current
157 )
158 {
159 super
160 ( file );
161
162 setMajor( major );
163 setMinor( minor );
164 setCurrent( current );
165 }
166
167 public static final int KEY = 3;
168
169 public int key()
170 {
171 return KEY;
172 }
173 }
174
175 public static class SyntaxError extends FilePositionMessage
176 {
177
178
179
180 private String text;
181
182 public String getText()
183 {
184 return text;
185 }
186
187 public void setText( String text )
188 {
189 if( text == null )
190 {
191 throw new java.lang.IllegalArgumentException( "text == null" );
192 }
193
194 this.text = text;
195 }
196
197
198
199 public
200 SyntaxError
201 ( java.io.File file
202 , com.unitesk.atp.text.location.Position position
203 , String text
204 )
205 {
206 super
207 ( file
208 , position
209 );
210
211 setText( text );
212 }
213
214 public static final int KEY = 4;
215
216 public int key()
217 {
218 return KEY;
219 }
220 }
221
222 public static class CustomCodeAlreadyDefined extends FilePositionMessage
223 {
224
225
226
227 private String codeKind;
228
229 public String getCodeKind()
230 {
231 return codeKind;
232 }
233
234 public void setCodeKind( String codeKind )
235 {
236 if( codeKind == null )
237 {
238 throw new java.lang.IllegalArgumentException( "codeKind == null" );
239 }
240
241 this.codeKind = codeKind;
242 }
243
244
245
246 public
247 CustomCodeAlreadyDefined
248 ( java.io.File file
249 , com.unitesk.atp.text.location.Position position
250 , String codeKind
251 )
252 {
253 super
254 ( file
255 , position
256 );
257
258 setCodeKind( codeKind );
259 }
260
261 public static final int KEY = 5;
262
263 public int key()
264 {
265 return KEY;
266 }
267 }
268
269 public static class ModifierAlreadyDefined extends FilePositionMessage
270 {
271
272
273
274 private String modifier;
275
276 public String getModifier()
277 {
278 return modifier;
279 }
280
281 public void setModifier( String modifier )
282 {
283 if( modifier == null )
284 {
285 throw new java.lang.IllegalArgumentException( "modifier == null" );
286 }
287
288 this.modifier = modifier;
289 }
290
291
292
293 public
294 ModifierAlreadyDefined
295 ( java.io.File file
296 , com.unitesk.atp.text.location.Position position
297 , String modifier
298 )
299 {
300 super
301 ( file
302 , position
303 );
304
305 setModifier( modifier );
306 }
307
308 public static final int KEY = 6;
309
310 public int key()
311 {
312 return KEY;
313 }
314 }
315
316 /***
317 * Имена всех членов модуля должны быть различны между собой.
318 */
319 public static class ModuleMemberAlreadyDefined extends FilePositionMessage
320 {
321
322
323
324 private String name;
325
326 public String getName()
327 {
328 return name;
329 }
330
331 public void setName( String name )
332 {
333 if( name == null )
334 {
335 throw new java.lang.IllegalArgumentException( "name == null" );
336 }
337
338 this.name = name;
339 }
340
341
342
343 private com.unitesk.atp.text.location.Position prevPosition;
344
345 public com.unitesk.atp.text.location.Position getPrevPosition()
346 {
347 return prevPosition;
348 }
349
350 public void setPrevPosition( com.unitesk.atp.text.location.Position prevPosition )
351 {
352 if( prevPosition == null )
353 {
354 throw new java.lang.IllegalArgumentException( "prevPosition == null" );
355 }
356
357 this.prevPosition = prevPosition;
358 }
359
360
361
362 public
363 ModuleMemberAlreadyDefined
364 ( java.io.File file
365 , com.unitesk.atp.text.location.Position position
366 , String name
367 , com.unitesk.atp.text.location.Position prevPosition
368 )
369 {
370 super
371 ( file
372 , position
373 );
374
375 setName( name );
376 setPrevPosition( prevPosition );
377 }
378
379 public static final int KEY = 7;
380
381 public int key()
382 {
383 return KEY;
384 }
385 }
386
387 /***
388 * Имена всех членов модуля должны отличаться от имени абстрактного базового типа всех вершин Node.
389 */
390 public static class ReservedNameNode extends FilePositionMessage
391 {
392
393
394
395 public
396 ReservedNameNode
397 ( java.io.File file
398 , com.unitesk.atp.text.location.Position position
399 )
400 {
401 super
402 ( file
403 , position
404 );
405
406 }
407
408 public static final int KEY = 8;
409
410 public int key()
411 {
412 return KEY;
413 }
414 }
415
416 /***
417 * В модуле описания структуры может быть определено не более одного типа вершин с модификатором root.
418 */
419 public static class RootNodeTypeAlreadyDefined extends FilePositionMessage
420 {
421
422
423
424 private com.unitesk.atp.text.location.Position prevPosition;
425
426 public com.unitesk.atp.text.location.Position getPrevPosition()
427 {
428 return prevPosition;
429 }
430
431 public void setPrevPosition( com.unitesk.atp.text.location.Position prevPosition )
432 {
433 if( prevPosition == null )
434 {
435 throw new java.lang.IllegalArgumentException( "prevPosition == null" );
436 }
437
438 this.prevPosition = prevPosition;
439 }
440
441
442
443 public
444 RootNodeTypeAlreadyDefined
445 ( java.io.File file
446 , com.unitesk.atp.text.location.Position position
447 , com.unitesk.atp.text.location.Position prevPosition
448 )
449 {
450 super
451 ( file
452 , position
453 );
454
455 setPrevPosition( prevPosition );
456 }
457
458 public static final int KEY = 9;
459
460 public int key()
461 {
462 return KEY;
463 }
464 }
465
466 /***
467 * Все базовые модули должны быть доступны.
468 */
469 public static class BaseModuleNotFound extends FilePositionMessage
470 {
471
472
473
474 private String name;
475
476 public String getName()
477 {
478 return name;
479 }
480
481 public void setName( String name )
482 {
483 if( name == null )
484 {
485 throw new java.lang.IllegalArgumentException( "name == null" );
486 }
487
488 this.name = name;
489 }
490
491
492
493 public
494 BaseModuleNotFound
495 ( java.io.File file
496 , com.unitesk.atp.text.location.Position position
497 , String name
498 )
499 {
500 super
501 ( file
502 , position
503 );
504
505 setName( name );
506 }
507
508 public static final int KEY = 10;
509
510 public int key()
511 {
512 return KEY;
513 }
514 }
515
516 /***
517 * Значение свойства treedl.language базового модуля не должно быть установлено или должно совпадать со значением этого свойства текущего модуля.
518 */
519 public static class IncompatibleBaseModuleLanguage extends FilePositionMessage
520 {
521
522
523
524 private String language;
525
526 public String getLanguage()
527 {
528 return language;
529 }
530
531 public void setLanguage( String language )
532 {
533 if( language == null )
534 {
535 throw new java.lang.IllegalArgumentException( "language == null" );
536 }
537
538 this.language = language;
539 }
540
541
542
543 private String baseLanguage;
544
545 public String getBaseLanguage()
546 {
547 return baseLanguage;
548 }
549
550 public void setBaseLanguage( String baseLanguage )
551 {
552 if( baseLanguage == null )
553 {
554 throw new java.lang.IllegalArgumentException( "baseLanguage == null" );
555 }
556
557 this.baseLanguage = baseLanguage;
558 }
559
560
561
562 private String baseName;
563
564 public String getBaseName()
565 {
566 return baseName;
567 }
568
569 public void setBaseName( String baseName )
570 {
571 if( baseName == null )
572 {
573 throw new java.lang.IllegalArgumentException( "baseName == null" );
574 }
575
576 this.baseName = baseName;
577 }
578
579
580
581 public
582 IncompatibleBaseModuleLanguage
583 ( java.io.File file
584 , com.unitesk.atp.text.location.Position position
585 , String language
586 , String baseLanguage
587 , String baseName
588 )
589 {
590 super
591 ( file
592 , position
593 );
594
595 setLanguage( language );
596 setBaseLanguage( baseLanguage );
597 setBaseName( baseName );
598 }
599
600 public static final int KEY = 11;
601
602 public int key()
603 {
604 return KEY;
605 }
606 }
607
608 /***
609 * Модуль не может быть указан в качестве базового более одного раза.
610 */
611 public static class BaseModuleAlreadyReferenced extends FilePositionMessage
612 {
613
614
615
616 private String name;
617
618 public String getName()
619 {
620 return name;
621 }
622
623 public void setName( String name )
624 {
625 if( name == null )
626 {
627 throw new java.lang.IllegalArgumentException( "name == null" );
628 }
629
630 this.name = name;
631 }
632
633
634
635 private com.unitesk.atp.text.location.Position prevPosition;
636
637 public com.unitesk.atp.text.location.Position getPrevPosition()
638 {
639 return prevPosition;
640 }
641
642 public void setPrevPosition( com.unitesk.atp.text.location.Position prevPosition )
643 {
644 if( prevPosition == null )
645 {
646 throw new java.lang.IllegalArgumentException( "prevPosition == null" );
647 }
648
649 this.prevPosition = prevPosition;
650 }
651
652
653
654 public
655 BaseModuleAlreadyReferenced
656 ( java.io.File file
657 , com.unitesk.atp.text.location.Position position
658 , String name
659 , com.unitesk.atp.text.location.Position prevPosition
660 )
661 {
662 super
663 ( file
664 , position
665 );
666
667 setName( name );
668 setPrevPosition( prevPosition );
669 }
670
671 public static final int KEY = 12;
672
673 public int key()
674 {
675 return KEY;
676 }
677 }
678
679 /***
680 * Ориентированный граф зависимостей модулей не может иметь циклов.
681 */
682 public static class ModuleCircularDependence extends FileMessage
683 {
684
685
686
687 private String name;
688
689 public String getName()
690 {
691 return name;
692 }
693
694 public void setName( String name )
695 {
696 if( name == null )
697 {
698 throw new java.lang.IllegalArgumentException( "name == null" );
699 }
700
701 this.name = name;
702 }
703
704
705
706 public
707 ModuleCircularDependence
708 ( java.io.File file
709 , String name
710 )
711 {
712 super
713 ( file );
714
715 setName( name );
716 }
717
718 public static final int KEY = 13;
719
720 public int key()
721 {
722 return KEY;
723 }
724 }
725
726 /***
727 * Все определенные в модуле синонимы должны быть различны.
728 */
729 public static class SynonymAlreadyDefined extends FilePositionMessage
730 {
731
732
733
734 private String name;
735
736 public String getName()
737 {
738 return name;
739 }
740
741 public void setName( String name )
742 {
743 if( name == null )
744 {
745 throw new java.lang.IllegalArgumentException( "name == null" );
746 }
747
748 this.name = name;
749 }
750
751
752
753 private com.unitesk.atp.text.location.Position prevPosition;
754
755 public com.unitesk.atp.text.location.Position getPrevPosition()
756 {
757 return prevPosition;
758 }
759
760 public void setPrevPosition( com.unitesk.atp.text.location.Position prevPosition )
761 {
762 if( prevPosition == null )
763 {
764 throw new java.lang.IllegalArgumentException( "prevPosition == null" );
765 }
766
767 this.prevPosition = prevPosition;
768 }
769
770
771
772 public
773 SynonymAlreadyDefined
774 ( java.io.File file
775 , com.unitesk.atp.text.location.Position position
776 , String name
777 , com.unitesk.atp.text.location.Position prevPosition
778 )
779 {
780 super
781 ( file
782 , position
783 );
784
785 setName( name );
786 setPrevPosition( prevPosition );
787 }
788
789 public static final int KEY = 14;
790
791 public int key()
792 {
793 return KEY;
794 }
795 }
796
797 /***
798 * Типы не могут образовывать циклы по наследованию.
799 */
800 public static class TypeCircularDependence extends FilePositionMessage
801 {
802
803
804
805 private String type;
806
807 public String getType()
808 {
809 return type;
810 }
811
812 public void setType( String type )
813 {
814 if( type == null )
815 {
816 throw new java.lang.IllegalArgumentException( "type == null" );
817 }
818
819 this.type = type;
820 }
821
822
823
824 private String name;
825
826 public String getName()
827 {
828 return name;
829 }
830
831 public void setName( String name )
832 {
833 if( name == null )
834 {
835 throw new java.lang.IllegalArgumentException( "name == null" );
836 }
837
838 this.name = name;
839 }
840
841
842
843 public
844 TypeCircularDependence
845 ( java.io.File file
846 , com.unitesk.atp.text.location.Position position
847 , String type
848 , String name
849 )
850 {
851 super
852 ( file
853 , position
854 );
855
856 setType( type );
857 setName( name );
858 }
859
860 public static final int KEY = 15;
861
862 public int key()
863 {
864 return KEY;
865 }
866 }
867
868 /***
869 * Базовым типом может быть только тип того же вида.
870 */
871 public static class IncompatibleBaseType extends FilePositionMessage
872 {
873
874
875
876 private String type;
877
878 public String getType()
879 {
880 return type;
881 }
882
883 public void setType( String type )
884 {
885 if( type == null )
886 {
887 throw new java.lang.IllegalArgumentException( "type == null" );
888 }
889
890 this.type = type;
891 }
892
893
894
895 private String name;
896
897 public String getName()
898 {
899 return name;
900 }
901
902 public void setName( String name )
903 {
904 if( name == null )
905 {
906 throw new java.lang.IllegalArgumentException( "name == null" );
907 }
908
909 this.name = name;
910 }
911
912
913
914 public
915 IncompatibleBaseType
916 ( java.io.File file
917 , com.unitesk.atp.text.location.Position position
918 , String type
919 , String name
920 )
921 {
922 super
923 ( file
924 , position
925 );
926
927 setType( type );
928 setName( name );
929 }
930
931 public static final int KEY = 16;
932
933 public int key()
934 {
935 return KEY;
936 }
937 }
938
939 /***
940 * Имена всех констант (включая унаследованные) должны быть различны между собой.
941 */
942 public static class ConstantAlreadyDefined extends FilePositionMessage
943 {
944
945
946
947 private String name;
948
949 public String getName()
950 {
951 return name;
952 }
953
954 public void setName( String name )
955 {
956 if( name == null )
957 {
958 throw new java.lang.IllegalArgumentException( "name == null" );
959 }
960
961 this.name = name;
962 }
963
964
965
966 public
967 ConstantAlreadyDefined
968 ( java.io.File file
969 , com.unitesk.atp.text.location.Position position
970 , String name
971 )
972 {
973 super
974 ( file
975 , position
976 );
977
978 setName( name );
979 }
980
981 public static final int KEY = 17;
982
983 public int key()
984 {
985 return KEY;
986 }
987 }
988
989 /***
990 * Тип вершин может быть определен только в модуле описания структуры дерева.
991 */
992 public static class NodeTypeCantBeInModule extends FilePositionMessage
993 {
994
995
996
997 public
998 NodeTypeCantBeInModule
999 ( java.io.File file
1000 , com.unitesk.atp.text.location.Position position
1001 )
1002 {
1003 super
1004 ( file
1005 , position
1006 );
1007
1008 }
1009
1010 public static final int KEY = 18;
1011
1012 public int key()
1013 {
1014 return KEY;
1015 }
1016 }
1017
1018 /***
1019 * Базовый тип абстрактного типа вершины должен быть абстрактным.
1020 */
1021 public static class AbstractBaseNodeRequired extends FilePositionMessage
1022 {
1023
1024
1025
1026 private String name;
1027
1028 public String getName()
1029 {
1030 return name;
1031 }
1032
1033 public void setName( String name )
1034 {
1035 if( name == null )
1036 {
1037 throw new java.lang.IllegalArgumentException( "name == null" );
1038 }
1039
1040 this.name = name;
1041 }
1042
1043
1044
1045 public
1046 AbstractBaseNodeRequired
1047 ( java.io.File file
1048 , com.unitesk.atp.text.location.Position position
1049 , String name
1050 )
1051 {
1052 super
1053 ( file
1054 , position
1055 );
1056
1057 setName( name );
1058 }
1059
1060 public static final int KEY = 19;
1061
1062 public int key()
1063 {
1064 return KEY;
1065 }
1066 }
1067
1068 /***
1069 * Имена всех членов типа вершин должны быть различны между собой.
1070 */
1071 public static class NodeMemberAlreadyDefined extends FilePositionMessage
1072 {
1073
1074
1075
1076 private String name;
1077
1078 public String getName()
1079 {
1080 return name;
1081 }
1082
1083 public void setName( String name )
1084 {
1085 if( name == null )
1086 {
1087 throw new java.lang.IllegalArgumentException( "name == null" );
1088 }
1089
1090 this.name = name;
1091 }
1092
1093
1094
1095 public
1096 NodeMemberAlreadyDefined
1097 ( java.io.File file
1098 , com.unitesk.atp.text.location.Position position
1099 , String name
1100 )
1101 {
1102 super
1103 ( file
1104 , position
1105 );
1106
1107 setName( name );
1108 }
1109
1110 public static final int KEY = 20;
1111
1112 public int key()
1113 {
1114 return KEY;
1115 }
1116 }
1117
1118 /***
1119 * Атрибут с модификатором abstract может быть определен только в типе вершин с модификатором abstract.
1120 */
1121 public static class AbstractAttributeShouldBeInAbstractNode extends FilePositionMessage
1122 {
1123
1124
1125
1126 private String name;
1127
1128 public String getName()
1129 {
1130 return name;
1131 }
1132
1133 public void setName( String name )
1134 {
1135 if( name == null )
1136 {
1137 throw new java.lang.IllegalArgumentException( "name == null" );
1138 }
1139
1140 this.name = name;
1141 }
1142
1143
1144
1145 public
1146 AbstractAttributeShouldBeInAbstractNode
1147 ( java.io.File file
1148 , com.unitesk.atp.text.location.Position position
1149 , String name
1150 )
1151 {
1152 super
1153 ( file
1154 , position
1155 );
1156
1157 setName( name );
1158 }
1159
1160 public static final int KEY = 21;
1161
1162 public int key()
1163 {
1164 return KEY;
1165 }
1166 }
1167
1168 /***
1169 * Атрибут с модификатором abstract не может иметь пользовательского кода.
1170 */
1171 public static class CustomCodeNotAllowedForAbstractAttribute extends FilePositionMessage
1172 {
1173
1174
1175
1176 private String name;
1177
1178 public String getName()
1179 {
1180 return name;
1181 }
1182
1183 public void setName( String name )
1184 {
1185 if( name == null )
1186 {
1187 throw new java.lang.IllegalArgumentException( "name == null" );
1188 }
1189
1190 this.name = name;
1191 }
1192
1193
1194
1195 public
1196 CustomCodeNotAllowedForAbstractAttribute
1197 ( java.io.File file
1198 , com.unitesk.atp.text.location.Position position
1199 , String name
1200 )
1201 {
1202 super
1203 ( file
1204 , position
1205 );
1206
1207 setName( name );
1208 }
1209
1210 public static final int KEY = 22;
1211
1212 public int key()
1213 {
1214 return KEY;
1215 }
1216 }
1217
1218 /***
1219 * Атрибут с модификатором abstract не может иметь модификатор custom.
1220 */
1221 public static class AbstractAttributeCantBeCustom extends FilePositionMessage
1222 {
1223
1224
1225
1226 private String name;
1227
1228 public String getName()
1229 {
1230 return name;
1231 }
1232
1233 public void setName( String name )
1234 {
1235 if( name == null )
1236 {
1237 throw new java.lang.IllegalArgumentException( "name == null" );
1238 }
1239
1240 this.name = name;
1241 }
1242
1243
1244
1245 public
1246 AbstractAttributeCantBeCustom
1247 ( java.io.File file
1248 , com.unitesk.atp.text.location.Position position
1249 , String name
1250 )
1251 {
1252 super
1253 ( file
1254 , position
1255 );
1256
1257 setName( name );
1258 }
1259
1260 public static final int KEY = 23;
1261
1262 public int key()
1263 {
1264 return KEY;
1265 }
1266 }
1267
1268 /***
1269 * Атрибут должен иметь код get-операции (то есть, либо использовать способ хранения по умолчанию, либо задавать или наследовать код get-операции), либо должен определяться в типе вершин с модификатором abstract.
1270 */
1271 public static class GetOperationNotDefined extends FilePositionMessage
1272 {
1273
1274
1275
1276 private String name;
1277
1278 public String getName()
1279 {
1280 return name;
1281 }
1282
1283 public void setName( String name )
1284 {
1285 if( name == null )
1286 {
1287 throw new java.lang.IllegalArgumentException( "name == null" );
1288 }
1289
1290 this.name = name;
1291 }
1292
1293
1294
1295 public
1296 GetOperationNotDefined
1297 ( java.io.File file
1298 , com.unitesk.atp.text.location.Position position
1299 , String name
1300 )
1301 {
1302 super
1303 ( file
1304 , position
1305 );
1306
1307 setName( name );
1308 }
1309
1310 public static final int KEY = 24;
1311
1312 public int key()
1313 {
1314 return KEY;
1315 }
1316 }
1317
1318 /***
1319 * Атрибут должен быть либо помечен модификатором noset, либо иметь код set-операции (то есть, либо использовать способ хранения по умолчанию, либо задавать или наследовать код set-операции), либо определяться в типе вершин с модификатором abstract.
1320 */
1321 public static class SetOperationNotDefined extends FilePositionMessage
1322 {
1323
1324
1325
1326 private String name;
1327
1328 public String getName()
1329 {
1330 return name;
1331 }
1332
1333 public void setName( String name )
1334 {
1335 if( name == null )
1336 {
1337 throw new java.lang.IllegalArgumentException( "name == null" );
1338 }
1339
1340 this.name = name;
1341 }
1342
1343
1344
1345 public
1346 SetOperationNotDefined
1347 ( java.io.File file
1348 , com.unitesk.atp.text.location.Position position
1349 , String name
1350 )
1351 {
1352 super
1353 ( file
1354 , position
1355 );
1356
1357 setName( name );
1358 }
1359
1360 public static final int KEY = 25;
1361
1362 public int key()
1363 {
1364 return KEY;
1365 }
1366 }
1367
1368 /***
1369 * Атрибут с модификатором noset должен быть помечен модификатором late.
1370 */
1371 public static class NoSetAttributeShouldBeLate extends FilePositionMessage
1372 {
1373
1374
1375
1376 private String name;
1377
1378 public String getName()
1379 {
1380 return name;
1381 }
1382
1383 public void setName( String name )
1384 {
1385 if( name == null )
1386 {
1387 throw new java.lang.IllegalArgumentException( "name == null" );
1388 }
1389
1390 this.name = name;
1391 }
1392
1393
1394
1395 public
1396 NoSetAttributeShouldBeLate
1397 ( java.io.File file
1398 , com.unitesk.atp.text.location.Position position
1399 , String name
1400 )
1401 {
1402 super
1403 ( file
1404 , position
1405 );
1406
1407 setName( name );
1408 }
1409
1410 public static final int KEY = 26;
1411
1412 public int key()
1413 {
1414 return KEY;
1415 }
1416 }
1417
1418 /***
1419 * Атрибут с модификатором noset не может иметь инициализатор.
1420 */
1421 public static class InitializerNotAllowedForNoSetAttribute extends FilePositionMessage
1422 {
1423
1424
1425
1426 private String name;
1427
1428 public String getName()
1429 {
1430 return name;
1431 }
1432
1433 public void setName( String name )
1434 {
1435 if( name == null )
1436 {
1437 throw new java.lang.IllegalArgumentException( "name == null" );
1438 }
1439
1440 this.name = name;
1441 }
1442
1443
1444
1445 public
1446 InitializerNotAllowedForNoSetAttribute
1447 ( java.io.File file
1448 , com.unitesk.atp.text.location.Position position
1449 , String name
1450 )
1451 {
1452 super
1453 ( file
1454 , position
1455 );
1456
1457 setName( name );
1458 }
1459
1460 public static final int KEY = 27;
1461
1462 public int key()
1463 {
1464 return KEY;
1465 }
1466 }
1467
1468 /***
1469 * Атрибут с модификатором noset не может иметь код set-операции.
1470 */
1471 public static class SetCodeNotAllowedForNoSetAttribute extends FilePositionMessage
1472 {
1473
1474
1475
1476 private String name;
1477
1478 public String getName()
1479 {
1480 return name;
1481 }
1482
1483 public void setName( String name )
1484 {
1485 if( name == null )
1486 {
1487 throw new java.lang.IllegalArgumentException( "name == null" );
1488 }
1489
1490 this.name = name;
1491 }
1492
1493
1494
1495 public
1496 SetCodeNotAllowedForNoSetAttribute
1497 ( java.io.File file
1498 , com.unitesk.atp.text.location.Position position
1499 , String name
1500 )
1501 {
1502 super
1503 ( file
1504 , position
1505 );
1506
1507 setName( name );
1508 }
1509
1510 public static final int KEY = 28;
1511
1512 public int key()
1513 {
1514 return KEY;
1515 }
1516 }
1517
1518 /***
1519 * Атрибут с модификатором noset не может иметь модификатор setonce.
1520 */
1521 public static class SetOnceNotAllowedForNoSetAttribute extends FilePositionMessage
1522 {
1523
1524
1525
1526 private String name;
1527
1528 public String getName()
1529 {
1530 return name;
1531 }
1532
1533 public void setName( String name )
1534 {
1535 if( name == null )
1536 {
1537 throw new java.lang.IllegalArgumentException( "name == null" );
1538 }
1539
1540 this.name = name;
1541 }
1542
1543
1544
1545 public
1546 SetOnceNotAllowedForNoSetAttribute
1547 ( java.io.File file
1548 , com.unitesk.atp.text.location.Position position
1549 , String name
1550 )
1551 {
1552 super
1553 ( file
1554 , position
1555 );
1556
1557 setName( name );
1558 }
1559
1560 public static final int KEY = 29;
1561
1562 public int key()
1563 {
1564 return KEY;
1565 }
1566 }
1567
1568 /***
1569 * Ребенок не может иметь модификаторов abstract, custom, noset.
1570 */
1571 public static class ChildCantBeAbstractCustomNoSet extends FilePositionMessage
1572 {
1573
1574
1575
1576 private String name;
1577
1578 public String getName()
1579 {
1580 return name;
1581 }
1582
1583 public void setName( String name )
1584 {
1585 if( name == null )
1586 {
1587 throw new java.lang.IllegalArgumentException( "name == null" );
1588 }
1589
1590 this.name = name;
1591 }
1592
1593
1594
1595 public
1596 ChildCantBeAbstractCustomNoSet
1597 ( java.io.File file
1598 , com.unitesk.atp.text.location.Position position
1599 , String name
1600 )
1601 {
1602 super
1603 ( file
1604 , position
1605 );
1606
1607 setName( name );
1608 }
1609
1610 public static final int KEY = 30;
1611
1612 public int key()
1613 {
1614 return KEY;
1615 }
1616 }
1617
1618 /***
1619 * Переопределяющий атрибут должен иметь модификатор override, если переопределяемый атрибут не имеет модификатора abstract.
1620 */
1621 public static class OverrideModifierRequired extends FilePositionMessage
1622 {
1623
1624
1625
1626 private String kind;
1627
1628 public String getKind()
1629 {
1630 return kind;
1631 }
1632
1633 public void setKind( String kind )
1634 {
1635 if( kind == null )
1636 {
1637 throw new java.lang.IllegalArgumentException( "kind == null" );
1638 }
1639
1640 this.kind = kind;
1641 }
1642
1643
1644
1645 private String name;
1646
1647 public String getName()
1648 {
1649 return name;
1650 }
1651
1652 public void setName( String name )
1653 {
1654 if( name == null )
1655 {
1656 throw new java.lang.IllegalArgumentException( "name == null" );
1657 }
1658
1659 this.name = name;
1660 }
1661
1662
1663
1664 public
1665 OverrideModifierRequired
1666 ( java.io.File file
1667 , com.unitesk.atp.text.location.Position position
1668 , String kind
1669 , String name
1670 )
1671 {
1672 super
1673 ( file
1674 , position
1675 );
1676
1677 setKind( kind );
1678 setName( name );
1679 }
1680
1681 public static final int KEY = 31;
1682
1683 public int key()
1684 {
1685 return KEY;
1686 }
1687 }
1688
1689 /***
1690 * Ребенок может переопределять только ребенка, атрибут - атрибута.
1691 */
1692 public static class IncompatibleBaseField extends FilePositionMessage
1693 {
1694
1695
1696
1697 private String kind;
1698
1699 public String getKind()
1700 {
1701 return kind;
1702 }
1703
1704 public void setKind( String kind )
1705 {
1706 if( kind == null )
1707 {
1708 throw new java.lang.IllegalArgumentException( "kind == null" );
1709 }
1710
1711 this.kind = kind;
1712 }
1713
1714
1715
1716 private String name;
1717
1718 public String getName()
1719 {
1720 return name;
1721 }
1722
1723 public void setName( String name )
1724 {
1725 if( name == null )
1726 {
1727 throw new java.lang.IllegalArgumentException( "name == null" );
1728 }
1729
1730 this.name = name;
1731 }
1732
1733
1734
1735 public
1736 IncompatibleBaseField
1737 ( java.io.File file
1738 , com.unitesk.atp.text.location.Position position
1739 , String kind
1740 , String name
1741 )
1742 {
1743 super
1744 ( file
1745 , position
1746 );
1747
1748 setKind( kind );
1749 setName( name );
1750 }
1751
1752 public static final int KEY = 32;
1753
1754 public int key()
1755 {
1756 return KEY;
1757 }
1758 }
1759
1760 /***
1761 * Тип переопределяющего атрибута должен совпадать с типом переопределяемого.
1762 */
1763 public static class IncompatibleBaseFieldType extends FilePositionMessage
1764 {
1765
1766
1767
1768 private String kind;
1769
1770 public String getKind()
1771 {
1772 return kind;
1773 }
1774
1775 public void setKind( String kind )
1776 {
1777 if( kind == null )
1778 {
1779 throw new java.lang.IllegalArgumentException( "kind == null" );
1780 }
1781
1782 this.kind = kind;
1783 }
1784
1785
1786
1787 private String name;
1788
1789 public String getName()
1790 {
1791 return name;
1792 }
1793
1794 public void setName( String name )
1795 {
1796 if( name == null )
1797 {
1798 throw new java.lang.IllegalArgumentException( "name == null" );
1799 }
1800
1801 this.name = name;
1802 }
1803
1804
1805
1806 public
1807 IncompatibleBaseFieldType
1808 ( java.io.File file
1809 , com.unitesk.atp.text.location.Position position
1810 , String kind
1811 , String name
1812 )
1813 {
1814 super
1815 ( file
1816 , position
1817 );
1818
1819 setKind( kind );
1820 setName( name );
1821 }
1822
1823 public static final int KEY = 33;
1824
1825 public int key()
1826 {
1827 return KEY;
1828 }
1829 }
1830
1831 /***
1832 * Если переопределяющий атрибут имеет модификатор abstract, переопределяемый атрибут также должен иметь модификатор abstract.
1833 */
1834 public static class AbstractAttributeCantOverrideNonAbstract extends FilePositionMessage
1835 {
1836
1837
1838
1839 private String name;
1840
1841 public String getName()
1842 {
1843 return name;
1844 }
1845
1846 public void setName( String name )
1847 {
1848 if( name == null )
1849 {
1850 throw new java.lang.IllegalArgumentException( "name == null" );
1851 }
1852
1853 this.name = name;
1854 }
1855
1856
1857
1858 public
1859 AbstractAttributeCantOverrideNonAbstract
1860 ( java.io.File file
1861 , com.unitesk.atp.text.location.Position position
1862 , String name
1863 )
1864 {
1865 super
1866 ( file
1867 , position
1868 );
1869
1870 setName( name );
1871 }
1872
1873 public static final int KEY = 34;
1874
1875 public int key()
1876 {
1877 return KEY;
1878 }
1879 }
1880
1881 /***
1882 * Переопределяющий атрибут не может иметь модификатор custom, если переопределяемый атрибут не имеет модификатора abstract.
1883 */
1884 public static class CustomModifierNotAllowedWhenOverridingNonAbstract extends FilePositionMessage
1885 {
1886
1887
1888
1889 private String name;
1890
1891 public String getName()
1892 {
1893 return name;
1894 }
1895
1896 public void setName( String name )
1897 {
1898 if( name == null )
1899 {
1900 throw new java.lang.IllegalArgumentException( "name == null" );
1901 }
1902
1903 this.name = name;
1904 }
1905
1906
1907
1908 public
1909 CustomModifierNotAllowedWhenOverridingNonAbstract
1910 ( java.io.File file
1911 , com.unitesk.atp.text.location.Position position
1912 , String name
1913 )
1914 {
1915 super
1916 ( file
1917 , position
1918 );
1919
1920 setName( name );
1921 }
1922
1923 public static final int KEY = 35;
1924
1925 public int key()
1926 {
1927 return KEY;
1928 }
1929 }
1930
1931 /***
1932 * Если переопределяющий атрибут имеет модификатор late, переопределяемый атрибут также должен иметь модификатор late.
1933 */
1934 public static class NonLateAttributeCantOverrideLate extends FilePositionMessage
1935 {
1936
1937
1938
1939 private String name;
1940
1941 public String getName()
1942 {
1943 return name;
1944 }
1945
1946 public void setName( String name )
1947 {
1948 if( name == null )
1949 {
1950 throw new java.lang.IllegalArgumentException( "name == null" );
1951 }
1952
1953 this.name = name;
1954 }
1955
1956
1957
1958 public
1959 NonLateAttributeCantOverrideLate
1960 ( java.io.File file
1961 , com.unitesk.atp.text.location.Position position
1962 , String name
1963 )
1964 {
1965 super
1966 ( file
1967 , position
1968 );
1969
1970 setName( name );
1971 }
1972
1973 public static final int KEY = 36;
1974
1975 public int key()
1976 {
1977 return KEY;
1978 }
1979 }
1980
1981 /***
1982 * Если переопределяющий атрибут имеет модификатор noset, переопределяемый атрибут также должен иметь модификатор noset.
1983 */
1984 public static class NoSetAttributeCanOverrideOnlyNoSet extends FilePositionMessage
1985 {
1986
1987
1988
1989 private String name;
1990
1991 public String getName()
1992 {
1993 return name;
1994 }
1995
1996 public void setName( String name )
1997 {
1998 if( name == null )
1999 {
2000 throw new java.lang.IllegalArgumentException( "name == null" );
2001 }
2002
2003 this.name = name;
2004 }
2005
2006
2007
2008 public
2009 NoSetAttributeCanOverrideOnlyNoSet
2010 ( java.io.File file
2011 , com.unitesk.atp.text.location.Position position
2012 , String name
2013 )
2014 {
2015 super
2016 ( file
2017 , position
2018 );
2019
2020 setName( name );
2021 }
2022
2023 public static final int KEY = 37;
2024
2025 public int key()
2026 {
2027 return KEY;
2028 }
2029 }
2030
2031 /***
2032 * Переопределяющий и переопределяемый атрибуты должны иметь или не иметь модификатор setonce одновременно.
2033 */
2034 public static class IncompatibleSetOnceModifiers extends FilePositionMessage
2035 {
2036
2037
2038
2039 private String name;
2040
2041 public String getName()
2042 {
2043 return name;
2044 }
2045
2046 public void setName( String name )
2047 {
2048 if( name == null )
2049 {
2050 throw new java.lang.IllegalArgumentException( "name == null" );
2051 }
2052
2053 this.name = name;
2054 }
2055
2056
2057
2058 public
2059 IncompatibleSetOnceModifiers
2060 ( java.io.File file
2061 , com.unitesk.atp.text.location.Position position
2062 , String name
2063 )
2064 {
2065 super
2066 ( file
2067 , position
2068 );
2069
2070 setName( name );
2071 }
2072
2073 public static final int KEY = 38;
2074
2075 public int key()
2076 {
2077 return KEY;
2078 }
2079 }
2080
2081 /***
2082 * Унаследованный абстрактный атрибут должен быть переопределен в неабстрактном типе вершин.
2083 */
2084 public static class AbstractAttributeShouldBeOverridden extends FilePositionMessage
2085 {
2086
2087
2088
2089 private String name;
2090
2091 public String getName()
2092 {
2093 return name;
2094 }
2095
2096 public void setName( String name )
2097 {
2098 if( name == null )
2099 {
2100 throw new java.lang.IllegalArgumentException( "name == null" );
2101 }
2102
2103 this.name = name;
2104 }
2105
2106
2107
2108 public
2109 AbstractAttributeShouldBeOverridden
2110 ( java.io.File file
2111 , com.unitesk.atp.text.location.Position position
2112 , String name
2113 )
2114 {
2115 super
2116 ( file
2117 , position
2118 );
2119
2120 setName( name );
2121 }
2122
2123 public static final int KEY = 39;
2124
2125 public int key()
2126 {
2127 return KEY;
2128 }
2129 }
2130
2131 /***
2132 * Модификатор virtual может использоваться только для операций, определенных в модуле описания структуры.
2133 */
2134 public static class VirtualOperationCantBeInModule extends FilePositionMessage
2135 {
2136
2137
2138
2139 private String name;
2140
2141 public String getName()
2142 {
2143 return name;
2144 }
2145
2146 public void setName( String name )
2147 {
2148 if( name == null )
2149 {
2150 throw new java.lang.IllegalArgumentException( "name == null" );
2151 }
2152
2153 this.name = name;
2154 }
2155
2156
2157
2158 public
2159 VirtualOperationCantBeInModule
2160 ( java.io.File file
2161 , com.unitesk.atp.text.location.Position position
2162 , String name
2163 )
2164 {
2165 super
2166 ( file
2167 , position
2168 );
2169
2170 setName( name );
2171 }
2172
2173 public static final int KEY = 40;
2174
2175 public int key()
2176 {
2177 return KEY;
2178 }
2179 }
2180
2181 /***
2182 * Имена всех параметров в сигнатуре операции должны быть различны между собой.
2183 */
2184 public static class ParameterAlreadyDeclared extends FilePositionMessage
2185 {
2186
2187
2188
2189 private String name;
2190
2191 public String getName()
2192 {
2193 return name;
2194 }
2195
2196 public void setName( String name )
2197 {
2198 if( name == null )
2199 {
2200 throw new java.lang.IllegalArgumentException( "name == null" );
2201 }
2202
2203 this.name = name;
2204 }
2205
2206
2207
2208 public
2209 ParameterAlreadyDeclared
2210 ( java.io.File file
2211 , com.unitesk.atp.text.location.Position position
2212 , String name
2213 )
2214 {
2215 super
2216 ( file
2217 , position
2218 );
2219
2220 setName( name );
2221 }
2222
2223 public static final int KEY = 41;
2224
2225 public int key()
2226 {
2227 return KEY;
2228 }
2229 }
2230
2231 /***
2232 * Типом параметра с модификатором virtual не может являться перечислимый тип вида flags.
2233 */
2234 public static class VirtualParameterCantBeOfFlagsType extends FilePositionMessage
2235 {
2236
2237
2238
2239 private String name;
2240
2241 public String getName()
2242 {
2243 return name;
2244 }
2245
2246 public void setName( String name )
2247 {
2248 if( name == null )
2249 {
2250 throw new java.lang.IllegalArgumentException( "name == null" );
2251 }
2252
2253 this.name = name;
2254 }
2255
2256
2257
2258 public
2259 VirtualParameterCantBeOfFlagsType
2260 ( java.io.File file
2261 , com.unitesk.atp.text.location.Position position
2262 , String name
2263 )
2264 {
2265 super
2266 ( file
2267 , position
2268 );
2269
2270 setName( name );
2271 }
2272
2273 public static final int KEY = 42;
2274
2275 public int key()
2276 {
2277 return KEY;
2278 }
2279 }
2280
2281 /***
2282 * Количество параметров в ветви операции должно совпадать с количеством параметров, определенным в сигнатуре операции.
2283 */
2284 public static class IncorrectNumberOfParameters extends FilePositionMessage
2285 {
2286
2287
2288
2289 private String name;
2290
2291 public String getName()
2292 {
2293 return name;
2294 }
2295
2296 public void setName( String name )
2297 {
2298 if( name == null )
2299 {
2300 throw new java.lang.IllegalArgumentException( "name == null" );
2301 }
2302
2303 this.name = name;
2304 }
2305
2306
2307
2308 private com.unitesk.atp.text.location.Position prevPosition;
2309
2310 public com.unitesk.atp.text.location.Position getPrevPosition()
2311 {
2312 return prevPosition;
2313 }
2314
2315 public void setPrevPosition( com.unitesk.atp.text.location.Position prevPosition )
2316 {
2317 if( prevPosition == null )
2318 {
2319 throw new java.lang.IllegalArgumentException( "prevPosition == null" );
2320 }
2321
2322 this.prevPosition = prevPosition;
2323 }
2324
2325
2326
2327 public
2328 IncorrectNumberOfParameters
2329 ( java.io.File file
2330 , com.unitesk.atp.text.location.Position position
2331 , String name
2332 , com.unitesk.atp.text.location.Position prevPosition
2333 )
2334 {
2335 super
2336 ( file
2337 , position
2338 );
2339
2340 setName( name );
2341 setPrevPosition( prevPosition );
2342 }
2343
2344 public static final int KEY = 43;
2345
2346 public int key()
2347 {
2348 return KEY;
2349 }
2350 }
2351
2352 /***
2353 * Для виртуального параметра перечислимого типа в ветви операции тип не указывается.
2354 */
2355 public static class TypeNotAllowedForVirtualEnumParameter extends FilePositionMessage
2356 {
2357
2358
2359
2360 private String name;
2361
2362 public String getName()
2363 {
2364 return name;
2365 }
2366
2367 public void setName( String name )
2368 {
2369 if( name == null )
2370 {
2371 throw new java.lang.IllegalArgumentException( "name == null" );
2372 }
2373
2374 this.name = name;
2375 }
2376
2377
2378
2379 public
2380 TypeNotAllowedForVirtualEnumParameter
2381 ( java.io.File file
2382 , com.unitesk.atp.text.location.Position position
2383 , String name
2384 )
2385 {
2386 super
2387 ( file
2388 , position
2389 );
2390
2391 setName( name );
2392 }
2393
2394 public static final int KEY = 44;
2395
2396 public int key()
2397 {
2398 return KEY;
2399 }
2400 }
2401
2402 /***
2403 * Для виртуального параметра перечислимого типа в ветви операции вместо имени указывается одна из констант этого типа.
2404 */
2405 public static class ConstantRequiredForVirtualEnumParameter extends FilePositionMessage
2406 {
2407
2408
2409
2410 private String constant;
2411
2412 public String getConstant()
2413 {
2414 return constant;
2415 }
2416
2417 public void setConstant( String constant )
2418 {
2419 if( constant == null )
2420 {
2421 throw new java.lang.IllegalArgumentException( "constant == null" );
2422 }
2423
2424 this.constant = constant;
2425 }
2426
2427
2428
2429 private String type;
2430
2431 public String getType()
2432 {
2433 return type;
2434 }
2435
2436 public void setType( String type )
2437 {
2438 if( type == null )
2439 {
2440 throw new java.lang.IllegalArgumentException( "type == null" );
2441 }
2442
2443 this.type = type;
2444 }
2445
2446
2447
2448 private String name;
2449
2450 public String getName()
2451 {
2452 return name;
2453 }
2454
2455 public void setName( String name )
2456 {
2457 if( name == null )
2458 {
2459 throw new java.lang.IllegalArgumentException( "name == null" );
2460 }
2461
2462 this.name = name;
2463 }
2464
2465
2466
2467 public
2468 ConstantRequiredForVirtualEnumParameter
2469 ( java.io.File file
2470 , com.unitesk.atp.text.location.Position position
2471 , String constant
2472 , String type
2473 , String name
2474 )
2475 {
2476 super
2477 ( file
2478 , position
2479 );
2480
2481 setConstant( constant );
2482 setType( type );
2483 setName( name );
2484 }
2485
2486 public static final int KEY = 45;
2487
2488 public int key()
2489 {
2490 return KEY;
2491 }
2492 }
2493
2494 /***
2495 * Для виртуальных параметров типа вершина в ветви операции должен быть указан тип.
2496 */
2497 public static class TypeRequiredForVirtualNodeParameter extends FilePositionMessage
2498 {
2499
2500
2501
2502 private String name;
2503
2504 public String getName()
2505 {
2506 return name;
2507 }
2508
2509 public void setName( String name )
2510 {
2511 if( name == null )
2512 {
2513 throw new java.lang.IllegalArgumentException( "name == null" );
2514 }
2515
2516 this.name = name;
2517 }
2518
2519
2520
2521 public
2522 TypeRequiredForVirtualNodeParameter
2523 ( java.io.File file
2524 , com.unitesk.atp.text.location.Position position
2525 , String name
2526 )
2527 {
2528 super
2529 ( file
2530 , position
2531 );
2532
2533 setName( name );
2534 }
2535
2536 public static final int KEY = 46;
2537
2538 public int key()
2539 {
2540 return KEY;
2541 }
2542 }
2543
2544 /***
2545 * Тип виртуального параметра типа вершина, указанный в ветви операции, должен быть наследником типа параметра, указанного в сигнатуре операции.
2546 */
2547 public static class CaseParameterTypeShouldBeInheritor extends FilePositionMessage
2548 {
2549
2550
2551
2552 private String type;
2553
2554 public String getType()
2555 {
2556 return type;
2557 }
2558
2559 public void setType( String type )
2560 {
2561 if( type == null )
2562 {
2563 throw new java.lang.IllegalArgumentException( "type == null" );
2564 }
2565
2566 this.type = type;
2567 }
2568
2569
2570
2571 private String name;
2572
2573 public String getName()
2574 {
2575 return name;
2576 }
2577
2578 public void setName( String name )
2579 {
2580 if( name == null )
2581 {
2582 throw new java.lang.IllegalArgumentException( "name == null" );
2583 }
2584
2585 this.name = name;
2586 }
2587
2588
2589
2590 private String prevType;
2591
2592 public String getPrevType()
2593 {
2594 return prevType;
2595 }
2596
2597 public void setPrevType( String prevType )
2598 {
2599 if( prevType == null )
2600 {
2601 throw new java.lang.IllegalArgumentException( "prevType == null" );
2602 }
2603
2604 this.prevType = prevType;
2605 }
2606
2607
2608
2609 public
2610 CaseParameterTypeShouldBeInheritor
2611 ( java.io.File file
2612 , com.unitesk.atp.text.location.Position position
2613 , String type
2614 , String name
2615 , String prevType
2616 )
2617 {
2618 super
2619 ( file
2620 , position
2621 );
2622
2623 setType( type );
2624 setName( name );
2625 setPrevType( prevType );
2626 }
2627
2628 public static final int KEY = 47;
2629
2630 public int key()
2631 {
2632 return KEY;
2633 }
2634 }
2635
2636 /***
2637 * Тип виртуального параметра в ветви операции не должен быть абстрактным.
2638 */
2639 public static class CaseParameterTypeShouldNotBeAbstract extends FilePositionMessage
2640 {
2641
2642
2643
2644 private String type;
2645
2646 public String getType()
2647 {
2648 return type;
2649 }
2650
2651 public void setType( String type )
2652 {
2653 if( type == null )
2654 {
2655 throw new java.lang.IllegalArgumentException( "type == null" );
2656 }
2657
2658 this.type = type;
2659 }
2660
2661
2662
2663 private String name;
2664
2665 public String getName()
2666 {
2667 return name;
2668 }
2669
2670 public void setName( String name )
2671 {
2672 if( name == null )
2673 {
2674 throw new java.lang.IllegalArgumentException( "name == null" );
2675 }
2676
2677 this.name = name;
2678 }
2679
2680
2681
2682 public
2683 CaseParameterTypeShouldNotBeAbstract
2684 ( java.io.File file
2685 , com.unitesk.atp.text.location.Position position
2686 , String type
2687 , String name
2688 )
2689 {
2690 super
2691 ( file
2692 , position
2693 );
2694
2695 setType( type );
2696 setName( name );
2697 }
2698
2699 public static final int KEY = 48;
2700
2701 public int key()
2702 {
2703 return KEY;
2704 }
2705 }
2706
2707 /***
2708 * Для невиртуальных параметров в ветви операции тип не должен быть указан.
2709 */
2710 public static class CaseParameterTypeNotAllowed extends FilePositionMessage
2711 {
2712
2713
2714
2715 private String name;
2716
2717 public String getName()
2718 {
2719 return name;
2720 }
2721
2722 public void setName( String name )
2723 {
2724 if( name == null )
2725 {
2726 throw new java.lang.IllegalArgumentException( "name == null" );
2727 }
2728
2729 this.name = name;
2730 }
2731
2732
2733
2734 public
2735 CaseParameterTypeNotAllowed
2736 ( java.io.File file
2737 , com.unitesk.atp.text.location.Position position
2738 , String name
2739 )
2740 {
2741 super
2742 ( file
2743 , position
2744 );
2745
2746 setName( name );
2747 }
2748
2749 public static final int KEY = 49;
2750
2751 public int key()
2752 {
2753 return KEY;
2754 }
2755 }
2756
2757 /***
2758 * Имя параметра в ветви операции должно совпадать с именем параметра, указанным в сигнатуре операции (кроме виртуальных параметров перечислимых типов).
2759 */
2760 public static class CaseParameterNameDiffers extends FilePositionMessage
2761 {
2762
2763
2764
2765 private String operationName;
2766
2767 public String getOperationName()
2768 {
2769 return operationName;
2770 }
2771
2772 public void setOperationName( String operationName )
2773 {
2774 if( operationName == null )
2775 {
2776 throw new java.lang.IllegalArgumentException( "operationName == null" );
2777 }
2778
2779 this.operationName = operationName;
2780 }
2781
2782
2783
2784 private String name;
2785
2786 public String getName()
2787 {
2788 return name;
2789 }
2790
2791 public void setName( String name )
2792 {
2793 if( name == null )
2794 {
2795 throw new java.lang.IllegalArgumentException( "name == null" );
2796 }
2797
2798 this.name = name;
2799 }
2800
2801
2802
2803 private String prevName;
2804
2805 public String getPrevName()
2806 {
2807 return prevName;
2808 }
2809
2810 public void setPrevName( String prevName )
2811 {
2812 if( prevName == null )
2813 {
2814 throw new java.lang.IllegalArgumentException( "prevName == null" );
2815 }
2816
2817 this.prevName = prevName;
2818 }
2819
2820
2821
2822 private com.unitesk.atp.text.location.Position prevPosition;
2823
2824 public com.unitesk.atp.text.location.Position getPrevPosition()
2825 {
2826 return prevPosition;
2827 }
2828
2829 public void setPrevPosition( com.unitesk.atp.text.location.Position prevPosition )
2830 {
2831 if( prevPosition == null )
2832 {
2833 throw new java.lang.IllegalArgumentException( "prevPosition == null" );
2834 }
2835
2836 this.prevPosition = prevPosition;
2837 }
2838
2839
2840
2841 public
2842 CaseParameterNameDiffers
2843 ( java.io.File file
2844 , com.unitesk.atp.text.location.Position position
2845 , String operationName
2846 , String name
2847 , String prevName
2848 , com.unitesk.atp.text.location.Position prevPosition
2849 )
2850 {
2851 super
2852 ( file
2853 , position
2854 );
2855
2856 setOperationName( operationName );
2857 setName( name );
2858 setPrevName( prevName );
2859 setPrevPosition( prevPosition );
2860 }
2861
2862 public static final int KEY = 50;
2863
2864 public int key()
2865 {
2866 return KEY;
2867 }
2868 }
2869
2870 /***
2871 * Для каждой комбинации вариантов типов виртуальных параметров не может быть более одной ветви операции.
2872 */
2873 public static class CaseAlreadyDefined extends FilePositionMessage
2874 {
2875
2876
2877
2878 private TDL.CaseSignature signature;
2879
2880 public TDL.CaseSignature getSignature()
2881 {
2882 return signature;
2883 }
2884
2885 public void setSignature( TDL.CaseSignature signature )
2886 {
2887 if( signature == null )
2888 {
2889 throw new java.lang.IllegalArgumentException( "signature == null" );
2890 }
2891
2892 this.signature = signature;
2893 }
2894
2895
2896
2897 public
2898 CaseAlreadyDefined
2899 ( java.io.File file
2900 , com.unitesk.atp.text.location.Position position
2901 , TDL.CaseSignature signature
2902 )
2903 {
2904 super
2905 ( file
2906 , position
2907 );
2908
2909 setSignature( signature );
2910 }
2911
2912 public static final int KEY = 51;
2913
2914 public int key()
2915 {
2916 return KEY;
2917 }
2918 }
2919
2920 /***
2921 * Для каждой комбинации вариантов типов виртуальных параметров должна быть определена ветвь операции.
2922 */
2923 public static class CaseNotDefined extends FilePositionMessage
2924 {
2925
2926
2927
2928 private String variant;
2929
2930 public String getVariant()
2931 {
2932 return variant;
2933 }
2934
2935 public void setVariant( String variant )
2936 {
2937 if( variant == null )
2938 {
2939 throw new java.lang.IllegalArgumentException( "variant == null" );
2940 }
2941
2942 this.variant = variant;
2943 }
2944
2945
2946
2947 public
2948 CaseNotDefined
2949 ( java.io.File file
2950 , com.unitesk.atp.text.location.Position position
2951 , String variant
2952 )
2953 {
2954 super
2955 ( file
2956 , position
2957 );
2958
2959 setVariant( variant );
2960 }
2961
2962 public static final int KEY = 52;
2963
2964 public int key()
2965 {
2966 return KEY;
2967 }
2968 }
2969
2970 /***
2971 * Реализации используемых операций должны быть совместимы.
2972 */
2973 public static class IncompatibleOperations extends FilePositionMessage
2974 {
2975
2976
2977
2978 private String moduleCombination;
2979
2980 public String getModuleCombination()
2981 {
2982 return moduleCombination;
2983 }
2984
2985 public void setModuleCombination( String moduleCombination )
2986 {
2987 if( moduleCombination == null )
2988 {
2989 throw new java.lang.IllegalArgumentException( "moduleCombination == null" );
2990 }
2991
2992 this.moduleCombination = moduleCombination;
2993 }
2994
2995
2996
2997 private TDL.OperationDecl oldOpDecl;
2998
2999 public TDL.OperationDecl getOldOpDecl()
3000 {
3001 return oldOpDecl;
3002 }
3003
3004 public void setOldOpDecl( TDL.OperationDecl oldOpDecl )
3005 {
3006 if( oldOpDecl == null )
3007 {
3008 throw new java.lang.IllegalArgumentException( "oldOpDecl == null" );
3009 }
3010
3011 this.oldOpDecl = oldOpDecl;
3012 }
3013
3014
3015
3016 private TDL.OperationDecl opDecl;
3017
3018 public TDL.OperationDecl getOpDecl()
3019 {
3020 return opDecl;
3021 }
3022
3023 public void setOpDecl( TDL.OperationDecl opDecl )
3024 {
3025 if( opDecl == null )
3026 {
3027 throw new java.lang.IllegalArgumentException( "opDecl == null" );
3028 }
3029
3030 this.opDecl = opDecl;
3031 }
3032
3033
3034
3035 public
3036 IncompatibleOperations
3037 ( java.io.File file
3038 , com.unitesk.atp.text.location.Position position
3039 , String moduleCombination
3040 , TDL.OperationDecl oldOpDecl
3041 , TDL.OperationDecl opDecl
3042 )
3043 {
3044 super
3045 ( file
3046 , position
3047 );
3048
3049 setModuleCombination( moduleCombination );
3050 setOldOpDecl( oldOpDecl );
3051 setOpDecl( opDecl );
3052 }
3053
3054 public static final int KEY = 53;
3055
3056 public int key()
3057 {
3058 return KEY;
3059 }
3060 }
3061
3062 /***
3063 * Операция в указанном модуле должна быть определена. Если синоним модуля не указан, используется текущий модуль.
3064 */
3065 public static class OperationNotFound extends FilePositionMessage
3066 {
3067
3068
3069
3070 private String module;
3071
3072 public String getModule()
3073 {
3074 return module;
3075 }
3076
3077 public void setModule( String module )
3078 {
3079 this.module = module;
3080 }
3081
3082
3083
3084 private String signature;
3085
3086 public String getSignature()
3087 {
3088 return signature;
3089 }
3090
3091 public void setSignature( String signature )
3092 {
3093 if( signature == null )
3094 {
3095 throw new java.lang.IllegalArgumentException( "signature == null" );
3096 }
3097
3098 this.signature = signature;
3099 }
3100
3101
3102
3103 public
3104 OperationNotFound
3105 ( java.io.File file
3106 , com.unitesk.atp.text.location.Position position
3107 , String module
3108 , String signature
3109 )
3110 {
3111 super
3112 ( file
3113 , position
3114 );
3115
3116 setModule( module );
3117 setSignature( signature );
3118 }
3119
3120 public static final int KEY = 54;
3121
3122 public int key()
3123 {
3124 return KEY;
3125 }
3126 }
3127
3128 /***
3129 * При использовании операции типы возвращаемого значения должен совпадать.
3130 */
3131 public static class IncompatibleReturnTypes extends FilePositionMessage
3132 {
3133
3134
3135
3136 private TDL.OperationDecl operationDecl;
3137
3138 public TDL.OperationDecl getOperationDecl()
3139 {
3140 return operationDecl;
3141 }
3142
3143 public void setOperationDecl( TDL.OperationDecl operationDecl )
3144 {
3145 if( operationDecl == null )
3146 {
3147 throw new java.lang.IllegalArgumentException( "operationDecl == null" );
3148 }
3149
3150 this.operationDecl = operationDecl;
3151 }
3152
3153
3154
3155 public
3156 IncompatibleReturnTypes
3157 ( java.io.File file
3158 , com.unitesk.atp.text.location.Position position
3159 , TDL.OperationDecl operationDecl
3160 )
3161 {
3162 super
3163 ( file
3164 , position
3165 );
3166
3167 setOperationDecl( operationDecl );
3168 }
3169
3170 public static final int KEY = 55;
3171
3172 public int key()
3173 {
3174 return KEY;
3175 }
3176 }
3177
3178 /***
3179 * Соответствующие параметры используемой и использующей операции должны быть виртуальны одновременно.
3180 */
3181 public static class InconsistentVirtualParameters extends FilePositionMessage
3182 {
3183
3184
3185
3186 private TDL.OperationDecl opDecl;
3187
3188 public TDL.OperationDecl getOpDecl()
3189 {
3190 return opDecl;
3191 }
3192
3193 public void setOpDecl( TDL.OperationDecl opDecl )
3194 {
3195 if( opDecl == null )
3196 {
3197 throw new java.lang.IllegalArgumentException( "opDecl == null" );
3198 }
3199
3200 this.opDecl = opDecl;
3201 }
3202
3203
3204
3205 private TDL.ParameterDecl paramDecl;
3206
3207 public TDL.ParameterDecl getParamDecl()
3208 {
3209 return paramDecl;
3210 }
3211
3212 public void setParamDecl( TDL.ParameterDecl paramDecl )
3213 {
3214 if( paramDecl == null )
3215 {
3216 throw new java.lang.IllegalArgumentException( "paramDecl == null" );
3217 }
3218
3219 this.paramDecl = paramDecl;
3220 }
3221
3222
3223
3224 public
3225 InconsistentVirtualParameters
3226 ( java.io.File file
3227 , com.unitesk.atp.text.location.Position position
3228 , TDL.OperationDecl opDecl
3229 , TDL.ParameterDecl paramDecl
3230 )
3231 {
3232 super
3233 ( file
3234 , position
3235 );
3236
3237 setOpDecl( opDecl );
3238 setParamDecl( paramDecl );
3239 }
3240
3241 public static final int KEY = 56;
3242
3243 public int key()
3244 {
3245 return KEY;
3246 }
3247 }
3248
3249 /***
3250 * Синоним модуля должен быть определен.
3251 */
3252 public static class SynonymNotDefined extends FilePositionMessage
3253 {
3254
3255
3256
3257 private String name;
3258
3259 public String getName()
3260 {
3261 return name;
3262 }
3263
3264 public void setName( String name )
3265 {
3266 if( name == null )
3267 {
3268 throw new java.lang.IllegalArgumentException( "name == null" );
3269 }
3270
3271 this.name = name;
3272 }
3273
3274
3275
3276 public
3277 SynonymNotDefined
3278 ( java.io.File file
3279 , com.unitesk.atp.text.location.Position position
3280 , String name
3281 )
3282 {
3283 super
3284 ( file
3285 , position
3286 );
3287
3288 setName( name );
3289 }
3290
3291 public static final int KEY = 57;
3292
3293 public int key()
3294 {
3295 return KEY;
3296 }
3297 }
3298
3299 /***
3300 * Тип в указанном модуле должен быть определен. Если синоним модуля не указан, используется текущий модуль.
3301 */
3302 public static class TypeNotFound extends FilePositionMessage
3303 {
3304
3305
3306
3307 private String module;
3308
3309 public String getModule()
3310 {
3311 return module;
3312 }
3313
3314 public void setModule( String module )
3315 {
3316 this.module = module;
3317 }
3318
3319
3320
3321 private String name;
3322
3323 public String getName()
3324 {
3325 return name;
3326 }
3327
3328 public void setName( String name )
3329 {
3330 if( name == null )
3331 {
3332 throw new java.lang.IllegalArgumentException( "name == null" );
3333 }
3334
3335 this.name = name;
3336 }
3337
3338
3339
3340 public
3341 TypeNotFound
3342 ( java.io.File file
3343 , com.unitesk.atp.text.location.Position position
3344 , String module
3345 , String name
3346 )
3347 {
3348 super
3349 ( file
3350 , position
3351 );
3352
3353 setModule( module );
3354 setName( name );
3355 }
3356
3357 public static final int KEY = 58;
3358
3359 public int key()
3360 {
3361 return KEY;
3362 }
3363 }
3364 }