Commit b32b1221 authored by reinaortega's avatar reinaortega
Browse files

removing ttcn3view files

parent 43b20ceb
Loading
Loading
Loading
Loading
+0 −33
Original line number Original line Diff line number Diff line
module iso_15118_2_2010_AppProtocol {
  import from XSDAUX language "TTCN-3:2011" all; 

  type record supportedAppProtocolReq {
    record length (1 .. 20) of AppProtocolType_TYPE AppProtocol
  }

  type XSDAUX.unsignedByte idType_TYPE; 

  type record supportedAppProtocolRes {
    responseCodeType_TYPE ResponseCode,
    idType_TYPE SchemaID optional
  }

  type XSDAUX.string responseCodeType_TYPE; 

  type record AppProtocolType_TYPE {
    protocolNamespaceType_TYPE ProtocolNamespace,
    XSDAUX.unsignedInt VersionNumberMajor,
    XSDAUX.unsignedInt VersionNumberMinor,
    idType_TYPE SchemaID,
    priorityType_TYPE Priority
  }

  type XSDAUX.anyURI protocolNamespaceType_TYPE; 

  type XSDAUX.string protocolNameType_TYPE; 

  type XSDAUX.unsignedByte priorityType_TYPE; 
}
with {
  encode "V2G_CI_AppProtocol";
}
+0 −284
Original line number Original line Diff line number Diff line
module iso_15118_2_2010_MsgBody {
  import from XSDAUX language "TTCN-3:2011" all; 

  import from iso_15118_2_2010_MsgDataTypes language "XSD" all; 

  type ChargingStatusResType_TYPE ChargingStatusRes; 

  type SessionSetupReqType_TYPE SessionSetupReq; 

  type record ServiceDiscoveryResType_TYPE {
    iso_15118_2_2010_MsgDataTypes.responseCodeType_TYPE ResponseCode,
    iso_15118_2_2010_MsgDataTypes.PaymentOptionsType_TYPE PaymentOptions,
    iso_15118_2_2010_MsgDataTypes.ServiceChargeType_TYPE ChargeService,
    iso_15118_2_2010_MsgDataTypes.ServiceTagListType_TYPE ServiceList optional
  }

  type ChargingStatusReqType_TYPE ChargingStatusReq; 

  type SessionSetupResType_TYPE SessionSetupRes; 

  type record ChargeParameterDiscoveryResType_TYPE {
    iso_15118_2_2010_MsgDataTypes.responseCodeType_TYPE ResponseCode,
    iso_15118_2_2010_MsgDataTypes.SASchedulesType_TYPE SASchedules,
    iso_15118_2_2010_MsgDataTypes.EVSEChargeParameterType_TYPE EVSEChargeParameter
  }

  type record ChargingStatusReqType_TYPE {
  }

  type CertificateUpdateResType_TYPE CertificateUpdateRes; 

  type record ContractAuthenticationResType_TYPE {
    iso_15118_2_2010_MsgDataTypes.responseCodeType_TYPE ResponseCode,
    iso_15118_2_2010_MsgDataTypes.EVSEProcessingType_TYPE EVSEProcessing
  }

  type record WeldingDetectionResType_TYPE {
    iso_15118_2_2010_MsgDataTypes.responseCodeType_TYPE ResponseCode,
    iso_15118_2_2010_MsgDataTypes.DC_EVSEStatusType_TYPE DC_EVSEStatus,
    iso_15118_2_2010_MsgDataTypes.PhysicalValueType_TYPE EVSEPresentVoltage
  }

  type record CertificateInstallationReqType_TYPE {
    XSDAUX.IDREF Id optional,
    iso_15118_2_2010_MsgDataTypes.certificateType_TYPE OEMProvisioningCert,
    iso_15118_2_2010_MsgDataTypes.ListOfRootCertificateIDsType_TYPE ListOfRootCertificateIDs,
    iso_15118_2_2010_MsgDataTypes.dHParamsType_TYPE DHParams
  }

