The R13B03 release.OTP_R13B03

1 files changed, 1177 insertions, 0 deletions

diff --git a/lib/asn1/src/asn1ct_parser.yrl b/lib/asn1/src/asn1ct_parser.yrl
new file mode 100644
index 0000000000..083162f191
--- /dev/null
+++ b/lib/asn1/src/asn1ct_parser.yrl
@@ -0,0 +1,1177 @@
+%%<copyright>
+%% <year>1997-2008</year>
+%% <holder>Ericsson AB, All Rights Reserved</holder>
+%%</copyright>
+%%<legalnotice>
+%% The contents of this file are subject to the Erlang Public License,
+%% Version 1.1, (the "License"); you may not use this file except in
+%% compliance with the License. You should have received a copy of the
+%% Erlang Public License along with this software. If not, it can be
+%% retrieved online at http://www.erlang.org/.
+%%
+%% Software distributed under the License is distributed on an "AS IS"
+%% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
+%% the License for the specific language governing rights and limitations
+%% under the License.
+%%
+%% The Initial Developer of the Original Code is Ericsson AB.
+%%</legalnotice>

+%%

+Nonterminals

+ModuleDefinition ModuleIdentifier DefinitiveIdentifier DefinitiveObjIdComponentList

+DefinitiveObjIdComponent TagDefault ExtensionDefault 

+ModuleBody Exports SymbolsExported Imports SymbolsImported

+SymbolsFromModuleList SymbolsFromModule GlobalModuleReference AssignedIdentifier SymbolList

+Symbol Reference AssignmentList Assignment 

+ExtensionAndException

+ComponentTypeLists

+Externaltypereference Externalvaluereference DefinedType DefinedValue 

+AbsoluteReference ItemSpec ItemId ComponentId TypeAssignment

+ValueAssignment 

+% ValueSetTypeAssignment 

+ValueSet 

+Type BuiltinType NamedType ReferencedType

+Value ValueNotNull BuiltinValue ReferencedValue NamedValue 

+% BooleanType

+BooleanValue IntegerType NamedNumberList NamedNumber SignedNumber 

+% inlined IntegerValue 

+EnumeratedType

+% inlined Enumerations 

+Enumeration EnumerationItem 

+% inlined EnumeratedValue

+% RealType

+RealValue NumericRealValue SpecialRealValue BitStringType 

+% inlined BitStringValue

+IdentifierList 

+% OctetStringType 

+% inlined OctetStringValue 

+% NullType NullValue

+SequenceType ComponentTypeList ComponentType 

+% SequenceValue SequenceOfValue

+ComponentValueList SequenceOfType

+SAndSOfValue ValueList SetType 

+% SetValue SetOfValue 

+SetOfType 

+ChoiceType 

+% AlternativeTypeList made common with ComponentTypeList

+ChoiceValue

+AnyValue

+AnyDefBy

+SelectionType 

+TaggedType Tag ClassNumber Class 

+% redundant TaggedValue

+% EmbeddedPDVType EmbeddedPDVValue ExternalType ExternalValue ObjectIdentifierType

+ObjectIdentifierValue ObjIdComponentList ObjIdComponent 

+% NameForm NumberForm NameAndNumberForm 

+CharacterStringType

+RestrictedCharacterStringValue CharacterStringList 

+% CharSyms CharsDefn 

+Quadruple

+% Group Plane Row Cell

+Tuple

+% TableColumn TableRow

+% UnrestrictedCharacterString

+CharacterStringValue 

+% UnrestrictedCharacterStringValue

+ConstrainedType Constraint ConstraintSpec TypeWithConstraint

+ElementSetSpecs ElementSetSpec 

+%GeneralConstraint

+UserDefinedConstraint UserDefinedConstraintParameter 

+UserDefinedConstraintParameters

+ExceptionSpec

+ExceptionIdentification

+Unions

+UnionMark

+UElems

+Intersections

+IntersectionElements

+IntersectionMark

+IElems

+Elements

+Elems

+SubTypeElements

+Exclusions

+LowerEndpoint

+UpperEndpoint

+LowerEndValue

+UpperEndValue

+TypeConstraints NamedConstraint PresenceConstraint

+

+ParameterizedTypeAssignment

+ParameterList

+Parameters

+Parameter

+ParameterizedType

+

+% X.681

+ObjectClassAssignment ObjectClass ObjectClassDefn 

+FieldSpecs FieldSpec OptionalitySpec WithSyntaxSpec

+TokenOrGroupSpecs TokenOrGroupSpec

+SyntaxList OptionalGroup RequiredToken Word

+TypeOptionalitySpec

+ValueOrObjectOptSpec

+VSetOrOSetOptSpec

+ValueOptionalitySpec

+ObjectOptionalitySpec

+ValueSetOptionalitySpec

+ObjectSetOptionalitySpec

+% X.681 chapter 15

+InformationFromObjects

+ValueFromObject

+%ValueSetFromObjects

+TypeFromObject

+%ObjectFromObject

+%ObjectSetFromObjects

+ReferencedObjects

+FieldName

+PrimitiveFieldName

+

+ObjectAssignment

+ObjectSetAssignment

+ObjectSet

+ObjectSetElements

+Object

+ObjectDefn

+DefaultSyntax

+DefinedSyntax

+FieldSettings

+FieldSetting

+DefinedSyntaxTokens

+DefinedSyntaxToken

+Setting

+DefinedObject

+ObjectFromObject

+ObjectSetFromObjects

+ParameterizedObject

+ExternalObjectReference

+DefinedObjectSet

+DefinedObjectClass

+ExternalObjectClassReference

+

+% X.682

+TableConstraint

+ComponentRelationConstraint

+ComponentIdList

+

+% X.683

+ActualParameter

+.

+

+%UsefulType. 

+

+Terminals

+'ABSENT' 'ABSTRACT-SYNTAX' 'ALL' 'ANY'

+'APPLICATION' 'AUTOMATIC' 'BEGIN' 'BIT'

+'BOOLEAN' 'BY' 'CHARACTER' 'CHOICE' 'CLASS' 'COMPONENT'

+'COMPONENTS' 'CONSTRAINED' 'DEFAULT' 'DEFINED' 'DEFINITIONS'

+'EMBEDDED' 'END' 'ENUMERATED' 'EXCEPT' 'EXPLICIT'

+'EXPORTS' 'EXTENSIBILITY' 'EXTERNAL' 'FALSE' 'FROM' 'GeneralizedTime' 

+'TYPE-IDENTIFIER' 

+'IDENTIFIER' 'IMPLICIT' 'IMPLIED' 'IMPORTS'

+'INCLUDES' 'INSTANCE' 'INTEGER' 'INTERSECTION'

+'MAX' 'MIN' 'MINUS-INFINITY' 'NULL'

+'OBJECT' 'ObjectDescriptor' 'OCTET' 'OF' 'OPTIONAL' 'PDV' 'PLUS-INFINITY'

+'PRESENT' 'PRIVATE' 'REAL' 'SEQUENCE' 'SET' 'SIZE'

+'STRING' 'SYNTAX' 'TAGS' 'TRUE' 'UNION'

+'UNIQUE' 'UNIVERSAL' 'UTCTime' 'WITH'

+'{' '}' '(' ')' '.' '::=' ';' ',' '@' '*' '-' '[' ']'

+'!' '..' '...' '|' '<' ':' '^'

+number identifier typereference restrictedcharacterstringtype 

+bstring hstring cstring typefieldreference valuefieldreference

+objectclassreference word.

+

+Rootsymbol ModuleDefinition.

+Endsymbol '$end'.

+

+Left 300 'EXCEPT'.

+Left 200 '^'.

+Left 200 'INTERSECTION'.

+Left 100 '|'.

+Left 100 'UNION'.

+

+

+ModuleDefinition -> ModuleIdentifier

