View Javadoc

1   // Generated by treedl, version 2.3.1.1-beta-060216
2   // using generator java_translate = com.unitesk.atp.treedl.JavaNodeGenerator, version 1.68-beta
3   // from file: Message.tdl
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          // constructor
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          // attribute
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          // constructor
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          // attribute
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          // constructor
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         // attribute
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         // attribute
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // attribute
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         // constructor
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // attribute
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         // attribute
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         // constructor
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         // attribute
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // attribute
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         // constructor
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         // attribute
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         // attribute
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         // constructor
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         // attribute
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // attribute
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         // constructor
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         // attribute
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         // attribute
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         // constructor
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         // attribute
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // attribute
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // attribute
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         // attribute
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         // constructor
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         // attribute
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // attribute
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         // attribute
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // attribute
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         // attribute
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         // constructor
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         // attribute
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // attribute
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         // constructor
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         // attribute
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         // constructor
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         // attribute
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         // attribute
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         // constructor
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 }