  type PowerDeliveryReqType_TYPE PowerDeliveryReq; 

  type record ChargingStatusResType_TYPE {
    iso_15118_2_2010_MsgDataTypes.responseCodeType_TYPE ResponseCode,
    iso_15118_2_2010_MsgDataTypes.evseIDType_TYPE EVSEID,
    iso_15118_2_2010_MsgDataTypes.SAIDType_TYPE SAScheduleTupleID,
    iso_15118_2_2010_MsgDataTypes.PhysicalValueType_TYPE EVSEMaxCurrent optional,
    iso_15118_2_2010_MsgDataTypes.MeterInfoType_TYPE MeterInfo optional,
    XSDAUX.booleanXSD ReceiptRequired,
    iso_15118_2_2010_MsgDataTypes.AC_EVSEStatusType_TYPE AC_EVSEStatus
  }

  type record ServiceDetailResType_TYPE {
    iso_15118_2_2010_MsgDataTypes.responseCodeType_TYPE ResponseCode,
    iso_15118_2_2010_MsgDataTypes.serviceIDType_TYPE ServiceID,
    iso_15118_2_2010_MsgDataTypes.ServiceParameterListType_TYPE ServiceParameterList optional
  }

  type PowerDeliveryResType_TYPE PowerDeliveryRes; 

  type record PreChargeReqType_TYPE {
    iso_15118_2_2010_MsgDataTypes.DC_EVStatusType_TYPE DC_EVStatus,
    iso_15118_2_2010_MsgDataTypes.PhysicalValueType_TYPE EVTargetVoltage,
    iso_15118_2_2010_MsgDataTypes.PhysicalValueType_TYPE EVTargetCurrent
  }

  type PaymentDetailsReqType_TYPE PaymentDetailsReq; 

  type PaymentDetailsResType_TYPE PaymentDetailsRes; 

  type record SessionStopType_TYPE {
  }

  type ServiceDetailReqType_TYPE ServiceDetailReq; 

  type ContractAuthenticationResType_TYPE ContractAuthenticationRes; 

  type ServiceDetailResType_TYPE ServiceDetailRes; 

  type ContractAuthenticationReqType_TYPE ContractAuthenticationReq; 

  type record CertificateUpdateReqType_TYPE {
    XSDAUX.IDREF Id optional,
    iso_15118_2_2010_MsgDataTypes.CertificateChainType_TYPE ContractSignatureCertChain,
    iso_15118_2_2010_MsgDataTypes.contractIDType_TYPE ContractID,
    iso_15118_2_2010_MsgDataTypes.ListOfRootCertificateIDsType_TYPE ListOfRootCertificateIDs,
    iso_15118_2_2010_MsgDataTypes.dHParamsType_TYPE DHParams
  }

  type record SessionSetupResType_TYPE {
    iso_15118_2_2010_MsgDataTypes.responseCodeType_TYPE ResponseCode,
    iso_15118_2_2010_MsgDataTypes.evseIDType_TYPE EVSEID,
    XSDAUX.long DateTimeNow optional
  }

  type record WeldingDetectionReqType_TYPE {
    iso_15118_2_2010_MsgDataTypes.DC_EVStatusType_TYPE DC_EVStatus
  }

  type record PaymentDetailsResType_TYPE {
    iso_15118_2_2010_MsgDataTypes.responseCodeType_TYPE ResponseCode,
    iso_15118_2_2010_MsgDataTypes.genChallengeType_TYPE GenChallenge,
    XSDAUX.long DateTimeNow
  }

  type CertificateUpdateReqType_TYPE CertificateUpdateReq; 

  type CurrentDemandResType_TYPE CurrentDemandRes; 

  type CurrentDemandReqType_TYPE CurrentDemandReq; 

