X-Git-Url: http://drtracing.org/?a=blobdiff_plain;ds=sidebyside;f=function_test%2FSemantic_Analyser%2Fxer%2Fusenil_comp_clash_SE.ttcn;h=33cc489efa6f6da5a7198b0ce4b34b44ecea140e;hb=3f84031e48520efb2cbc931692210e5de7fa5919;hp=9d3b4b93c1b04ef33f8f5ee0d2ece58d49ff67e6;hpb=51fa56b97ff178aa82497de54a5945698517e55d;p=deliverable%2Ftitan.core.git diff --git a/function_test/Semantic_Analyser/xer/usenil_comp_clash_SE.ttcn b/function_test/Semantic_Analyser/xer/usenil_comp_clash_SE.ttcn index 9d3b4b9..33cc489 100644 --- a/function_test/Semantic_Analyser/xer/usenil_comp_clash_SE.ttcn +++ b/function_test/Semantic_Analyser/xer/usenil_comp_clash_SE.ttcn @@ -6,7 +6,7 @@ * http://www.eclipse.org/legal/epl-v10.html ******************************************************************************/ module usenil_comp_clash_SE { //^In TTCN-3 module `usenil_comp_clash_SE':// -// 33.2.3 The OPTIONAL component shall not have any of: ANY-ELEMENT, ANY-ATTRIBUTES, DEFAULT-FOR-EMPTY, EMBED-VALUES, PI-OR-COMMENT, UNTAGGED, USE-NIL, USE-ORDER or USETYPE +// 33.2.3 The OPTIONAL component shall not have any of: ANY-ELEMENT, ANY-ATTRIBUTES, DEFAULT-FOR-EMPTY, PI-OR-COMMENT, UNTAGGED, USE-NIL, USE-ORDER or USETYPE /* ANY-ATTRIBUTES member can't be optional Last member for USE-NIL must be optional @@ -22,7 +22,7 @@ with { type record U2 { //^In type definition// - universal charstring ae optional //^error: The OPTIONAL component of USE-NIL cannot have any of the following encoding instructions: ANY-ATTRIBUTES, ANY-ELEMENT, DEFAULT-FOR-EMPTY, EMBED-VALUES, PI-OR-COMMENT, UNTAGGED, USE-NIL, USE-ORDER, USE-TYPE// + universal charstring ae optional //^error: The OPTIONAL component of USE-NIL cannot have any of the following encoding instructions: ANY-ATTRIBUTES, ANY-ELEMENT, DEFAULT-FOR-EMPTY, PI-OR-COMMENT, UNTAGGED, USE-NIL, USE-ORDER, USE-TYPE// } with { variant "useNil"; @@ -31,7 +31,7 @@ with { type record U3 { //^In type definition// - integer s optional //^error: The OPTIONAL component of USE-NIL cannot have any of the following encoding instructions: ANY-ATTRIBUTES, ANY-ELEMENT, DEFAULT-FOR-EMPTY, EMBED-VALUES, PI-OR-COMMENT, UNTAGGED, USE-NIL, USE-ORDER, USE-TYPE// + integer s optional //^error: The OPTIONAL component of USE-NIL cannot have any of the following encoding instructions: ANY-ATTRIBUTES, ANY-ELEMENT, DEFAULT-FOR-EMPTY, PI-OR-COMMENT, UNTAGGED, USE-NIL, USE-ORDER, USE-TYPE// } with { variant "useNil"; @@ -39,9 +39,9 @@ with { } -type record U4 { //^In type definition// +type record U4 { integer first, - record { //^error: The OPTIONAL component of USE-NIL cannot have any of the following encoding instructions: ANY-ATTRIBUTES, ANY-ELEMENT, DEFAULT-FOR-EMPTY, EMBED-VALUES, PI-OR-COMMENT, UNTAGGED, USE-NIL, USE-ORDER, USE-TYPE// + record { record of universal charstring emb } last optional } @@ -53,7 +53,7 @@ with { type record U5 {//^In type definition// - integer last //^error: The OPTIONAL component of USE-NIL cannot have any of the following encoding instructions: ANY-ATTRIBUTES, ANY-ELEMENT, DEFAULT-FOR-EMPTY, EMBED-VALUES, PI-OR-COMMENT, UNTAGGED, USE-NIL, USE-ORDER, USE-TYPE// + integer last //^error: The OPTIONAL component of USE-NIL cannot have any of the following encoding instructions: ANY-ATTRIBUTES, ANY-ELEMENT, DEFAULT-FOR-EMPTY, PI-OR-COMMENT, UNTAGGED, USE-NIL, USE-ORDER, USE-TYPE// } with { variant "useNil";