+	'DEFINITIONS'

+	TagDefault

+	ExtensionDefault

+	'::='

+	'BEGIN'

+	ModuleBody

+	'END' : 

+		{'ModuleBody',Ex,Im,Types} = '$7',

+		{{typereference,Pos,Name},Defid} = '$1',

+		#module{

+			pos= Pos,

+			name= Name,

+			defid= Defid,

+			tagdefault='$3',

+			extensiondefault='$4',

+			exports=Ex,

+			imports=Im,

+			typeorval=Types}.

+%	{module, '$1','$3','$6'}.

+% Results always in a record of type module defined in asn_records.hlr

+

+ModuleIdentifier -> typereference DefinitiveIdentifier : 

+	put(asn1_module,'$1'#typereference.val),

+	{'$1','$2'}.

+

+DefinitiveIdentifier -> '{' DefinitiveObjIdComponentList '}' : '$2' .

+DefinitiveIdentifier -> '$empty': [].

+

+DefinitiveObjIdComponentList -> DefinitiveObjIdComponent : ['$1'].

+DefinitiveObjIdComponentList -> DefinitiveObjIdComponent DefinitiveObjIdComponentList : ['$1'|'$2'].

+

+DefinitiveObjIdComponent -> identifier : '$1' . %expanded->

+% DefinitiveObjIdComponent -> NameForm : '$1' . 

+DefinitiveObjIdComponent -> number : '$1' . %expanded->

+% DefinitiveObjIdComponent -> DefinitiveNumberForm : 'fix' . 

+DefinitiveObjIdComponent -> identifier '(' number ')' : {'$1','$3'} . %expanded->

+% DefinitiveObjIdComponent -> DefinitiveNameAndNumberForm  : {'$1','$3'} .

+

+% DefinitiveNumberForm -> number : 'fix' .

+ 

+% DefinitiveNameAndNumberForm -> identifier '(' DefinitiveNumberForm ')' : 'fix' .

+ 

+TagDefault -> 'EXPLICIT' 'TAGS' : put(tagdefault,'EXPLICIT'),'EXPLICIT' .

+TagDefault -> 'IMPLICIT' 'TAGS' : put(tagdefault,'IMPLICIT'),'IMPLICIT' .

+TagDefault -> 'AUTOMATIC' 'TAGS' : put(tagdefault,'AUTOMATIC'),'AUTOMATIC' .

+TagDefault -> '$empty': put(tagdefault,'EXPLICIT'),'EXPLICIT'. % because this is the default

+

+ExtensionDefault -> 'EXTENSIBILITY' 'IMPLIED' : 'IMPLIED'.

+ExtensionDefault -> '$empty' : 'false'. % because this is the default

+

+ModuleBody -> Exports Imports AssignmentList : {'ModuleBody','$1','$2','$3'}.

+ModuleBody -> '$empty' : {'ModuleBody',nil,nil,[]}.

+

+Exports -> 'EXPORTS' SymbolList ';' : {exports,'$2'}.

+Exports -> 'EXPORTS'  ';' : {exports,[]}.

+Exports -> '$empty' : {exports,all} .

+

+% inlined above SymbolsExported -> SymbolList : '$1'.

+% inlined above SymbolsExported -> '$empty' : [].

+

+Imports -> 'IMPORTS' SymbolsFromModuleList ';' : {imports,'$2'}.

+Imports -> 'IMPORTS'  ';' : {imports,[]}.

+Imports -> '$empty' : {imports,[]} .

+

+% inlined above SymbolsImported -> SymbolsFromModuleList : '$1'.

+% inlined above SymbolsImported -> '$empty' : [].

+

+SymbolsFromModuleList -> SymbolsFromModule :['$1'].

+% SymbolsFromModuleList -> SymbolsFromModuleList SymbolsFromModule :$1.%changed

+SymbolsFromModuleList -> SymbolsFromModule SymbolsFromModuleList :['$1'|'$2'].

+

+% expanded SymbolsFromModule -> SymbolList 'FROM' GlobalModuleReference : #'SymbolsFromModule'{symbols = '$1',module='$3'}.

+SymbolsFromModule -> SymbolList 'FROM' typereference : #'SymbolsFromModule'{symbols = '$1',module='$3'}.

+SymbolsFromModule -> SymbolList 'FROM' typereference '{' ValueList '}': #'SymbolsFromModule'{symbols = '$1',module='$3'}.

+%SymbolsFromModule -> SymbolList 'FROM' typereference identifier: #'SymbolsFromModule'{symbols = '$1',module='$3'}.

+%SymbolsFromModule -> SymbolList 'FROM' typereference Externalvaluereference: #'SymbolsFromModule'{symbols = '$1',module='$3'}.

+%SymbolsFromModule -> SymbolList 'FROM' typereference DefinedValue: #'SymbolsFromModule'{symbols = '$1',module='$3'}.

+

+% inlined GlobalModuleReference -> typereference AssignedIdentifier : {'$1','$2'} .

+

+% inlined above AssignedIdentifier -> '{' ValueList '}' : '$2'.

+% replaced AssignedIdentifier -> '{' DefinedValue ObjIdComponentList '}' :{'$2','$3'}.

+% not necessary , replaced by SAndSOfValue AssignedIdentifier -> ObjectIdentifierValue :'$1'.

+% AssignedIdentifier -> DefinedValue : '$1'. 

+% inlined AssignedIdentifier -> '$empty' : undefined.

+

+SymbolList -> Symbol : ['$1'].

+SymbolList -> Symbol ',' SymbolList :['$1'|'$3'].

+

+Symbol -> Reference :'$1'.

+% later Symbol -> ParameterizedReference :'$1'.

+

+Reference -> typereference :'$1'.

+Reference -> identifier:'$1'.

+Reference -> typereference '{' '}':'$1'.

+Reference -> Externaltypereference '{' '}':'$1'.

+

+% later Reference -> objectclassreference :'$1'.

+% later Reference -> objectreference :'$1'.

+% later Reference -> objectsetreference :'$1'.

+

+AssignmentList -> Assignment : ['$1'].

+% modified AssignmentList -> AssignmentList Assignment : '$1'.

+AssignmentList -> Assignment AssignmentList : ['$1'|'$2'].

+

+Assignment -> TypeAssignment : '$1'.

+Assignment -> ValueAssignment : '$1'.

+% later Assignment -> ValueSetTypeAssignment : '$1'.

+Assignment -> ObjectClassAssignment : '$1'.

+% later Assignment -> ObjectAssignment : '$1'.

+% combined with ValueAssignment Assignment -> ObjectAssignment : '$1'.

+Assignment -> ObjectSetAssignment : '$1'.

+Assignment -> ParameterizedTypeAssignment : '$1'.

+%Assignment -> ParameterizedValueAssignment : '$1'.

+%Assignment -> ParameterizedValueSetTypeAssignment : '$1'.

+%Assignment -> ParameterizedObjectClassAssignment : '$1'.

+

+ObjectClassAssignment -> typereference '::=' 'CLASS' '{' FieldSpecs '}' :

+%ObjectClassAssignment -> objectclassreference '::=' 'CLASS' '{' FieldSpecs '}' :

+	#typedef{pos=element(2,'$1'),name=element(3,'$1'),typespec={'CLASS','$5',[]}}.

+ObjectClassAssignment -> typereference '::=' 'CLASS' '{' FieldSpecs '}' WithSyntaxSpec :

+%ObjectClassAssignment -> objectclassreference '::=' 'CLASS' '{' FieldSpecs '}' WithSyntaxSpec :

+	#typedef{pos=element(2,'$1'),name=element(3,'$1'),typespec={'CLASS','$5','$7'}}.

+

+FieldSpecs -> FieldSpec : ['$1'].

+FieldSpecs -> FieldSpec ',' FieldSpecs : ['$1'|'$3'].

+

+FieldSpec -> typefieldreference TypeOptionalitySpec : {typefield,'$1','$2'}.

+

+FieldSpec -> valuefieldreference Type 'UNIQUE' ValueOrObjectOptSpec : 

+	{fixedtypevaluefield,'$1','$2','UNIQUE','$4'}.

+FieldSpec -> valuefieldreference Type ValueOrObjectOptSpec : 

+	{fixedtypevaluefield,'$1','$2',undefined,'$3'}.

+

+FieldSpec -> valuefieldreference typefieldreference ValueOrObjectOptSpec :

+        {variabletypevaluefield, '$1','$2','$3'}.

+

+FieldSpec -> typefieldreference typefieldreference VSetOrOSetOptSpec : 

+        {variabletypevaluesetfield, '$1','$2','$3'}.

+

+FieldSpec -> typefieldreference Type VSetOrOSetOptSpec :

+        {fixedtypevaluesetfield, '$1','$2','$3'}.

+

+TypeOptionalitySpec -> 'DEFAULT' Type : {'DEFAULT','$2'}.

+TypeOptionalitySpec -> 'OPTIONAL' : 'OPTIONAL'.

+TypeOptionalitySpec -> '$empty' : 'MANDATORY'.

+

+ValueOrObjectOptSpec -> ValueOptionalitySpec : '$1'.

+ValueOrObjectOptSpec -> ObjectOptionalitySpec : '$1'.

+ValueOrObjectOptSpec -> 'OPTIONAL' : 'OPTIONAL'.

+ValueOrObjectOptSpec -> '$empty' : 'MANDATORY'.

+

+ValueOptionalitySpec -> 'DEFAULT' Value :

+	case '$2' of

+	{identifier,_,Id} -> {'DEFAULT',Id};

+	_ -> {'DEFAULT','$2'}

+	end.

+

+%ObjectOptionalitySpec -> 'DEFAULT' Object :{'DEFAULT','$1'}.

+ObjectOptionalitySpec -> 'DEFAULT'  '{' FieldSetting ',' FieldSettings '}' : 

+        {'DEFAULT',{object,['$2'|'$4']}}.

+ObjectOptionalitySpec -> 'DEFAULT'  '{' FieldSetting '}' :

+        {'DEFAULT',{object, ['$2']}}.

+%ObjectOptionalitySpec -> 'DEFAULT'  '{' DefinedSyntaxTokens '}' :

+%        {'DEFAULT',{object, '$2'}}.

+ObjectOptionalitySpec -> 'DEFAULT'  ObjectFromObject :

+        {'DEFAULT',{object, '$2'}}.

+

+

+VSetOrOSetOptSpec -> ValueSetOptionalitySpec : '$1'.

+%VSetOrOSetOptSpec -> ObjectSetOptionalitySpec : '$1'.

+VSetOrOSetOptSpec -> 'OPTIONAL' : 'OPTIONAL'.

+VSetOrOSetOptSpec -> '$empty' : 'MANDATORY'.

+

+ValueSetOptionalitySpec -> 'DEFAULT' ValueSet : {'DEFAULT','$1'}.

+

+%ObjectSetOptionalitySpec -> 'DEFAULT' ObjectSet : {'DEFAULT','$1'}.

+

+OptionalitySpec -> 'DEFAULT' Type : {'DEFAULT','$2'}.

+OptionalitySpec -> 'DEFAULT' ValueNotNull : 

+	case '$2' of

+	{identifier,_,Id} -> {'DEFAULT',Id};

+	_ -> {'DEFAULT','$2'}

+	end.

+OptionalitySpec -> 'OPTIONAL' : 'OPTIONAL'.

+OptionalitySpec -> '$empty' : 'MANDATORY'.

+

+WithSyntaxSpec -> 'WITH' 'SYNTAX' SyntaxList : {'WITH SYNTAX','$3'}.

+

+SyntaxList -> '{' TokenOrGroupSpecs '}' : '$2'.

+SyntaxList -> '{' '}' : [].

+

+TokenOrGroupSpecs -> TokenOrGroupSpec : ['$1'].

+TokenOrGroupSpecs -> TokenOrGroupSpec TokenOrGroupSpecs : ['$1'|'$2'].

+

+TokenOrGroupSpec -> RequiredToken : '$1'.

+TokenOrGroupSpec -> OptionalGroup : '$1'.

+

+OptionalGroup -> '[' TokenOrGroupSpecs ']' : '$2'.

+

+RequiredToken -> typereference : '$1'.

+RequiredToken -> Word : '$1'.

+RequiredToken -> ',' : '$1'.

+RequiredToken -> PrimitiveFieldName : '$1'.

+

+Word -> 'BY' : 'BY'.

+ 

+ParameterizedTypeAssignment -> typereference ParameterList '::=' Type : 

+	#ptypedef{pos=element(2,'$1'),name=element(3,'$1'),

+	args='$2', typespec='$4'}.