  type record ServicePaymentSelectionReqType_TYPE {
    iso_15118_2_2010_MsgDataTypes.paymentOptionType_TYPE SelectedPaymentOption,
    iso_15118_2_2010_MsgDataTypes.SelectedServiceListType_TYPE SelectedServiceList
  }

  type record ServicePaymentSelectionResType_TYPE {
    iso_15118_2_2010_MsgDataTypes.responseCodeType_TYPE ResponseCode
  }

  type record ServiceDiscoveryReqType_TYPE {
    iso_15118_2_2010_MsgDataTypes.serviceScopeType_TYPE ServiceScope optional,
    iso_15118_2_2010_MsgDataTypes.serviceCategoryType_TYPE ServiceCategory optional
  }

  type record CurrentDemandResType_TYPE {
    iso_15118_2_2010_MsgDataTypes.responseCodeType_TYPE ResponseCode,
    iso_15118_2_2010_MsgDataTypes.DC_EVSEStatusType_TYPE DC_EVSEStatus,
    iso_15118_2_2010_MsgDataTypes.PhysicalValueType_TYPE EVSEPresentVoltage,
    iso_15118_2_2010_MsgDataTypes.PhysicalValueType_TYPE EVSEPresentCurrent,
    XSDAUX.booleanXSD EVSECurrentLimitAchieved,
    XSDAUX.booleanXSD EVSEVoltageLimitAchieved,
    XSDAUX.booleanXSD EVSEPowerLimitAchieved,
    iso_15118_2_2010_MsgDataTypes.PhysicalValueType_TYPE EVSEMaximumVoltageLimit optional,
    iso_15118_2_2010_MsgDataTypes.PhysicalValueType_TYPE EVSEMaximumCurrentLimit optional,
    iso_15118_2_2010_MsgDataTypes.PhysicalValueType_TYPE EVSEMaximumPowerLimit optional
  }

  type record PowerDeliveryReqType_TYPE {
    XSDAUX.booleanXSD ReadyToChargeState,
    iso_15118_2_2010_MsgDataTypes.ChargingProfileType_TYPE ChargingProfile optional,
    iso_15118_2_2010_MsgDataTypes.EVPowerDeliveryParameterType_TYPE EVPowerDeliveryParameter optional
  }

  type CertificateInstallationResType_TYPE CertificateInstallationRes; 

  type record MeteringReceiptReqType_TYPE {
    XSDAUX.IDREF Id optional,
    iso_15118_2_2010_MsgDataTypes.sessionIDType_TYPE SessionID,
    iso_15118_2_2010_MsgDataTypes.SAIDType_TYPE SAScheduleTupleID optional,
    iso_15118_2_2010_MsgDataTypes.MeterInfoType_TYPE MeterInfo
  }

  type record MeteringReceiptResType_TYPE {
    iso_15118_2_2010_MsgDataTypes.responseCodeType_TYPE ResponseCode,
    iso_15118_2_2010_MsgDataTypes.AC_EVSEStatusType_TYPE AC_EVSEStatus
  }

  type CertificateInstallationReqType_TYPE CertificateInstallationReq; 

  type record CertificateUpdateResType_TYPE {
    XSDAUX.IDREF Id,
    iso_15118_2_2010_MsgDataTypes.responseCodeType_TYPE ResponseCode,
    iso_15118_2_2010_MsgDataTypes.CertificateChainType_TYPE ContractSignatureCertChain,
    iso_15118_2_2010_MsgDataTypes.privateKeyType_TYPE ContractSignatureEncryptedPrivateKey,
    iso_15118_2_2010_MsgDataTypes.dHParamsType_TYPE DHParams,
    iso_15118_2_2010_MsgDataTypes.contractIDType_TYPE ContractID,
    XSDAUX.short RetryCounter
  }

  type record ChargeParameterDiscoveryReqType_TYPE {
    iso_15118_2_2010_MsgDataTypes.EVRequestedEnergyTransferType_TYPE EVRequestedEnergyTransferType,
    iso_15118_2_2010_MsgDataTypes.EVChargeParameterType_TYPE EVChargeParameter
  }

