GB 16262.1 2006 信息技术 抽象语法记法 ASN．1 第1部分：基本记法规范7 L

 

T61String

TAGS

TeletexString

TRUE

TYPE-IDENTIFIER

UNION

UNIQUE

UNIVERSAL

UniversalString

UTCTime

UTFSString

VideotexString

     VisibleString

     WITH

     ModuleDefinition z, = Moduleldentifier

             DEFINITIONS

             TagDefault

             ExtensionDefault

                  “：：=”

             BEGIN

             ModuleBody

             END

    Moduleldentifier ：：= modulereference

                                Definitiveldentifier

    Definitiveldentifier : .. =" {" DefinitiveObjldComponentList "" 

                               empty

    DefinitiveObjldComponentList ：：=

              DefinitiveObjldComponent  │

              DefinitiveObj ldComponent DefinitiveObj IdComponentList

    DefinitiveObjldComponent : : =

              NameForm I

              DefinitiveNumberForm  [

              DefinitiveNameAndNumberForm

    DefinitiveNumberForm : z = number

    DdinitiveNameAndNumberForm ：：=identifier "(" DefinitiveNumberForm ")"

    TagDefault ：：=

                EXPLICIT TAGS  [

                IMPLICIT TAGS   │

                AUTOMATIC TAGS    [

                empty

    ExtensionDefau：：=

               EXTENSIBILITY IMPLIED │empty

ModuleBody ：：= Exports Imports AssignmentList  │

                         empty

    Exports z ：：= EXPORTS SymbolsExported "t"

                         EXPORTS ALL ";" [

                         empty

    SymbolsExported ：：= SymbolList  │

                               empty

    Imports ：： = IMPORTS Symbolslmported ";"  │

                    empty

    Symbolslmported ：：= SymbolsFromModuhList  │

                    empty

    SymbolsFromModuleList ：：=

                SymbolsFromModule  │

                SymbolsFromModuleList SymbolsFromModule

SymbolsFromModule :: = SymholList FROM GlobalModuleReference

GlobalModuleReference ：：=modulereference AssignedIdentifier

AssignedIdentifier ：：= ObjectldentifierValue  │

          l~)efinedVa|ue  │

          empty

SymbolList ::= Symbol  │SymbolList "," Symbol

Symbol .z= Reference[ ParameterizedReference

Reference t '

         Typere{erence      [

         valuereference       │

         objectclassreference  [

         objectre{erence      │

         ohjectsetre{erence

AsslgnmentList ：：= Assignment │AssignmentList Assignment

Assignment：：=

         TypeAssignment         │

         VslueAssignment          │

│

         ValueSetTypeAssignment  │

         ObjectClassAssignment    │

         ObjectAssignment       │

          ObjeetSetAssignment      │

          ParsmeterizedAssignment

I~{inedType :.-

          ExternalTypeRe{erence  │

          typere{erence        │

          ParameterizedType     [

          ParameterizedValueSetType

ExternalTypeReference ：：=

          modulere{erence

¨  ¨

         typereference

NonParameterizedTypeName ：：=

         ExternaTypeReference

         typereference         │

DefinedValue ：：=

         ExternalValueReference

         valuereference

          ParameterizedValue

ExternalValueReference :: =

          modulereferenee

                      “.”

          valuereference

AbsoluteReterence : : = "@" ModuhIdentifier

                        “.”

         ItemSpec

ItemSpec : : =

         typereference │

         ItemId ". " ComponentId

Itemld : : = ItemSpec

ComponentId : : =

         identifier t number│"* "

TypeAssignment   : : =typereferenee

                                                     : : =

                          Type

ValueAssignment: : =valuereference

                          Type

                                                   “: : =”

                          Value

        va[uereference

                “: : =”

         "<"＆NonParameterizedTypeName ">"

         "</"＆NonParameterizedTypeName ">" 

         "<" & NonParameterizedTypeName "/>"

ValueSetTypeAssignment : : =typereierence

                                    Type

                                                                           “: : =”

ValueSet

ValueSet: : = "{"      ElementSetSpees ")"

Type .: = BuiltinType J RefereneedType I ConstrainedType

BuiltinType: : =

         BitStringType    │

         BooleanType       │

         CharacterStringType │

        ChoiceType      │

EmbeddedPDVType

EnumeratedType

ExternalType

InstanceOfType

        IntegerType

        NulIType

        ObjectClassFieldType │

        ObjectldentifierType │

        OctetStringType    │

        RealType

        RelativeOIDType

        SequenceType

         SequenceOfType

         SetType

         SetOfType

         TaggedType

NamedType identi::=fier Type

ReferencedType :: =

         DefinedType     │

         UsefulType      │

         SelectionType    │

         TypeFromObject   │

         ValueSetFromObjects

Value::=BuihinValue│ReferencedValue I ObjeetClassFieldValue

BuiltinValue ::=

         BitStringValue     │

         BooleanValue       │

         CharacterStringValue │

         ChoiceValue      │

        EmbeddedPDVValue

        EnumeratedValue

        ExternalValue

        InstanceOtValue

        IntegerValue

        NullValue

        ObjeetIdentifierValu

        OctetStringValue

        RealValue

         Relative01DVahe

         SequeneeValue

         SequeneeOfValue

         SetValue

         SetOfValue

         TaggedValue

ReferencedValue::=

         DefinedValue  │

         ValueFromObject

NamedValue::= identifier Value

                                                        

／"& identifier”>

BooleanType ~z =BOOLEAN

BooleanValue:.= TRUE │FALSE

    ”<"＆"true"”／>" │

    ”<"&“false" "/>"

IntegerType : : =

                 INTEGER l

                 INTEGER "{" NamedNumberList”)"

NamedNumberList : : =

                 NamedNumber│

                NamedNumberList  ....

                                        ,  NamedNumber

NamedNumber : :=

                 identifier "(" SignedNumber ")'

                 identifier "(" DefinedValue ")"

SignedNumber ... = number │"-" number

IntegerValue ::= SignedNumber } identifier

                SignedNumber│

                 "<"8L identifier "/>"

EnumeratedType : : =

                      ENUMERATED "{" Enumerations "}"

Enumerations ::= RootEnumeradon │

                 RootEnumeration " " "   "

                                       ExceptionSpec  l

                 RootEnumeration  .... ...   ExceptionSpee "," AdditionalEnumeration

RootEnumeration ::= Enumeration

AdditionalEnumeration :: = Enumeration

Enumeration ::= Enumerationltem I Enumerationltem " ," Enumeration

Enumerationhem :: = identifier I NamedNumber

EnumeratedValue : : = identifier

＆identifier "/>"

RealType :: = REAL

RealValue:: =

         NumericRealValue ] SpeeialRealValue

NumerieRealValue ::=

         Realnumber│

         "-" realnumber │

         SequenceValue一相关序列类型的值

SpecialRealValue :: =

          PLUS-INFINITY I MINUS-INFINITY

          Realnumber │

           "-" realnumber

           "<"＆PLUS-INFINITY "/>" [ "<"8L MINUS-INFINITY "/>"

BitStringType ~ ~ =  BIT STRING │BIT STRING "{" NamedBitList "}"

NamedBitList::=  NamedBit I NamedBitList "," NamedBit

NamedBit :: =  identifier "(" number ")"│

           identifier "(" DefinedValue ")"

BitStringValue ::=bstring I hatting[ "{" IdentifierList "}" │"{  ....  }"│CONTAINING Value

IdentifierList ::=  identifier I IdentifierList "," identifier

│

│

│

           empty

           "'<"& identifier "/>"│

OetetStringType ::=OCTET STRING

OctetStringValue :: = bstring │hstring│CONTAINING Value

NullType ::=  NULL

NullValue ::=  NULL

SequenceType ::=

          SEQUENCE

          SEQUENCE

          SEQUENCE

"}"

ExtensioaAndExceptioa OptionalExteusionMarker "}"

ComponentTypeLists '* }"

ExtensionAndException ::=  ..." │"... " ExceptionSpec

OptionalExtensionMarker ::= ..." │"... " empty

ComponentTypeLists ::=

           RootComponentTypeList │

           RootComponentTypeList "," ExtensionAndException ExtensionAdditions

                OptionalExtensionMarker  │

           RootComponentTypeList "," ExtensionAndException ExtensionAdditions

                ExtensionEndMarker "," RootComponentTypeList │

        ExtensionAndException ExtensionAdditions ExensionEndMarker ","

                RootComponentTypeList│

       ExtensionAndException ExtensionAdditions OptionalExtensionMarker

RootComponentTypeList ::= ComponentTypeList

                         -- " " ExtensionAdditionList│empty

ExtensionAdditions ::= ,

ExtensionAdditionList ::= ExtensionAddition  │

           ExtensionAdditionList "," ExtensionAddition

ExtensionAddition ::= ComponentType│ExtensionAdditionGroup

                                   "[["

ExtensionAdditionGroup :: =     VersionNumber ComponentTypeList "]]"

VersionNumber :: = empty [ number ":"

ComponentTypeList :: = ComponentType │

                               ComponentTypeList "," ComponentType

ComponentType :: =

         NamedType [

         NamedType OPTIONAL ]

         NamedType DEFAULT Value [

         COMPONENTS OF Type

SequenceValue ::="{" ComponentValueList "}" ] "{" "}"

ComponentValueList ::= NamedValue │

                     ComponentValueList  ....  NamedValue

│

          empty

SequeneeOfType ::= SEQUENCE OF Type [ SEQUENCE OF NamedType

SequeneeOfValue ::= "{" ValueList "}" │"{" NamedValueList "}"│"{  ....  }"

ValueList ::=  Value I ValueList "," Value

│

│

│

         empty

│

│

          "<"& NonParameterizedTypeName‘’／>"

│

│

               "</" & NonParameterizedTypeName ">" │

＆identifier ">"

SetType  ::=  SET "{" "}" │

       SET "{" ExtensionAndException OptionalExtensionMarker "}"

                      SET "{" ComponentTypeLists "} '~

SetValue ::= "{" ComponentValueList ")" [ "{" "}"

SetOfType :: = SET OF Type I SEQUENCE OF NamedType

SetOfValue  ::= "{" ValueList ")" [ "(" NamedValueList "}" [ "{" "}"

│

         empty

ChoiceType ::= CHOICE "{" AlternativeTypeLists "}"

AlternativeTypeLists z ::=

         RootAlternativeTypeList │

         RootAlternativeTypeList  ....,

              ExtensionAndException ExtensionAdditionAlternatives

              OptionalExtensionMarker

RootAlternativeTypeList  ::=  AlternativeTypeList

ExtensionAdditionAlternatives::= "," ExtensionAdditionAlternativesList │mpty

ExtensionAdditionAlternativesList  ::=  ExtensionAdditionAlternative│

         ExtensionAdditionAlternativesList "," ExtensionAdditionAlternative

ExtensionAdditionAlternative  ::=  ExtensionAdditionAlternativesGroup [ NamedType

ExtensionAdditionAlternativesGroup::="[[" VersionNumber AlternativeTypeList "]']"

AlternativeTypeList  ::=  NamedType │

                                    AlternativeTypeList "," NamedType

ChoiceValue  ::=  identifier ".." Value

＆identifier

SelectionType  ::= identifier "<” Type

TaggedType ::= Tag Type │

                       Tag IMPLICIT Type │

                       Tag EXPLICIT Type        "

Tag  ::=  "[" Class ClassNumber "]"

ClassNumber ::= number │DefinedValue

Class ::= UNIVERSAL    │

               APPLICATION]

               PRIVATE   │

               empty

TaggedValue  ::=  Value

EmbeddedPDVType ::=   EMBEDDED PDV

EmbeddedPDVValue ::=  SequeneeValue

ExternalType ::= EXTERNAL

ExternalValue :: = SequenceValue

ObjectldentifierType  ::=  OBJECT IDENTIFIER

 ObjectldentifierValue  ::=  "{" ObjldComponentsList ")"│

                                "(" DefinedValue ObjldComponentsList "}"

ObjldComponentsList ::=  ObjIdComponents │

                                ObjldComponents ObjldComponentsList

0bjldComponents ::=  NameForm          │

                             NumberForm         │

                             NameAndNumberForm  │

                             DefinedValue

NameForm  ::= identifier

NumberForm  ::= number[ DefinedValue

NameAndNumberForm  ::= identifier "" NumberForm ")"

”>”

│

         NameForm      │

│

RelativeOIDType  ::=

         RELATIVE-OID

RelativeOIDValue ::=

         "(" RelativeOIDComponentsList "}"

RelativeOIDComponentsList ::=

         RelativeOIDComponents │

         RelativeOIDComponents RelativeOIDComponentsList

RelativeOIDComponents ::=  NumberForm │

         NameAndNumberForm  │

         DefinedValue

│

│

CharacterStringType  ::=  RestrictedCharacterStringType │UnrestrictedCharaeterStfingType

RestrictedCharacterStringType ::=

         BMPString    │

         GeneralString  │

         GraphieString  │

         IASString   │

         IS0646String│

         NumerieString │

         PrintableString  │

         TeletexString   │

         TflString     │

         UniversalString │

          UTF8String   │

          VideotexString│

          VisibleString

      RestrictedCharacterStringValue :: = cstring j CharacterStringList │Quadruple ( Tuple

      CharacterStringList  ::= " CharSyms

                           ,,{         .},,

      CharSyms  ::=CharsDefn I CharSyms "," CharsDefn

      CharsDefn ::= estring t Quadruple [ Tuple│DefinedValue

      Quadruple ::=    Group ",  Plane "," Row " ," Cell "} ~

                                                              │! { rf

      Group  ::= number

      Plane ::= number

      Row ::= number

      Cell ::=number

             { 11          II              II

      Tuple        TableColumn  ," TableRow  }"

      TableColumn ::=number

      TableRow ::= number

      UnrestrietedCharacterStringType  ::=CHARACTER STRING

      CharacterStringValue ::= RestfietedCharacterStringValue│UnrestrietedCharaeterStringValue

│

UnrestrietedCharaeterStringValue ::= SequenceValue

UsefulType ::= typereference

     NumerieString    VisibleString

     PrintableString   IS0646String

     TeletexString    IA5String

     T61String        GraphicString

     VideotexString   GeneralString

     UniversalString   BMPString

     GeneralizedTime

     UTCTime

     ObjectDescriptor

    ConstrainedType ::=

               Type Constraint│

               TypeWithConstraint

    TypeWithConstraint ::=

               SET Constraint OF Type         │

               SET SizeConstraint OF Type     │

               SEQUENCE Constraint OF Type   │

               SEQUENCE SizeConstraint OF Type │

               SET Constraint OF NamedType    │

               SET SizeConstraint OF NamedType   [

          SEQUENCE Constraint OF NamedType│

          SEQUENCE SizeConstraint OF NamedType

Constraint ::="(" ConstraintSpec ExceptionSpec ")"

ConstraintSpec :: = SubtypeConstraint I

                       GeneralConstraint

                       "V" ExceptionIdentification ] empty

ExceptionSpec::= .

Exceptionldentification ::=SignedNumber│

         DefinedValue  │

         Type  ....

                 ..  Value

SubtypeConstraint ::=ElementSetSpecs

ElementSetSpecs : :=

         RootElementSetSpec │

         RootEtementSetSpec "," "...   "│

         RootEIementSetSpec  ........,       ...  "," AdditionalElementSetSpec

RootElementSetSpec::= ElementSetSpec

AdditionalElementSetSpec::= ElementSetSpec

ElementSetSpec :: = Unions│ALL Exclusions

Unions .:= Intersections │

          UElems UnionMark Intersections

UElems ::= Unions

Intersections ::= IntersectionElements │

          IE[ems IntersectionMark IntersectionElements

IElems::=Intersections

IntersectionElements::=Elements │Elems Exclusions

Elems::= Elements

Exclusions ::= EXCEPT Elements

 UnionMar::="I"      │UNION

IntersectionMark::= "'" ] INTERSECTION

 Elements : :2

          SubtypeElements │

          ObjeetSetElements [

          "(" ElementSetSpec ")"

 SubtypeElements::=

          SingleValue │

          ContainedSubtype  │

          ValueRange       │

          PermittedAlphabet │

          SizeConstraint   │

          TypeConstraint  │

         InnerTypeConstraints │

         PatterrtConstraint

SingleValue::=Value

ContainedSubtype::= Includes Type

Includes ::=INCLUDES I empty

ValueRange  ::=LowerEndpoint ".." UpperEndpoint

LowerEndpoint::= LowerEndValue I LowerEndValue ",("

UpperEndpoint ::= UpperEndValue [ "<" UpperEndValue

LowerEndValue ::= Valu

UpperEndValu::= Value

MIN

MAX

SizeConstraint ::= SIZE Constraint

PermittedAlphabet::= FROM Constraint

TypeConstraint ::= Type

InnerTypeConstraints::=

          WITH COMPONENT SingleTypeConstraint│

          WITH COMPONENTS MultipleTypeConstraints

SingleTypeConstraint::= Constraint "

MultipleTypeC0nstraints ::= FullSpecification│PartialSpecification

FullSpecification ::= (" TypeConstraints "}"

PartialSpeeifieation ::= "{  ....  ... " "," TypeConstraints "}"

TypeConstraints::=

          NamedConstraint│

          NamedConstraint "," TypeConstraints

NamedConstraint::=

          identifier ComponentConstraint

ComponentConstraint ::= ValueConstraint PreseneeConstraint

ValueConstraint::= Constraint ] empty

PresenceConstraint::=PRESENT I ABSENT I OPTIONAL │empty

PatternConstraint ::= PATTERN Value

 

1130