+

+ParameterList -> '{' Parameters '}':'$2'.

+

+Parameters -> Parameter: ['$1'].

+Parameters -> Parameter ',' Parameters: ['$1'|'$3'].

+

+Parameter -> typereference: '$1'.

+Parameter -> Value: '$1'.

+Parameter -> Type ':' typereference: {'$1','$3'}.

+Parameter -> Type ':' Value: {'$1','$3'}.

+Parameter -> '{' typereference '}': {objectset,'$2'}.

+

+

+% Externaltypereference -> modulereference '.' typereference : {'$1','$3'} .

+Externaltypereference -> typereference '.' typereference : #'Externaltypereference'{pos=element(2,'$1'),module=element(3,'$1'),type=element(3,'$3')}.

+

+% Externalvaluereference -> modulereference '.' valuereference : {'$1','$3'} .

+% inlined Externalvaluereference -> typereference '.' identifier : #'Externalvaluereference'{pos=element(2,'$1'),module=element(3,'$1'),value=element(3,'$3')}.

+

+

+DefinedType -> Externaltypereference : '$1' .

+DefinedType -> typereference : 

+	#'Externaltypereference'{pos='$1'#typereference.pos,

+				module= get(asn1_module), 

+				type= '$1'#typereference.val} .

+DefinedType -> typereference ParameterList : {pt,'$1','$2'}.

+DefinedType -> Externaltypereference ParameterList : {pt,'$1','$2'}.

+

+% ActualParameterList -> '{' ActualParameters '}' : '$1'.

+

+% ActualParameters -> ActualParameter : ['$1']. 

+% ActualParameters -> ActualParameter ',' ActualParameters : ['$1'|'$3'].

+

+ActualParameter -> Type : '$1'. 

+ActualParameter -> ValueNotNull : '$1'. 

+ActualParameter -> ValueSet : '$1'. 

+% later DefinedType -> ParameterizedType : '$1' .

+% later DefinedType -> ParameterizedValueSetType : '$1' .

+

+% inlined DefinedValue -> Externalvaluereference :'$1'.

+% inlined DefinedValue -> identifier :'$1'.

+% later DefinedValue -> ParameterizedValue :'$1'.

+

+% not referenced yet AbsoluteReference -> '@' GlobalModuleReference '.' ItemSpec :{'$2','$4'}.

+

+% not referenced yet ItemSpec -> typereference :'$1'.

+% not referenced yet ItemSpec -> ItemId '.' ComponentId : {'$1','$3'}.

+

+% not referenced yet ItemId -> ItemSpec : '$1'.

+

+% not referenced yet ComponentId -> identifier :'$1'.

+% not referenced yet ComponentId -> number :'$1'.

+% not referenced yet ComponentId -> '*' :'$1'.

+

+TypeAssignment -> typereference '::=' Type :

+	#typedef{pos=element(2,'$1'),name=element(3,'$1'),typespec='$3'}.