  type record CableCheckReqType_TYPE {
    iso_15118_2_2010_MsgDataTypes.DC_EVStatusType_TYPE DC_EVStatus
  }

  type PreChargeReqType_TYPE PreChargeReq; 

  type PreChargeResType_TYPE PreChargeRes; 

  type record PowerDeliveryResType_TYPE {
    iso_15118_2_2010_MsgDataTypes.responseCodeType_TYPE ResponseCode,
    iso_15118_2_2010_MsgDataTypes.EVSEStatusType_TYPE EVSEStatus
  }

  type record CurrentDemandReqType_TYPE {
    iso_15118_2_2010_MsgDataTypes.DC_EVStatusType_TYPE DC_EVStatus,
    iso_15118_2_2010_MsgDataTypes.PhysicalValueType_TYPE EVTargetCurrent,
    iso_15118_2_2010_MsgDataTypes.PhysicalValueType_TYPE EVMaximumVoltageLimit optional,
    iso_15118_2_2010_MsgDataTypes.PhysicalValueType_TYPE EVMaximumCurrentLimit optional,
    iso_15118_2_2010_MsgDataTypes.PhysicalValueType_TYPE EVMaximumPowerLimit optional,
    XSDAUX.booleanXSD BulkChargingComplete optional,
    XSDAUX.booleanXSD ChargingComplete,
    iso_15118_2_2010_MsgDataTypes.PhysicalValueType_TYPE RemainingTimeToFullSoC optional,
    iso_15118_2_2010_MsgDataTypes.PhysicalValueType_TYPE RemainingTimeToBulkSoC optional,
    iso_15118_2_2010_MsgDataTypes.PhysicalValueType_TYPE EVTargetVoltage
  }

  type record SessionStopResType_TYPE {
    iso_15118_2_2010_MsgDataTypes.responseCodeType_TYPE ResponseCode
  }

  type record SessionSetupReqType_TYPE {
    iso_15118_2_2010_MsgDataTypes.evccIDType_TYPE EVCCID
  }

  type ChargeParameterDiscoveryReqType_TYPE ChargeParameterDiscoveryReq; 

  type record ServiceDetailReqType_TYPE {
    iso_15118_2_2010_MsgDataTypes.serviceIDType_TYPE ServiceID
  }

  type ServicePaymentSelectionResType_TYPE ServicePaymentSelectionRes; 

  type CableCheckResType_TYPE CableCheckRes; 

  type ServicePaymentSelectionReqType_TYPE ServicePaymentSelectionReq; 

  type CableCheckReqType_TYPE CableCheckReq; 

  type ChargeParameterDiscoveryResType_TYPE ChargeParameterDiscoveryRes; 

  type WeldingDetectionReqType_TYPE WeldingDetectionReq; 

  type record PreChargeResType_TYPE {
    iso_15118_2_2010_MsgDataTypes.responseCodeType_TYPE ResponseCode,
    iso_15118_2_2010_MsgDataTypes.DC_EVSEStatusType_TYPE DC_EVSEStatus,
    iso_15118_2_2010_MsgDataTypes.PhysicalValueType_TYPE EVSEPresentVoltage
  }

  type WeldingDetectionResType_TYPE WeldingDetectionRes; 

  type record PaymentDetailsReqType_TYPE {
    iso_15118_2_2010_MsgDataTypes.contractIDType_TYPE ContractID,
    iso_15118_2_2010_MsgDataTypes.CertificateChainType_TYPE ContractSignatureCertChain
  }

  type record ContractAuthenticationReqType_TYPE {
    XSDAUX.IDREF Id,
    iso_15118_2_2010_MsgDataTypes.genChallengeType_TYPE GenChallenge optional
  }

