reorga of ASN.1 files keysync
authorVolker Birk <vb@pep.foundation>
Tue, 23 Aug 2016 12:06:10 +0200
branchkeysync
changeset 10638f9c94812786
parent 1062 3911a390737c
child 1064 8a6ce228b20c
reorga of ASN.1 files
asn.1/devicegroup.asn1
asn.1/pEp.asn1
     1.1 --- a/asn.1/devicegroup.asn1	Tue Aug 23 11:59:54 2016 +0200
     1.2 +++ b/asn.1/devicegroup.asn1	Tue Aug 23 12:06:10 2016 +0200
     1.3 @@ -6,7 +6,7 @@
     1.4  BEGIN
     1.5  
     1.6  EXPORTS DeviceGroup-Protocol;
     1.7 -IMPORTS IdentityList, Header FROM PEP;
     1.8 +IMPORTS Version, Identity, IdentityList FROM PEP;
     1.9  
    1.10  Beacon ::= SEQUENCE {
    1.11  
    1.12 @@ -23,7 +23,15 @@
    1.13  /* for the tags see end of sync.fsm */
    1.14  
    1.15  DeviceGroup-Protocol ::= SEQUENCE {
    1.16 -    header Header,
    1.17 +    header SEQUENCE {
    1.18 +        version     Version,
    1.19 +        sequence    INTEGER,  /* always increases */
    1.20 +        me          Identity, /* identity of the sender */
    1.21 +        state       INTEGER,  /* state the sender is in */
    1.22 +        devicegroup BOOLEAN DEFAULT FALSE
    1.23 +            /* signals if this message is coming from a device group member */
    1.24 +    },
    1.25 +
    1.26      payload CHOICE {
    1.27          beacon [APPLICATION 2] Beacon,
    1.28          handshakeRequest [APPLICATION 3] HandshakeRequest,
     2.1 --- a/asn.1/pEp.asn1	Tue Aug 23 11:59:54 2016 +0200
     2.2 +++ b/asn.1/pEp.asn1	Tue Aug 23 12:06:10 2016 +0200
     2.3 @@ -5,7 +5,7 @@
     2.4  
     2.5  BEGIN
     2.6  
     2.7 -EXPORTS Identity, IdentityList, Header;
     2.8 +EXPORTS Version, Identity, IdentityList;
     2.9  
    2.10  major-version INTEGER ::= 1
    2.11  minor-version INTEGER ::= 0
    2.12 @@ -30,14 +30,5 @@
    2.13      minor       INTEGER (0..255) DEFAULT minor-version
    2.14  }
    2.15  
    2.16 -Header ::= SEQUENCE {
    2.17 -    version     Version,
    2.18 -    sequence    INTEGER,  /* always increases */
    2.19 -    me          Identity, /* identity of the sender */
    2.20 -    state       INTEGER,  /* state the sender is in */
    2.21 -    devicegroup BOOLEAN DEFAULT FALSE
    2.22 -        /* signals if this message is coming from a device group member */
    2.23 -}
    2.24 -
    2.25  END
    2.26