+

+ValueAssignment -> identifier Type '::=' Value :

+	#valuedef{pos=element(2,'$1'),name=element(3,'$1'),type='$2',value='$4'}.

+

+% later ValueSetTypeAssignment -> typereference Type '::=' ValueSet :{'ValueSetTypeAssignment','$1','$2','$4'}.

+

+

+ValueSet -> '{' ElementSetSpec '}' : {valueset,'$2'}.

+

+% record(type,{tag,def,constraint}).

+Type -> BuiltinType :#type{def='$1'}.

+Type -> 'NULL' :#type{def='NULL'}.

+Type -> TaggedType:'$1'.

+Type -> ReferencedType:#type{def='$1'}. % change notag later

+Type -> ConstrainedType:'$1'.

+

+%ANY is here for compatibility with the old ASN.1 standard from 1988

+BuiltinType -> 'ANY' AnyDefBy: 

+	case '$2' of

+		[] -> 'ANY';

+	        _ -> {'ANY DEFINED BY','$2'}

+        end.	

+BuiltinType -> BitStringType :'$1'.

+BuiltinType -> 'BOOLEAN' :element(1,'$1').

+BuiltinType -> CharacterStringType :'$1'.

+BuiltinType -> ChoiceType :'$1'.

+BuiltinType -> 'EMBEDDED' 'PDV' :'EMBEDDED PDV'.

+BuiltinType -> EnumeratedType :'$1'.

+BuiltinType -> 'EXTERNAL' :element(1,'$1').

+% later BuiltinType -> InstanceOfType :'$1'.

+BuiltinType -> IntegerType :'$1'.

+% BuiltinType -> 'NULL' :element(1,'$1').

+% later BuiltinType -> ObjectClassFieldType :'$1'.

+BuiltinType -> 'OBJECT' 'IDENTIFIER' :'OBJECT IDENTIFIER'.

+BuiltinType -> 'OCTET' 'STRING' :'OCTET STRING'.

+BuiltinType -> 'REAL' :element(1,'$1').

+BuiltinType -> SequenceType :'$1'.

+BuiltinType -> SequenceOfType :'$1'.

+BuiltinType -> SetType :'$1'.

+BuiltinType -> SetOfType :'$1'.

+% The so called Useful types

+BuiltinType -> 'GeneralizedTime': 'GeneralizedTime'.

+BuiltinType -> 'UTCTime' :'UTCTime'.

+BuiltinType -> 'ObjectDescriptor' : 'ObjectDescriptor'.

+

+% moved BuiltinType -> TaggedType :'$1'.

+

+

+AnyDefBy -> 'DEFINED' 'BY' identifier: '$3'.

+AnyDefBy -> '$empty': [].

+

+NamedType -> identifier Type :

+%{_,Pos,Val} = '$1',

+%{'NamedType',Pos,{Val,'$2'}}.

+V1 = '$1', 

+{'NamedType',V1#identifier.pos,{V1#identifier.val,'$2'}}.

+NamedType -> SelectionType :'$1'.

+

+ReferencedType -> DefinedType : '$1'.

+% redundant ReferencedType -> UsefulType : 'fix'.

+ReferencedType -> SelectionType : '$1'.

+ReferencedType -> TypeFromObject : '$1'.

+% later ReferencedType -> ValueSetFromObjects : 'fix'.

+

+% to much conflicts Value -> AnyValue :'$1'.

+Value -> ValueNotNull : '$1'.

+Value -> 'NULL' :element(1,'$1').

+

+ValueNotNull -> BuiltinValue :'$1'.

+% inlined Value -> DefinedValue :'$1'. % DefinedValue , identifier

+% inlined Externalvaluereference -> Externalvaluereference :'$1'.

+ValueNotNull -> typereference '.' identifier : 

+	#'Externalvaluereference'{pos=element(2,'$1'),module=element(3,'$1'),

+	value=element(3,'$3')}.

+ValueNotNull -> identifier :'$1'.

+

+

+%tmp Value -> NamedNumber: '$1'. % not a value but part of ObjIdC

+% redundant BuiltinValue -> BitStringValue :'$1'.

+BuiltinValue -> BooleanValue :'$1'.

+BuiltinValue -> CharacterStringValue :'$1'.

+BuiltinValue -> ChoiceValue :'$1'.

+% BuiltinValue -> EmbeddedPDVValue :'$1'. ==SequenceValue

+% BuiltinValue -> EnumeratedValue :'$1'. identifier

+% BuiltinValue -> ExternalValue :'$1'. ==SequenceValue

+% later BuiltinValue -> InstanceOfValue :'$1'.

+BuiltinValue -> SignedNumber :'$1'.

+% BuiltinValue -> 'NULL' :'$1'.

+% later BuiltinValue -> ObjectClassFieldValue :'$1'.

+% replaced by SAndSOfValue BuiltinValue -> ObjectIdentifierValue :'$1'.

+BuiltinValue -> bstring :element(3,'$1').

+BuiltinValue -> hstring :element(3,'$1').

+% conflict BuiltinValue -> RealValue :'$1'.

+BuiltinValue -> SAndSOfValue :'$1'.

+% replaced BuiltinValue -> SequenceOfValue :'$1'.

+% replaced BuiltinValue -> SequenceValue :'$1'.

+% replaced BuiltinValue -> SetValue :'$1'.

+% replaced BuiltinValue -> SetOfValue :'$1'.

+% conflict redundant BuiltinValue -> TaggedValue :'$1'.

+

+% inlined ReferencedValue -> DefinedValue:'$1'.

+% ReferencedValue -> Externalvaluereference:'$1'.

+% ReferencedValue -> identifier :'$1'. 

+% later ReferencedValue -> ValueFromObject:'$1'.

+

+% inlined BooleanType -> BOOLEAN :'BOOLEAN'.

+

+% to much conflicts AnyValue -> Type ':' Value : {'ANYVALUE',{'$1','$3'}}.

+

+BooleanValue -> TRUE :true.

+BooleanValue -> FALSE :false.

+

+IntegerType -> 'INTEGER' : 'INTEGER'.

+IntegerType -> 'INTEGER' '{' NamedNumberList '}' : {'INTEGER','$3'}.

+

+NamedNumberList -> NamedNumber :['$1'].

+% modified NamedNumberList -> NamedNumberList ',' NamedNumber :'fix'.

+NamedNumberList -> NamedNumber ',' NamedNumberList :['$1'|'$3'].

+

+NamedNumber -> identifier '(' SignedNumber ')' : {'NamedNumber',element(3,'$1'),'$3'}.

+NamedNumber -> identifier '(' typereference '.' identifier ')' : {'NamedNumber',element(3,'$1'),{'ExternalValue',element(3,'$3'),element(3,'$5')}}.

+NamedNumber -> identifier '(' identifier ')' : {'NamedNumber',element(3,'$1'),element(3,'$3')}.

+

+%NamedValue -> identifier Value : 

+%	{'NamedValue',element(2,'$1'),element(3,'$1'),'$2'}.

+

+

+SignedNumber -> number : element(3,'$1').

+SignedNumber -> '-' number : - element(3,'$1').

+

+% inlined IntegerValue -> SignedNumber :'$1'.

+% conflict moved to Value IntegerValue -> identifier:'$1'.

+

+EnumeratedType -> ENUMERATED '{' Enumeration '}' :{'ENUMERATED','$3'}.

+

+% inlined Enumerations -> Enumeration :{'$1','false',[]}.

+% inlined Enumerations -> Enumeration ',' '...' : {'$1','true',[]}.

+% inlined Enumerations -> Enumeration ',' '...' ',' Enumeration : {'$1','true','$5'}.

+

+Enumeration -> EnumerationItem :['$1'].

+% modified Enumeration -> EnumerationItem ',' Enumeration :'fix'.