  type record CableCheckResType_TYPE {
    iso_15118_2_2010_MsgDataTypes.responseCodeType_TYPE ResponseCode,
    iso_15118_2_2010_MsgDataTypes.DC_EVSEStatusType_TYPE DC_EVSEStatus,
    iso_15118_2_2010_MsgDataTypes.EVSEProcessingType_TYPE EVSEProcessing
  }

  type ServiceDiscoveryReqType_TYPE ServiceDiscoveryReq; 

  type ServiceDiscoveryResType_TYPE ServiceDiscoveryRes; 

  type SessionStopResType_TYPE SessionStopRes; 

  type MeteringReceiptReqType_TYPE MeteringReceiptReq; 

  type MeteringReceiptResType_TYPE MeteringReceiptRes; 

  type record CertificateInstallationResType_TYPE {
    XSDAUX.IDREF Id,
    iso_15118_2_2010_MsgDataTypes.responseCodeType_TYPE ResponseCode,
    iso_15118_2_2010_MsgDataTypes.CertificateChainType_TYPE ContractSignatureCertChain,
    iso_15118_2_2010_MsgDataTypes.privateKeyType_TYPE ContractSignatureEncryptedPrivateKey,
    iso_15118_2_2010_MsgDataTypes.dHParamsType_TYPE DHParams,
    iso_15118_2_2010_MsgDataTypes.contractIDType_TYPE ContractID
  }

  type SessionStopType_TYPE SessionStopReq; 
}
with {
  encode "V2G_CI_MsgBody";
}
+0 −359
Original line number Original line Diff line number Diff line
module iso_15118_2_2010_MsgDataTypes {
  import from XSDAUX language "TTCN-3:2011" all; 

  type XSDAUX.string paymentOptionType_TYPE; 

  type record ServiceChargeType_TYPE {
    ServiceTagType_TYPE ServiceTag,
    XSDAUX.booleanXSD FreeService,
    EVSESupportedEnergyTransferType_TYPE EnergyTransferType
  }

  type record SAScheduleTupleType_TYPE {
    SAIDType_TYPE SAScheduleTupleID,
    PMaxScheduleType_TYPE PMaxSchedule,
    SalesTariffType_TYPE SalesTariff optional
  }

  type record EVPowerDeliveryParameterType_TYPE {
  }

  type record EVChargeParameterType_TYPE {
  }

  type XSDAUX.base64Binary certificateType_TYPE; 

  type XSDAUX.string meterIDType_TYPE; 

  type XSDAUX.byte unitMultiplierType_TYPE; 

  type XSDAUX.hexBinary evseIDType_TYPE; 

  type XSDAUX.string EVSESupportedEnergyTransferType_TYPE; 

  type record RelativeTimeIntervalType_TYPE {
    XSDAUX.unsignedInt start_,
    XSDAUX.unsignedInt duration optional
  }

  type XSDAUX.string serviceNameType_TYPE; 

  type record ServiceType_TYPE {
    ServiceTagType_TYPE ServiceTag,
    XSDAUX.booleanXSD FreeService
  }

  type EntryType_TYPE Entry; 

  type XSDAUX.short meterStatusType_TYPE; 

  type record SalesTariffType_TYPE {
    XSDAUX.IDREF Id,
    SAIDType_TYPE SalesTariffID,
    tariffDescriptionType_TYPE SalesTariffDescription optional,
    XSDAUX.unsignedByte NumEPriceLevels,
    record length (1 .. infinity) of SalesTariffEntryType_TYPE SalesTariffEntry
  }

  type record ParameterSetType_TYPE {
    XSDAUX.short ParameterSetID,
    record length (1 .. infinity) of ParameterType_TYPE Parameter
  }

  type record DC_EVPowerDeliveryParameterType_TYPE {
    DC_EVStatusType_TYPE DC_EVStatus,
    XSDAUX.booleanXSD BulkChargingComplete optional,
    XSDAUX.booleanXSD ChargingComplete
  }

  type AC_EVSEStatusType_TYPE AC_EVSEStatus; 

