XSD files and TTCN representations

module org_w3_www__2000_09_xmldsig {

  import from XSDAUX language "TTCN-3:2011" all; 

  type RetrievalMethodType_TYPE RetrievalMethod; 

  type record DSAKeyValueType_TYPE {

    record {

      CryptoBinary_TYPE P,

      CryptoBinary_TYPE Q

    } seq_1 optional,

    CryptoBinary_TYPE G optional,

    CryptoBinary_TYPE Y,

    CryptoBinary_TYPE J optional,

    record {

      CryptoBinary_TYPE Seed,

      CryptoBinary_TYPE PgenCounter

    } seq_2 optional

  }

  type SPKIDataType_TYPE SPKIData; 

  type record KeyValueType_TYPE {

    union {

      DSAKeyValueType_TYPE DSAKeyValue,

      RSAKeyValueType_TYPE RSAKeyValue,

      anytype any_1

    } content,

    record of charstring texts optional

  }

  type PGPDataType_TYPE PGPData; 

  type ManifestType_TYPE Manifest; 

  type TransformsType_TYPE Transforms; 

  type record TransformType_TYPE {

    XSDAUX.anyURI Algorithm,

    record of union {

      anytype any_1,

      XSDAUX.string XPath

    } content optional,

    record of charstring texts optional

  }

  type XSDAUX.base64Binary DigestValueType_TYPE; 

  type SignaturePropertyType_TYPE SignatureProperty; 

  type record ObjectType_TYPE {

    XSDAUX.ID Id optional,

    XSDAUX.string MimeType optional,

    XSDAUX.anyURI Encoding optional,

    record of record {

      anytype any_1

    } content optional,

    record of charstring texts optional

  }

  type record SignedInfoType_TYPE {

    XSDAUX.ID Id optional,

    CanonicalizationMethodType_TYPE CanonicalizationMethod,

    SignatureMethodType_TYPE SignatureMethod,

    record length (1 .. infinity) of ReferenceType_TYPE Reference

  }

  type record SPKIDataType_TYPE {

    record length (1 .. infinity) of record {

      XSDAUX.base64Binary SPKISexp,

      anytype any_1 optional

    } content

  }

  type record KeyInfoType_TYPE {

    XSDAUX.ID Id optional,

    record length (1 .. infinity) of union {

      XSDAUX.string KeyName,

      KeyValueType_TYPE KeyValue,

      RetrievalMethodType_TYPE RetrievalMethod,

      X509DataType_TYPE X509Data,

      PGPDataType_TYPE PGPData,

      SPKIDataType_TYPE SPKIData,

      XSDAUX.string MgmtData,

      anytype any_1

    } content,

    record of charstring texts optional

  }

  type record SignaturePropertyType_TYPE {

    XSDAUX.anyURI Target,

    XSDAUX.ID Id optional,

    record length (1 .. infinity) of union {

      anytype any_1

    } content,

    record of charstring texts optional

  }

  type CanonicalizationMethodType_TYPE CanonicalizationMethod; 

  type KeyInfoType_TYPE KeyInfo; 

  type DigestMethodType_TYPE DigestMethod; 

  type XSDAUX.base64Binary CryptoBinary_TYPE; 

  type SignatureMethodType_TYPE SignatureMethod; 

  type record PGPDataType_TYPE {

    union {

      record {

        XSDAUX.base64Binary PGPKeyID,

        XSDAUX.base64Binary PGPKeyPacket optional,

        record of anytype any_1

      } seq_1,

      record {

        XSDAUX.base64Binary PGPKeyPacket,

        record of anytype any_1

      } seq_2

    } content

  }

  type record X509DataType_TYPE {

    record length (1 .. infinity) of record {

      union {

        X509IssuerSerialType_TYPE X509IssuerSerial,

        XSDAUX.base64Binary X509SKI,

        XSDAUX.string X509SubjectName,

        XSDAUX.base64Binary X509Certificate,

        XSDAUX.base64Binary X509CRL,

        anytype any_1

      } choice_1

    } content

  }

  type RSAKeyValueType_TYPE RSAKeyValue; 

  type XSDAUX.integerXSD HMACOutputLengthType_TYPE; 

  type record DigestMethodType_TYPE {

    XSDAUX.anyURI Algorithm,

    record of anytype any_1,

    record of charstring texts optional

  }

  type ReferenceType_TYPE Reference; 

  type record RSAKeyValueType_TYPE {

    CryptoBinary_TYPE Modulus,

    CryptoBinary_TYPE Exponent

  }

  type XSDAUX.string MgmtData; 

  type SignedInfoType_TYPE SignedInfo; 

  type record SignaturePropertiesType_TYPE {

    XSDAUX.ID Id optional,

    record length (1 .. infinity) of SignaturePropertyType_TYPE SignatureProperty

  }

  type record ReferenceType_TYPE {

    XSDAUX.ID Id optional,

    XSDAUX.anyURI URI optional,

    XSDAUX.anyURI Type optional,

    TransformsType_TYPE Transforms optional,

    DigestMethodType_TYPE DigestMethod,

    DigestValueType_TYPE DigestValue

  }

  type SignatureType_TYPE Signature; 

  type record SignatureType_TYPE {

    XSDAUX.ID Id optional,

    SignedInfoType_TYPE SignedInfo,

    SignatureValueType_TYPE SignatureValue,

    KeyInfoType_TYPE KeyInfo optional,

    record of ObjectType_TYPE Object optional

  }

  type DSAKeyValueType_TYPE DSAKeyValue; 

  type record CanonicalizationMethodType_TYPE {

    XSDAUX.anyURI Algorithm,

    record of anytype any_1,

    record of charstring texts optional

  }

  type SignatureValueType_TYPE SignatureValue; 

  type record TransformsType_TYPE {

    record length (1 .. infinity) of TransformType_TYPE Transform

  }

  type TransformType_TYPE Transform; 

  type record ManifestType_TYPE {

    XSDAUX.ID Id optional,

    record length (1 .. infinity) of ReferenceType_TYPE Reference

  }

  type ObjectType_TYPE Object; 

  type DigestValueType_TYPE DigestValue; 

  type record SignatureMethodType_TYPE {

    XSDAUX.anyURI Algorithm,

    HMACOutputLengthType_TYPE HMACOutputLength optional,

    record of anytype any_1,

    record of charstring texts optional

  }

  type X509DataType_TYPE X509Data; 

  type record X509IssuerSerialType_TYPE {

    XSDAUX.string X509IssuerName,

    XSDAUX.integerXSD X509SerialNumber

  }

  type record RetrievalMethodType_TYPE {

    XSDAUX.anyURI URI optional,

    XSDAUX.anyURI Type optional,

    TransformsType_TYPE Transforms optional

  }

  type record SignatureValueType_TYPE {

    XSDAUX.ID Id optional,

    XSDAUX.base64Binary content

  }

  type KeyValueType_TYPE KeyValue; 

  type SignaturePropertiesType_TYPE SignatureProperties; 

  type XSDAUX.string KeyName; 

}

with {

  encode "xmldsig_core_schema";

}