+Enumeration -> EnumerationItem ',' Enumeration :['$1'|'$3'].

+

+EnumerationItem -> identifier:element(3,'$1').

+EnumerationItem -> NamedNumber :'$1'.

+EnumerationItem -> '...' :'EXTENSIONMARK'.

+

+% conflict moved to Value EnumeratedValue -> identifier:'$1'.

+

+% inlined RealType -> REAL:'REAL'.

+

+RealValue -> NumericRealValue :'$1'.

+RealValue -> SpecialRealValue:'$1'.

+

+% ?? NumericRealValue -> number:'$1'. % number MUST BE '0'

+NumericRealValue -> SAndSOfValue : '$1'. % Value of the associated sequence type

+

+SpecialRealValue -> 'PLUS-INFINITY' :'$1'.

+SpecialRealValue -> 'MINUS-INFINITY' :'$1'.

+

+BitStringType -> 'BIT' 'STRING' :{'BIT STRING',[]}.

+BitStringType -> 'BIT' 'STRING' '{' NamedNumberList '}' :{'BIT STRING','$4'}.

+% NamedBitList replaced by NamedNumberList to reduce the grammar

+% Must check later that all "numbers" are positive

+

+% inlined BitStringValue -> bstring:'$1'.

+% inlined BitStringValue -> hstring:'$1'.

+% redundant use SequenceValue BitStringValue -> '{' IdentifierList '}' :$2.

+% redundant use SequenceValue BitStringValue -> '{' '}' :'fix'.

+

+IdentifierList -> identifier :[element(3,'$1')].

+% modified IdentifierList -> IdentifierList ',' identifier :'$1'.

+IdentifierList -> identifier ',' IdentifierList :[element(3,'$1')|'$3'].

+

+% inlined OctetStringType -> 'OCTET' 'STRING' :'OCTET STRING'.

+

+% inlined OctetStringValue -> bstring:'$1'.

+% inlined OctetStringValue -> hstring:'$1'.

+

+% inlined NullType -> 'NULL':'NULL'.

+

+% inlined NullValue -> NULL:'NULL'.

+

+% result is {'SEQUENCE',Optionals,Extensionmark,Componenttypelist}.

+SequenceType -> SEQUENCE '{' ComponentTypeList '}' :{'SEQUENCE','$3'}.

+% SequenceType -> SEQUENCE '{' ComponentTypeLists '}' :{'SEQUENCE','$3'}.

+% SequenceType -> SEQUENCE '{' ExtensionAndException '}' :{'SEQUENCE','$3'}.

+SequenceType -> SEQUENCE '{' '}' :{'SEQUENCE',[]}.

+

+% result is {RootComponentList,ExtensionAndException,AdditionalComponentTypeList}.

+%ComponentTypeLists -> ComponentTypeList ',' ExtensionAndException :{'$1','$3',[]}.

+%ComponentTypeLists -> ComponentTypeList :{'$1','false',[]}.

+%ComponentTypeLists -> ComponentTypeList ',' ExtensionAndException 

+%	',' ComponentTypeList :{'$1','$3', '$5'}.

+%ComponentTypeLists -> ExtensionAndException ',' ComponentTypeList :{[],'$1','$3'}.

+

+ComponentTypeList -> ComponentType :['$1'].

+% modified below ComponentTypeList -> ComponentTypeList ',' ComponentType :'$1'.

+ComponentTypeList -> ComponentType ',' ComponentTypeList  :['$1'|'$3'].

+

+% -record('ComponentType',{pos,name,type,attrib}).

+ComponentType -> '...' ExceptionSpec :{'EXTENSIONMARK',element(2,'$1'),'$2'}.

+ComponentType -> NamedType :

+	{'NamedType',Pos,{Name,Type}} = '$1',

+	#'ComponentType'{pos=Pos,name=Name,typespec=Type,prop=mandatory}.

+ComponentType -> NamedType 'OPTIONAL' : 

+	{'NamedType',Pos,{Name,Type}} = '$1',

+	#'ComponentType'{pos=Pos,name=Name,typespec=Type,prop='OPTIONAL'}.

+ComponentType -> NamedType 'DEFAULT' Value:

+	{'NamedType',Pos,{Name,Type}} = '$1',

+	#'ComponentType'{pos=Pos,name=Name,typespec=Type,prop={'DEFAULT','$3'}}.

+ComponentType -> 'COMPONENTS' 'OF' Type :{'COMPONENTS OF','$3'}.

+

+% redundant ExtensionAndException -> '...' : extensionmark.

+% ExtensionAndException -> '...' ExceptionSpec : {extensionmark,'$2'}.

+

+% replaced SequenceValue -> '{' ComponentValueList '}':'$2'.

+% replaced SequenceValue -> '{'  '}':[].

+

+ValueList -> Value :['$1'].

+ValueList -> NamedNumber :['$1'].

+% modified ValueList -> ValueList ',' Value :'$1'.

+ValueList -> Value ',' ValueList :['$1'|'$3'].

+ValueList -> Value ',' '...' :['$1' |[]].

+ValueList -> Value ValueList : ['$1',space|'$2'].

+ValueList -> NamedNumber ValueList: ['$1',space|'$2'].

+

+%ComponentValueList -> identifier ObjIdComponent:[{'NamedValue','$1','$2'}].

+%ComponentValueList -> NamedValue :['$1'].

+%ComponentValueList -> NamedValue ',' ComponentValueList:['$1'|'$3'].

+%ComponentValueList -> identifier ObjIdComponent ',' ComponentValueList :[{'NamedValue', '$1','$2'}|'$4'].

+

+SequenceOfType -> SEQUENCE OF Type : {'SEQUENCE OF','$3'}.

+

+% replaced SequenceOfValue with SAndSOfValue

+

+SAndSOfValue -> '{' ValueList '}' :'$2'.

+%SAndSOfValue -> '{' ComponentValueList '}' :'$2'.

+SAndSOfValue -> '{'  '}' :[].

+

+% save for later SetType ->

+% result is {'SET',Optionals,Extensionmark,Componenttypelist}.

+SetType -> SET '{' ComponentTypeList '}' :{'SET','$3'}.

+% SetType -> SET '{' ExtensionAndException '}' :{'SET','$3'}.

+SetType -> SET '{' '}' :{'SET',[]}.

+

+% replaced SetValue with SAndSOfValue

+

+SetOfType -> SET OF Type : {'SET OF','$3'}.

+

+% replaced SetOfValue with SAndSOfValue

+

+ChoiceType -> 'CHOICE' '{' ComponentTypeList '}' :{'CHOICE','$3'}.

+%  AlternativeTypeList is replaced by ComponentTypeList

+ChoiceValue -> identifier ':' Value : {'ChoiceValue',element(3,'$1'),'$3'}.

+% save for later SelectionType ->

+

+TaggedType -> Tag Type : '$2'#type{tag=['$1'#tag{type={default,get(tagdefault)}}]}.

+TaggedType -> Tag IMPLICIT Type :'$3'#type{tag=['$1'#tag{type='IMPLICIT'}]}.

+TaggedType -> Tag EXPLICIT Type :'$3'#type{tag=['$1'#tag{type='EXPLICIT'}]}.

+

+Tag -> '[' Class ClassNumber ']': #tag{class='$2',number='$3'}.

+Tag -> '[' Class typereference '.' identifier ']': 

+	#tag{class='$2',number=#'Externalvaluereference'{pos=element(2,'$3'),module=element(3,'$3'),

+	value=element(3,'$5')}}.

+Tag -> '[' Class number ']': #tag{class='$2',number=element(3,'$3')}.

+Tag -> '[' Class identifier ']': #tag{class='$2',number=element(3,'$3')}.

+

+ClassNumber -> number :element(3,'$1').