  type XSDAUX.base64Binary sigMeterReadingType_TYPE; 

  type XSDAUX.hexBinary sessionIDType_TYPE; 

  type XSDAUX.string tariffDescriptionType_TYPE; 

  type record PaymentOptionsType_TYPE {
    record length (1 .. infinity) of paymentOptionType_TYPE PaymentOption
  }

  type record CertificateChainType_TYPE {
    certificateType_TYPE Certificate,
    SubCertificatesType_TYPE SubCertificates optional
  }

  type ServiceChargeType_TYPE ServiceCharge; 

  type XSDAUX.string costKindType_TYPE; 

  type XSDAUX.base64Binary privateKeyType_TYPE; 

  type SAScheduleListType_TYPE SAScheduleList; 

  type XSDAUX.string contractIDType_TYPE; 

  type record DC_EVSEStatusType_TYPE {
    isolationLevelType_TYPE EVSEIsolationStatus optional,
    DC_EVSEStatusCodeType_TYPE EVSEStatusCode,
    XSDAUX.unsignedInt NotificationMaxDelay,
    EVSENotificationType_TYPE EVSENotification
  }

  type record SubCertificatesType_TYPE {
    record length (1 .. infinity) of certificateType_TYPE Certificate
  }

  type XSDAUX.byte percentValueType_TYPE; 

  type EVSEStatusType_TYPE EVSEStatus; 

  type record NotificationType_TYPE {
    faultCodeType_TYPE FaultCode,
    faultMsgType_TYPE FaultMsg optional
  }

  type IntervalType_TYPE TimeInterval; 

  type record PMaxScheduleEntryType_TYPE {
    IntervalType_TYPE TimeInterval,
    PMaxType_TYPE PMax
  }

  type XSDAUX.string faultMsgType_TYPE; 

  type XSDAUX.string DC_EVErrorCodeType_TYPE; 

  type XSDAUX.string isolationLevelType_TYPE; 

  type record ProfileEntryType_TYPE {
    XSDAUX.unsignedInt ChargingProfileEntryStart,
    PMaxType_TYPE ChargingProfileEntryMaxPower
  }

  type record SelectedServiceListType_TYPE {
    record length (1 .. infinity) of SelectedServiceType_TYPE SelectedService
  }

  type SalesTariffEntryType_TYPE SalesTariffEntry; 

  type AC_EVChargeParameterType_TYPE AC_EVChargeParameter; 

  type XSDAUX.string DC_EVSEStatusCodeType_TYPE; 

  type record EVSEChargeParameterType_TYPE {
  }

  type PMaxScheduleEntryType_TYPE PMaxScheduleEntry; 

  type record SAScheduleListType_TYPE {
    record length (1 .. infinity) of SAScheduleTupleType_TYPE SAScheduleTuple
  }

  type DC_EVSEChargeParameterType_TYPE DC_EVSEChargeParameter; 

  type record EVStatusType_TYPE {
  }

  type XSDAUX.string genChallengeType_TYPE; 

  type XSDAUX.string EVSENotificationType_TYPE; 

  type XSDAUX.string serviceCategoryType_TYPE; 

  type record ConsumptionCostType_TYPE {
    XSDAUX.unsignedInt startValue,
    record of CostType_TYPE Cost optional
  }

  type XSDAUX.base64Binary dHParamsType_TYPE; 

  type XSDAUX.string faultCodeType_TYPE; 

  type XSDAUX.string unitSymbolType_TYPE; 

  type record ServiceParameterListType_TYPE {
    record length (1 .. infinity) of ParameterSetType_TYPE ParameterSet
  }

  type EVPowerDeliveryParameterType_TYPE EVPowerDeliveryParameter; 

  type RelativeTimeIntervalType_TYPE RelativeTimeInterval; 

  type SASchedulesType_TYPE SASchedules; 

  type XSDAUX.string EVSEProcessingType_TYPE; 