+% inlined above ClassNumber -> typereference '.' identifier :{'Externalvaluereference',element(3,'$1'),element(3,'$3')}.

+ClassNumber -> identifier :element(3,'$1').

+

+Class -> 'UNIVERSAL' :element(1,'$1').

+Class -> 'APPLICATION' :element(1,'$1').

+Class -> 'PRIVATE' :element(1,'$1').

+Class -> '$empty' :'CONTEXT'.

+

+% conflict redundant TaggedValue -> Value:'$1'.

+

+% inlined EmbeddedPDVType -> 'EMBEDDED' 'PDV' :'EMBEDDED PDV'.

+

+% inlined EmbeddedPDVValue -> SequenceValue:'$1'.

+

+% inlined ExternalType -> 'EXTERNAL' :'EXTERNAL'.

+

+% inlined ExternalValue -> SequenceValue :'$1'.

+

+% inlined ObjectIdentifierType -> 'OBJECT' 'IDENTIFIER' :'OBJECT IDENTIFIER'.

+

+ObjectIdentifierValue -> '{' ObjIdComponentList '}' :'$2'.

+%  inlined ObjectIdentifierValue -> SequenceAndSequenceOfValue :'$1'.

+% ObjectIdentifierValue -> '{' identifier ObjIdComponentList '}' :{'ObjectIdentifierValue','$2','$3'}.

+% ObjectIdentifierValue -> '{' typereference '.' identifier ObjIdComponentList '}' :{'ObjectIdentifierValue',{'$2','$4'},'$5'}.

+

+ObjIdComponentList -> Value:'$1'.

+ObjIdComponentList -> Value ObjIdComponentList :['$1'|'$2'].

+%ObjIdComponentList -> DefinedValue:'$1'.

+%ObjIdComponentList -> number:'$1'.

+%ObjIdComponentList -> DefinedValue ObjIdComponentList :['$1'|'$2'].

+%ObjIdComponentList -> number ObjIdComponentList :['$1'|'$2'].

+%ObjIdComponentList -> ObjIdComponent ObjIdComponentList :['$1'|'$2'].

+%ObjIdComponentList -> ObjIdComponent ObjIdComponentList :['$1'|'$2'].

+

+% redundant ObjIdComponent -> NameForm :'$1'. % expanded

+% replaced by 2 ObjIdComponent -> NumberForm :'$1'.

+% ObjIdComponent -> number :'$1'.

+% ObjIdComponent -> DefinedValue :'$1'. % means DefinedValue

+% ObjIdComponent -> NameAndNumberForm :'$1'.

+% ObjIdComponent -> NamedNumber :'$1'.

+% NamedBit replaced by NamedNumber to reduce grammar

+% must check later that "number" is positive

+

+% NameForm -> identifier:'$1'.

+

+% inlined NumberForm -> number :'$1'.

+% inlined NumberForm -> DefinedValue :'$1'.

+

+% replaced by NamedBit  NameAndNumberForm -> identifier '(' NumberForm ')'.

+% NameAndNumberForm -> NamedBit:'$1'.

+

+

+CharacterStringType -> restrictedcharacterstringtype :element(3,'$1').

+CharacterStringType -> 'CHARACTER' 'STRING' :'CHARACTER STRING'.

+

+RestrictedCharacterStringValue -> cstring :element(3, '$1').

+% modified below RestrictedCharacterStringValue -> CharacterStringList :'$1'.

+% conflict vs BuiltinValue RestrictedCharacterStringValue -> SequenceAndSequenceOfValue :'$1'.

+RestrictedCharacterStringValue -> Quadruple :'$1'.

+RestrictedCharacterStringValue -> Tuple :'$1'.

+

+% redundant CharacterStringList -> '{' ValueList '}' :'$2'. % modified

+

+% redundant CharSyms -> CharsDefn :'$1'.

+% redundant CharSyms -> CharSyms ',' CharsDefn :['$1'|'$3'].

+

+% redundant CharsDefn -> cstring :'$1'.

+% temporary replaced see below CharsDefn -> DefinedValue :'$1'.

+% redundant CharsDefn -> Value :'$1'.

+

+Quadruple -> '{' number ',' number ',' number ',' number '}' :{'Quadruple','$2','$4','$6','$8'}.

+% {Group,Plane,Row,Cell}

+

+Tuple -> '{' number ',' number '}' :{'Tuple', '$2','$4'}.

+% {TableColumn,TableRow}

+

+% inlined UnrestrictedCharacterString -> 'CHARACTER' 'STRING' :'CHARACTER STRING'.

+

+CharacterStringValue -> RestrictedCharacterStringValue :'$1'.

+% conflict vs BuiltinValue CharacterStringValue -> SequenceValue :'$1'. % UnrestrictedCharacterStringValue

+

+% inlined UsefulType -> typereference :'$1'.

+

+SelectionType -> identifier '<' Type : {'SelectionType',element(3,'$1'),'$3'}.

+

+ConstrainedType -> Type Constraint :

+	'$1'#type{constraint=merge_constraints(['$2'])}.

+ConstrainedType -> Type Constraint Constraint :

+	'$1'#type{constraint=merge_constraints(['$2','$3'])}.

+ConstrainedType -> Type Constraint Constraint Constraint:

+	'$1'#type{constraint=merge_constraints(['$2','$3','$4'])}.

+ConstrainedType -> Type Constraint Constraint Constraint Constraint:

+	'$1'#type{constraint=merge_constraints(['$2','$3','$4','$5'])}.

+%ConstrainedType -> Type Constraint :'$1'#type{constraint='$2'}.

+%ConstrainedType -> Type Constraint :'$1'#type{constraint='$2'}.

+ConstrainedType -> TypeWithConstraint :'$1'.

+

+TypeWithConstraint -> 'SET' Constraint 'OF' Type : 

+	#type{def = {'SET OF','$4'},constraint=merge_constraints(['$2'])}.		

+TypeWithConstraint -> 'SET' 'SIZE' Constraint 'OF' Type : 

+	#type{def = {'SET OF','$5'},constraint = merge_constraints([#constraint{c={'SizeConstraint','$3'#constraint.c}}])}.

+TypeWithConstraint -> 'SEQUENCE' Constraint 'OF' Type : 

+	#type{def = {'SEQUENCE OF','$4'},constraint = 

+	merge_constraints(['$2'])}.

+TypeWithConstraint -> 'SEQUENCE' 'SIZE' Constraint 'OF' Type : 

+	#type{def = {'SEQUENCE OF','$5'},constraint = merge_constraints([#constraint{c={'SizeConstraint','$3'#constraint.c}}])}.

+

+

+Constraint -> '(' ConstraintSpec ExceptionSpec ')' :

+		#constraint{c='$2',e='$3'}.

+

+% inlined Constraint -> SubTypeConstraint :'$1'.

+ConstraintSpec -> ElementSetSpecs :'$1'.

+ConstraintSpec -> UserDefinedConstraint :'$1'.

+ConstraintSpec -> TableConstraint :'$1'.

+

+TableConstraint -> ComponentRelationConstraint : '$1'.

+TableConstraint -> ObjectSet : '$1'.

+%TableConstraint -> '{' typereference '}' :tableconstraint.

+

+ComponentRelationConstraint -> '{' typereference '}' '{' '@' ComponentIdList '}' : componentrelation.

+ComponentRelationConstraint -> '{' typereference '}' '{' '@' '.' ComponentIdList '}' : componentrelation.

+

+ComponentIdList -> identifier: ['$1'].

+ComponentIdList -> identifier '.' ComponentIdList: ['$1'| '$3'].

+

+

+% later ConstraintSpec -> GeneralConstraint :'$1'.

+

+% from X.682

+UserDefinedConstraint -> 'CONSTRAINED' 'BY' '{' '}' : {constrained_by,[]}.