  type record AC_EVChargeParameterType_TYPE {
    XSDAUX.unsignedInt DepartureTime,
    PhysicalValueType_TYPE EAmount,
    PhysicalValueType_TYPE EVMaxVoltage,
    PhysicalValueType_TYPE EVMaxCurrent,
    PhysicalValueType_TYPE EVMinCurrent
  }

  type XSDAUX.string rootCertificateIDType_TYPE; 

  type record AC_EVSEChargeParameterType_TYPE {
    AC_EVSEStatusType_TYPE AC_EVSEStatus,
    PhysicalValueType_TYPE EVSEMaxVoltage,
    PhysicalValueType_TYPE EVSEMaxCurrent,
    PhysicalValueType_TYPE EVSEMinCurrent
  }

  type XSDAUX.string valueType_TYPE; 

  type record ServiceTagType_TYPE {
    serviceIDType_TYPE ServiceID,
    serviceNameType_TYPE ServiceName optional,
    serviceCategoryType_TYPE ServiceCategory,
    serviceScopeType_TYPE ServiceScope optional
  }

  type record SalesTariffEntryType_TYPE {
    IntervalType_TYPE TimeInterval,
    XSDAUX.unsignedByte EPriceLevel,
    record of ConsumptionCostType_TYPE ConsumptionCost optional
  }

  type XSDAUX.string responseCodeType_TYPE; 

  type record EntryType_TYPE {
    IntervalType_TYPE TimeInterval
  }

  type record SASchedulesType_TYPE {
  }

  type XSDAUX.short SAIDType_TYPE; 

  type record CostType_TYPE {
    costKindType_TYPE costKind,
    XSDAUX.unsignedInt amount,
    unitMultiplierType_TYPE amountMultiplier optional
  }

  type XSDAUX.string serviceScopeType_TYPE; 

  type record IntervalType_TYPE {
  }

  type record PMaxScheduleType_TYPE {
    SAIDType_TYPE PMaxScheduleID,
    record length (1 .. infinity) of PMaxScheduleEntryType_TYPE PMaxScheduleEntry
  }

  type record MeterInfoType_TYPE {
    meterIDType_TYPE MeterID,
    PhysicalValueType_TYPE MeterReading optional,
    sigMeterReadingType_TYPE SigMeterReading optional,
    meterStatusType_TYPE MeterStatus optional,
    XSDAUX.long TMeter optional
  }

  type record EVSEStatusType_TYPE {
  }

  type record PhysicalValueType_TYPE {
    unitMultiplierType_TYPE Multiplier,
    unitSymbolType_TYPE Unit optional,
    XSDAUX.short Value
  }

  type record DC_EVChargeParameterType_TYPE {
    DC_EVStatusType_TYPE DC_EVStatus,
    PhysicalValueType_TYPE EVMaximumCurrentLimit,
    PhysicalValueType_TYPE EVMaximumPowerLimit optional,
    PhysicalValueType_TYPE EVMaximumVoltageLimit,
    PhysicalValueType_TYPE EVEnergyCapacity optional,
    PhysicalValueType_TYPE EVEnergyRequest optional,
    percentValueType_TYPE FullSOC optional,
    percentValueType_TYPE BulkSOC optional
  }

  type DC_EVSEStatusType_TYPE DC_EVSEStatus; 

  type AC_EVSEChargeParameterType_TYPE AC_EVSEChargeParameter; 

  type record ChargingProfileType_TYPE {
    SAIDType_TYPE SAScheduleTupleID,
    record length (1 .. infinity) of ProfileEntryType_TYPE ProfileEntry
  }

  type EVSEChargeParameterType_TYPE EVSEChargeParameter; 

  type record ListOfRootCertificateIDsType_TYPE {
    record length (1 .. infinity) of rootCertificateIDType_TYPE RootCertificateID
  }

  type XSDAUX.short PMaxType_TYPE; 

  type DC_EVStatusType_TYPE DC_EVStatus; 

  type XSDAUX.unsignedShort serviceIDType_TYPE; 

  type record DC_EVStatusType_TYPE {
    XSDAUX.booleanXSD EVReady,
    XSDAUX.booleanXSD EVCabinConditioning optional,
    XSDAUX.booleanXSD EVRESSConditioning optional,
    DC_EVErrorCodeType_TYPE EVErrorCode,
    percentValueType_TYPE EVRESSSOC
  }

  type record SelectedServiceType_TYPE {
    serviceIDType_TYPE ServiceID,
    XSDAUX.short ParameterSetID optional
  }

  type EVStatusType_TYPE EVStatus; 

  type record ParameterType_TYPE {
    XSDAUX.string Name,
    valueType_TYPE ValueType,
    union {
      XSDAUX.booleanXSD boolValue,
      XSDAUX.byte byteValue,
      XSDAUX.short shortValue,
      XSDAUX.int intValue,
      PhysicalValueType_TYPE physicalValue,
      XSDAUX.string stringValue
    } content
  }

  type EVChargeParameterType_TYPE EVChargeParameter; 

  type XSDAUX.string EVRequestedEnergyTransferType_TYPE; 

  type record AC_EVSEStatusType_TYPE {
    XSDAUX.booleanXSD PowerSwitchClosed,
    XSDAUX.booleanXSD RCD,
    XSDAUX.unsignedInt NotificationMaxDelay,
    EVSENotificationType_TYPE EVSENotification
  }

  type record DC_EVSEChargeParameterType_TYPE {
    DC_EVSEStatusType_TYPE DC_EVSEStatus,
    PhysicalValueType_TYPE EVSEMaximumCurrentLimit,
    PhysicalValueType_TYPE EVSEMaximumPowerLimit optional,
    PhysicalValueType_TYPE EVSEMaximumVoltageLimit,
    PhysicalValueType_TYPE EVSEMinimumCurrentLimit,
    PhysicalValueType_TYPE EVSEMinimumVoltageLimit,
    PhysicalValueType_TYPE EVSECurrentRegulationTolerance optional,
    PhysicalValueType_TYPE EVSEPeakCurrentRipple,
    PhysicalValueType_TYPE EVSEEnergyToBeDelivered optional
  }

  type XSDAUX.hexBinary evccIDType_TYPE; 

  type DC_EVPowerDeliveryParameterType_TYPE DC_EVPowerDeliveryParameter; 

  type DC_EVChargeParameterType_TYPE DC_EVChargeParameter; 

  type record ServiceTagListType_TYPE {
    record length (1 .. infinity) of ServiceType_TYPE Service
  }

}
with {
  encode "V2G_CI_MsgDataTypes";
}
+0 −20
Original line number Original line Diff line number Diff line
module iso_15118_2_2010_MsgDef {
  import from iso_15118_2_2010_MsgHeader language "XSD" all; 

  type record BodyBaseType_TYPE {
  }

  type record V2G_Message {
    iso_15118_2_2010_MsgHeader.MessageHeaderType_TYPE Header,
    BodyType_TYPE Body
  }

  type record BodyType_TYPE {
    BodyBaseType_TYPE BodyElement optional
  }

  type BodyBaseType_TYPE BodyElement; 
}
with {
  encode "V2G_CI_MsgDef";
}
+0 −15
Original line number Original line Diff line number Diff line
module iso_15118_2_2010_MsgHeader {
  import from XSDAUX language "TTCN-3:2011" all; 

  import from iso_15118_2_2010_MsgDataTypes language "XSD" all; 

  type record MessageHeaderType_TYPE {
    iso_15118_2_2010_MsgDataTypes.sessionIDType_TYPE SessionID,
    iso_15118_2_2010_MsgDataTypes.NotificationType_TYPE Notification optional,
    org_w3_www__2000_09_xmldsig.SignatureType_TYPE Signature optional
  }

}
with {
  encode "V2G_CI_MsgHeader";
}
Loading