+UserDefinedConstraint -> 'CONSTRAINED' 'BY' 

+	'{' UserDefinedConstraintParameters '}' : {constrained_by,'$4'}.

+

+UserDefinedConstraintParameters -> UserDefinedConstraintParameter : ['$1'].

+UserDefinedConstraintParameters -> 

+	UserDefinedConstraintParameter ',' 

+	UserDefinedConstraintParameters: ['$1'|'$3'].

+

+UserDefinedConstraintParameter -> Type '.' ActualParameter : {'$1','$3'}.

+UserDefinedConstraintParameter -> ActualParameter : '$1'.

+

+

+

+ExceptionSpec -> '!' ExceptionIdentification : '$1'.

+ExceptionSpec -> '$empty' : undefined.

+

+ExceptionIdentification -> SignedNumber : '$1'.

+% inlined ExceptionIdentification -> DefinedValue : '$1'.

+ExceptionIdentification -> typereference '.' identifier : 

+	#'Externalvaluereference'{pos=element(2,'$1'),module=element(3,'$1'),

+	value=element(3,'$1')}.

+ExceptionIdentification -> identifier :'$1'.

+ExceptionIdentification -> Type ':' Value : {'$1','$3'}.

+

+% inlined SubTypeConstraint -> ElementSetSpec

+

+ElementSetSpecs -> ElementSetSpec : '$1'.

+ElementSetSpecs -> ElementSetSpec ',' '...': {'$1',[]}.

+ElementSetSpecs -> '...' ',' ElementSetSpec : {[],'$3'}.

+ElementSetSpecs -> ElementSetSpec ',' '...' ',' ElementSetSpec : {'$1','$5'}.

+

+ElementSetSpec -> Unions : '$1'.

+ElementSetSpec -> 'ALL' Exclusions : {'ALL','$2'}.

+

+Unions -> Intersections : '$1'.

+Unions -> UElems UnionMark IntersectionElements :

+	case {'$1','$3'} of	

+	{{'SingleValue',V1},{'SingleValue',V2}} -> 

+		{'SingleValue',ordsets:union(to_set(V1),to_set(V2))} 

+	end.

+

+UElems -> Unions :'$1'.

+

+Intersections -> IntersectionElements :'$1'.

+Intersections -> IElems IntersectionMark IntersectionElements :

+	case {'$1','$3'} of 

+	{{'SingleValue',V1},{'SingleValue',V2}} ->

+		{'SingleValue',ordsets:intersection(to_set(V1),to_set(V2))};

+	{V1,V2} when list(V1) ->

+	        V1 ++ [V2];

+	{V1,V2} ->

+	        [V1,V2]  

+	end.

+%Intersections -> IElems '^' IntersectionElements :{'INTERSECTION','$1','$3'}.

+%Intersections -> IElems 'INTERSECTION' IntersectionElements :{'INTERSECTION','$1','$3'}.

+

+IElems -> Intersections :'$1'.

+

+IntersectionElements -> Elements :'$1'.

+IntersectionElements -> Elems Exclusions :{'$1','$2'}.

+

+Elems -> Elements :'$1'.

+

+Exclusions -> 'EXCEPT' Elements :{'EXCEPT','$2'}.

+

+IntersectionMark -> 'INTERSECTION':'$1'.

+IntersectionMark -> '^':'$1'.

+UnionMark -> 'UNION':'$1'.

+UnionMark -> '|':'$1'.

+

+

+Elements -> SubTypeElements : '$1'.

+%Elements -> ObjectSetElements : '$1'.

+Elements -> '(' ElementSetSpec ')' : '$2'.

+Elements -> ReferencedType : '$1'.

+

+SubTypeElements -> ValueList : {'SingleValue','$1'}. % NOTE it must be a Value

+% The rule above modifyed only because of conflicts

+SubTypeElements -> 'INCLUDES' Type : {'ContainedSubType','$2'}.

+%not lalr1 if this is activated SubTypeElements -> Type : {'TypeConstraint','$1'}.

+SubTypeElements -> LowerEndpoint '..' UpperEndpoint : {'ValueRange',{'$1','$3'}}.

+SubTypeElements -> 'FROM' Constraint : {'PermittedAlphabet','$2'#constraint.c}.

+SubTypeElements -> 'SIZE' Constraint: {'SizeConstraint','$2'#constraint.c}.

+% later will introduce conflicts related to NULL SubTypeElements -> Type : {'TypeConstraint','$1'}.

+SubTypeElements -> 'WITH' 'COMPONENT' Constraint:{'WITH COMPONENT','$3'}.

+SubTypeElements -> 'WITH' 'COMPONENTS' '{' TypeConstraints '}':{'WITH COMPONENTS',{'FullSpecification','$4'}}.

+SubTypeElements -> 'WITH' 'COMPONENTS' '{' '...' ',' TypeConstraints '}' :{'WITH COMPONENTS',{'PartialSpecification','$3'}}.

+

+% inlined above InnerTypeConstraints ::= 

+% inlined above	SingleTypeConstraint::= Constraint

+% inlined above MultipleTypeConstraints ::= FullSpecification | PartialSpecification

+% inlined above FullSpecification   ::= "{" TypeConstraints "}"

+% inlined above PartialSpecification ::= "{"  "..."   ","   TypeConstraints "}"

+% TypeConstraints -> identifier : [{'NamedConstraint',element(3,'$1'),undefined,undefined}]. % is this really meaningful or allowed

+TypeConstraints -> NamedConstraint : ['$1'].

+TypeConstraints -> NamedConstraint ',' TypeConstraints : ['$1'|'$3'].

+TypeConstraints -> identifier : ['$1'].

+TypeConstraints -> identifier ',' TypeConstraints : ['$1'|'$3'].

+

+NamedConstraint -> identifier Constraint PresenceConstraint :{'NamedConstraint',element(3,'$1'),'$2','$3'}.

+NamedConstraint -> identifier Constraint  :{'NamedConstraint',element(3,'$1'),'$2',undefined}.

+NamedConstraint -> identifier PresenceConstraint :{'NamedConstraint',element(3,'$1'),undefined,'$2'}.

+

+PresenceConstraint -> 'PRESENT' : 'PRESENT'.

+PresenceConstraint -> 'ABSENT' : 'ABSENT'.

+PresenceConstraint -> 'OPTIONAL' : 'OPTIONAL'.

+

+

+

+LowerEndpoint -> LowerEndValue :'$1'.

+%LowerEndpoint -> LowerEndValue '<':{gt,'$1'}.

+LowerEndpoint -> LowerEndValue '<':('$1'+1).

+

+UpperEndpoint -> UpperEndValue :'$1'.

+%UpperEndpoint -> '<' UpperEndValue :{lt,'$2'}.

+UpperEndpoint -> '<' UpperEndValue :('$2'-1).

+

+LowerEndValue -> Value :'$1'.

+LowerEndValue -> 'MIN' :'MIN'.

+

+UpperEndValue -> Value :'$1'.

+UpperEndValue -> 'MAX' :'MAX'.

+

+

+% X.681 

+

+

+% X.681 chap 15

+

+%TypeFromObject -> ReferencedObjects '.' FieldName : {'$1','$3'}.

+TypeFromObject -> typereference '.' FieldName : {'$1','$3'}.

+

+ReferencedObjects -> typereference : '$1'.

+%ReferencedObjects -> ParameterizedObject

+%ReferencedObjects -> DefinedObjectSet

+%ReferencedObjects -> ParameterizedObjectSet

+

+FieldName -> typefieldreference : ['$1'].

+FieldName -> valuefieldreference : ['$1'].

+FieldName -> FieldName '.' FieldName : ['$1' | '$3'].

+

+PrimitiveFieldName -> typefieldreference : '$1'.

+PrimitiveFieldName -> valuefieldreference : '$1'.

+

+%ObjectSetAssignment -> typereference DefinedObjectClass '::=' ObjectSet: null.

+ObjectSetAssignment -> typereference typereference '::=' ObjectSet :

+	#typedef{pos=element(2,'$1'),name=element(3,'$1'),typespec={'ObjectSet',element(3,'$2'), '$4'}}.	

+ObjectSetAssignment -> typereference typereference '.' typereference '::=' ObjectSet.

+

+ObjectSet -> '{' ElementSetSpecs '}' : '$2'.

+ObjectSet -> '{' '...' '}' : ['EXTENSIONMARK'].

+

+%ObjectSetElements -> Object.

+% ObjectSetElements -> identifier : '$1'.

+%ObjectSetElements -> DefinedObjectSet.

+%ObjectSetElements -> ObjectSetFromObjects.

+%ObjectSetElements -> ParameterizedObjectSet.

+

+%ObjectAssignment -> identifier DefinedObjectClass '::=' Object.

+ObjectAssignment -> ValueAssignment.

+%ObjectAssignment -> identifier typereference '::=' Object.

+%ObjectAssignment -> identifier typereference '.' typereference '::=' Object.

+

+%Object -> DefinedObject: '$1'.

+%Object -> ExternalObjectReference: '$1'.%Object -> DefinedObject: '$1'.

+Object -> typereference '.' identifier: '$1'.%Object -> DefinedObject: '$1'.

+Object -> identifier: '$1'.%Object -> DefinedObject: '$1'.

+

+%Object -> ObjectDefn -> DefaultSyntax: '$1'.

+Object -> '{' FieldSetting ',' FieldSettings '}' : ['$2'|'$4'].

+Object -> '{' FieldSetting '}' :['$2'].

+

+%% For User-friendly notation

+%% Object -> ObjectDefn -> DefinedSyntax

+Object -> '{' '}'. 

+Object -> '{' DefinedSyntaxTokens '}'.

+

+% later Object -> ParameterizedObject: '$1'. look in x.683

+

+%DefinedObject -> ExternalObjectReference: '$1'.

+%DefinedObject -> identifier: '$1'.

+

+DefinedObjectClass -> typereference.

+%DefinedObjectClass -> objectclassreference.

+DefinedObjectClass -> ExternalObjectClassReference.

+%DefinedObjectClass -> typereference '.' objectclassreference.

+%%DefinedObjectClass -> UsefulObjectClassReference.

+

+ExternalObjectReference -> typereference '.' identifier.

+ExternalObjectClassReference -> typereference '.' typereference.

+%%ExternalObjectClassReference -> typereference '.' objectclassreference.

+

+ObjectDefn -> DefaultSyntax: '$1'.

+%ObjectDefn -> DefinedSyntax: '$1'.

+

+ObjectFromObject -> ReferencedObjects '.' FieldName : {'ObjectFromObject','$1','$3'}.

+

+% later look in x.683 ParameterizedObject ->

+

+%DefaultSyntax -> '{' '}'. 

+%DefaultSyntax -> '{' FieldSettings '}': '$2'.

+DefaultSyntax -> '{' FieldSetting ',' FieldSettings '}': '$2'.

+DefaultSyntax -> '{' FieldSetting '}': '$2'.

+

+FieldSetting -> PrimitiveFieldName Setting: {'$1','$2'}.

+

+FieldSettings -> FieldSetting ',' FieldSettings: ['$1'|'$3'].

+FieldSettings -> FieldSetting ',' FieldSettings: ['$1'|'$3'].

+FieldSettings -> FieldSetting: '$1'.

+

+%DefinedSyntax -> '{' '}'.

+DefinedSyntax -> '{' DefinedSyntaxTokens '}': '$2'.

+

+DefinedSyntaxTokens -> DefinedSyntaxToken: '$1'.

+DefinedSyntaxTokens -> DefinedSyntaxToken DefinedSyntaxTokens: ['$1'|'$2'].

+

+% expanded DefinedSyntaxToken -> Literal: '$1'.

+%DefinedSyntaxToken -> typereference: '$1'.

+DefinedSyntaxToken -> word: '$1'.

+DefinedSyntaxToken -> ',': '$1'.

+DefinedSyntaxToken -> Setting: '$1'.

+%DefinedSyntaxToken -> '$empty': nil .

+

+% Setting ::= Type|Value|ValueSet|Object|ObjectSet

+Setting -> Type: '$1'.

+%Setting -> Value: '$1'.

+%Setting -> ValueNotNull: '$1'.

+Setting -> BuiltinValue: '$1'.

+Setting -> ValueSet: '$1'.

+%Setting -> Object: '$1'.

+%Setting -> ExternalObjectReference.

+Setting -> typereference '.' identifier. 

+Setting -> identifier. 

+Setting -> ObjectDefn.

+

+Setting -> ObjectSet: '$1'.

+

+

+Erlang code.

+%%-author('[email protected]').

+-copyright('Copyright (c) 1991-99 Ericsson Telecom AB').

+-vsn('$Revision: /main/release/1 $').

+-include("asn1_records.hrl").

+

+to_set(V) when list(V) ->

+	ordsets:list_to_set(V);

+to_set(V) ->

+	ordsets:list_to_set([V]).

+

+merge_constraints({Rlist,ExtList}) -> % extensionmarker in constraint

+	{merge_constraints(Rlist,[],[]),

+	 merge_constraints(ExtList,[],[])};

+	

+merge_constraints(Clist) ->

+	merge_constraints(Clist, [], []).

+

+merge_constraints([Ch|Ct],Cacc, Eacc) ->

+	NewEacc = case Ch#constraint.e of

+			undefined -> Eacc;

+			E -> [E|Eacc]

+		  end,

+	merge_constraints(Ct,[fixup_constraint(Ch#constraint.c)|Cacc],NewEacc);

+

+merge_constraints([],Cacc,[]) ->

+	lists:flatten(Cacc);

+merge_constraints([],Cacc,Eacc) ->

+	lists:flatten(Cacc) ++ [{'Errors',Eacc}].

+

+fixup_constraint(C) ->

+	case C of	

+		{'SingleValue',V} when list(V) ->

+			[C, 

+			{'ValueRange',{lists:min(V),lists:max(V)}}]; 

+		{'PermittedAlphabet',{'SingleValue',V}} when list(V) ->

+			V2 = {'SingleValue',

+			       ordsets:list_to_set(lists:flatten(V))},

+			{'PermittedAlphabet',V2};

+		{'PermittedAlphabet',{'SingleValue',V}} ->

+			V2 = {'SingleValue',[V]},

+			{'PermittedAlphabet',V2};

+		{'SizeConstraint',Sc} ->

+			{'SizeConstraint',fixup_size_constraint(Sc)};

+

+		List when list(List) ->

+			[fixup_constraint(Xc)||Xc <- List]; 	

+		Other ->

+			Other

+	end.

+

+fixup_size_constraint({'ValueRange',{Lb,Ub}}) ->

+	{Lb,Ub};

+fixup_size_constraint({{'ValueRange',R},[]}) ->

+	{R,[]};

+fixup_size_constraint({[],{'ValueRange',R}}) ->

+	{[],R};

+fixup_size_constraint({{'ValueRange',R1},{'ValueRange',R2}}) ->

+	{R1,R2};

+fixup_size_constraint({'SingleValue',[Sv]}) ->

+	fixup_size_constraint({'SingleValue',Sv});

+fixup_size_constraint({'SingleValue',L}) when list(L) ->

+	ordsets:list_to_set(L);

+fixup_size_constraint({'SingleValue',L}) ->

+	{L,L};

+fixup_size_constraint({C1,C2}) ->

+	{fixup_size_constraint(C1), fixup_size_constraint(C2)}.

+

+

+

+

+

+

+

+

+

+

+

+

+