Commit 2d4735e2 authored by Yann Garcia's avatar Yann Garcia
Browse files

Validate AtsCise_TestCases.TC_CDM_NODE_EI_NA_SUB_DELETE_BV_01_xx against CISE Node

parent d520b3c2
Loading
Loading
Loading
Loading
+164 −151

File changed.

Preview size limit exceeded, changes collapsed.

+31 −31
Original line number Original line Diff line number Diff line
@@ -364,7 +364,7 @@ module LibCise_Functions {
      alt {
      alt {
        [] httpPort.receive(
        [] httpPort.receive(
                            mw_http_response(
                            mw_http_response(
                                              mw_http_response_ok(
                                              mw_http_response_202_accepted(
                                                                            mw_http_message_body_xml(
                                                                            mw_http_message_body_xml(
                                                                                                    mw_xml_body_acknowledgement(
                                                                                                    mw_xml_body_acknowledgement(
                                                                                                                                mw_acknowledgement(
                                                                                                                                mw_acknowledgement(
@@ -378,7 +378,7 @@ module LibCise_Functions {
                            )))))) {
                            )))))) {
          tc_ac.stop;
          tc_ac.stop;


          log("f_process_unsubscribe: IUT successfully received synchronous Acknowledgment");
          log("f_process_unsubscribe: IUT successfully sent synchronous Acknowledgment");
          v_res_code := true;
          v_res_code := true;
        }
        }
        [] httpPort.receive(
        [] httpPort.receive(
@@ -390,7 +390,7 @@ module LibCise_Functions {
                            ))))) {
                            ))))) {
          tc_ac.stop;
          tc_ac.stop;


          log("f_process_unsubscribe: IUT successfully received synchronous Acknowledgment");
          log("f_process_unsubscribe: IUTsent an error Acknowledgment");
          v_res_code := true;
          v_res_code := true;
        }
        }
        [] tc_ac.timeout {
        [] tc_ac.timeout {
@@ -758,7 +758,7 @@ module LibCise_Functions {
        [v_recv_sync_ack == true]
        [v_recv_sync_ack == true]
          httpPort.receive(
          httpPort.receive(
                            mw_http_response(
                            mw_http_response(
                                            mw_http_response_201_created(
                                            mw_http_response_202_accepted(
                                                                          mw_http_message_body_xml(
                                                                          mw_http_message_body_xml(
                                                                                                    mw_xml_body_acknowledgement(
                                                                                                    mw_xml_body_acknowledgement(
                                                                                                                                mw_acknowledgement(
                                                                                                                                mw_acknowledgement(
+14 −7

File changed.

Preview size limit exceeded, changes collapsed.

+73 −21
Original line number Original line Diff line number Diff line
@@ -2930,9 +2930,13 @@ module LibCise_Templates {
                                                             in charstring p_identifier_uuid,
                                                             in charstring p_identifier_uuid,
                                                             in charstring p_uuid,
                                                             in charstring p_uuid,
                                                             in integer p_senderSea := enum2int(PX_CISE_SEA_BASSIN),
                                                             in integer p_senderSea := enum2int(PX_CISE_SEA_BASSIN),
                                                             in integer p_senderRole := enum2int(PX_CISE_CONSUMER)
                                                             in integer p_senderRole := enum2int(PX_CISE_CONSUMER),
                                                             in integer p_informationSecurityLevel := enum2int(PX_INFORMATION_SECURITY_LEVEL),
                                                             in integer p_informationSensitivity := enum2int(PX_INFORMATION_SENSITIVITY),
                                                             in boolean p_isPersonalData := PX_IS_PERSONAL_DATA,
                                                             in integer p_purpose := enum2int(PX_PURPOSE)
                                                             ) := {
                                                             ) := {
      type_      := Vessel,
      type_      := VesselService,
      identifier := {
      identifier := {
        generatedBy := {
        generatedBy := {
          type_                := p_type,
          type_                := p_type,
@@ -2945,6 +2949,10 @@ module LibCise_Templates {
      },
      },
      senderSea  := p_senderSea,
      senderSea  := p_senderSea,
      senderRole := p_senderRole,
      senderRole := p_senderRole,
      informationSecurityLevel := p_informationSecurityLevel,
      informationSensitivity   := p_informationSensitivity,
      isPersonalData           := p_isPersonalData,
      purpose                  := p_purpose,
      content                  := omit
      content                  := omit
    } // End of template m_ut_description_abstract
    } // End of template m_ut_description_abstract


@@ -2955,9 +2963,13 @@ module LibCise_Templates {
                                                           in charstring p_uuid,
                                                           in charstring p_uuid,
                                                           in integer p_senderSea := enum2int(PX_CISE_SEA_BASSIN),
                                                           in integer p_senderSea := enum2int(PX_CISE_SEA_BASSIN),
                                                           in integer p_senderRole := enum2int(PX_CISE_CONSUMER),
                                                           in integer p_senderRole := enum2int(PX_CISE_CONSUMER),
                                                           in integer p_informationSecurityLevel := enum2int(PX_INFORMATION_SECURITY_LEVEL),
                                                           in integer p_informationSensitivity := enum2int(PX_INFORMATION_SENSITIVITY),
                                                           in boolean p_isPersonalData := PX_IS_PERSONAL_DATA,
                                                           in integer p_purpose := enum2int(PX_PURPOSE),
                                                           in template (value) VesselContent p_vessel := m_ut_vessel
                                                           in template (value) VesselContent p_vessel := m_ut_vessel
                                                           ) modifies m_ut_description_abstract := {
                                                           ) modifies m_ut_description_abstract := {
      type_      := Vessel,
      type_      := VesselService,
      content    := {
      content    := {
        vessel   := p_vessel
        vessel   := p_vessel
      }
      }
@@ -2978,6 +2990,10 @@ module LibCise_Templates {
                                                           in charstring p_uuid,
                                                           in charstring p_uuid,
                                                           in integer p_senderSea := enum2int(PX_CISE_SEA_BASSIN),
                                                           in integer p_senderSea := enum2int(PX_CISE_SEA_BASSIN),
                                                           in integer p_senderRole := enum2int(PX_CISE_CONSUMER),
                                                           in integer p_senderRole := enum2int(PX_CISE_CONSUMER),
                                                           in integer p_informationSecurityLevel := enum2int(PX_INFORMATION_SECURITY_LEVEL),
                                                           in integer p_informationSensitivity := enum2int(PX_INFORMATION_SENSITIVITY),
                                                           in boolean p_isPersonalData := PX_IS_PERSONAL_DATA,
                                                           in integer p_purpose := enum2int(PX_PURPOSE),
                                                           in template (value) ActionContent p_action := m_ut_action
                                                           in template (value) ActionContent p_action := m_ut_action
                                                           ) modifies m_ut_description_abstract := {
                                                           ) modifies m_ut_description_abstract := {
      type_      := Action,
      type_      := Action,
@@ -3007,6 +3023,10 @@ module LibCise_Templates {
                                                            in charstring p_uuid,
                                                            in charstring p_uuid,
                                                            in integer p_senderSea := enum2int(PX_CISE_SEA_BASSIN),
                                                            in integer p_senderSea := enum2int(PX_CISE_SEA_BASSIN),
                                                            in integer p_senderRole := enum2int(PX_CISE_CONSUMER),
                                                            in integer p_senderRole := enum2int(PX_CISE_CONSUMER),
                                                            in integer p_informationSecurityLevel := enum2int(PX_INFORMATION_SECURITY_LEVEL),
                                                            in integer p_informationSensitivity := enum2int(PX_INFORMATION_SENSITIVITY),
                                                            in boolean p_isPersonalData := PX_IS_PERSONAL_DATA,
                                                            in integer p_purpose := enum2int(PX_PURPOSE),
                                                            in template (value) AnomalyContent p_anomaly := m_ut_anomaly
                                                            in template (value) AnomalyContent p_anomaly := m_ut_anomaly
                                                            ) modifies m_ut_description_abstract := {
                                                            ) modifies m_ut_description_abstract := {
      type_      := Anomaly,
      type_      := Anomaly,
@@ -3032,6 +3052,10 @@ module LibCise_Templates {
                                                                              in charstring p_uuid,
                                                                              in charstring p_uuid,
                                                                              in integer p_senderSea := enum2int(PX_CISE_SEA_BASSIN),
                                                                              in integer p_senderSea := enum2int(PX_CISE_SEA_BASSIN),
                                                                              in integer p_senderRole := enum2int(PX_CISE_CONSUMER),
                                                                              in integer p_senderRole := enum2int(PX_CISE_CONSUMER),
                                                                              in integer p_informationSecurityLevel := enum2int(PX_INFORMATION_SECURITY_LEVEL),
                                                                              in integer p_informationSensitivity := enum2int(PX_INFORMATION_SENSITIVITY),
                                                                              in boolean p_isPersonalData := PX_IS_PERSONAL_DATA,
                                                                              in integer p_purpose := enum2int(PX_PURPOSE),
                                                                              in template (value) CertifificateDocumentTypeContent p_certificate_document_type := m_ut_certificate_document_type
                                                                              in template (value) CertifificateDocumentTypeContent p_certificate_document_type := m_ut_certificate_document_type
                                                                              ) modifies m_ut_description_abstract := {
                                                                              ) modifies m_ut_description_abstract := {
      type_      := CertificateDocumentType,
      type_      := CertificateDocumentType,
@@ -3061,6 +3085,10 @@ module LibCise_Templates {
                                                            in charstring p_uuid,
                                                            in charstring p_uuid,
                                                            in integer p_senderSea := enum2int(PX_CISE_SEA_BASSIN),
                                                            in integer p_senderSea := enum2int(PX_CISE_SEA_BASSIN),
                                                            in integer p_senderRole := enum2int(PX_CISE_CONSUMER),
                                                            in integer p_senderRole := enum2int(PX_CISE_CONSUMER),
                                                            in integer p_informationSecurityLevel := enum2int(PX_INFORMATION_SECURITY_LEVEL),
                                                            in integer p_informationSensitivity := enum2int(PX_INFORMATION_SENSITIVITY),
                                                            in boolean p_isPersonalData := PX_IS_PERSONAL_DATA,
                                                            in integer p_purpose := enum2int(PX_PURPOSE),
                                                            in template (value) IncidentContent p_incident := m_ut_incident
                                                            in template (value) IncidentContent p_incident := m_ut_incident
                                                            ) modifies m_ut_description_abstract := {
                                                            ) modifies m_ut_description_abstract := {
      type_      := Incident,
      type_      := Incident,
@@ -3090,6 +3118,10 @@ module LibCise_Templates {
                                                                                 in charstring p_uuid,
                                                                                 in charstring p_uuid,
                                                                                 in integer p_senderSea := enum2int(PX_CISE_SEA_BASSIN),
                                                                                 in integer p_senderSea := enum2int(PX_CISE_SEA_BASSIN),
                                                                                 in integer p_senderRole := enum2int(PX_CISE_CONSUMER),
                                                                                 in integer p_senderRole := enum2int(PX_CISE_CONSUMER),
                                                                                 in integer p_informationSecurityLevel := enum2int(PX_INFORMATION_SECURITY_LEVEL),
                                                                                 in integer p_informationSensitivity := enum2int(PX_INFORMATION_SENSITIVITY),
                                                                                 in boolean p_isPersonalData := PX_IS_PERSONAL_DATA,
                                                                                 in integer p_purpose := enum2int(PX_PURPOSE),
                                                                                 in template (value) IrregularMigrationIncidentContent p_irregular_migration_incident := m_ut_irregular_migration_incident
                                                                                 in template (value) IrregularMigrationIncidentContent p_irregular_migration_incident := m_ut_irregular_migration_incident
                                                                                 ) modifies m_ut_description_abstract := {
                                                                                 ) modifies m_ut_description_abstract := {
      type_      := IrregularMigrationIncident,
      type_      := IrregularMigrationIncident,
@@ -3121,6 +3153,10 @@ module LibCise_Templates {
                                                                              in charstring p_uuid,
                                                                              in charstring p_uuid,
                                                                              in integer p_senderSea := enum2int(PX_CISE_SEA_BASSIN),
                                                                              in integer p_senderSea := enum2int(PX_CISE_SEA_BASSIN),
                                                                              in integer p_senderRole := enum2int(PX_CISE_CONSUMER),
                                                                              in integer p_senderRole := enum2int(PX_CISE_CONSUMER),
                                                                              in integer p_informationSecurityLevel := enum2int(PX_INFORMATION_SECURITY_LEVEL),
                                                                              in integer p_informationSensitivity := enum2int(PX_INFORMATION_SENSITIVITY),
                                                                              in boolean p_isPersonalData := PX_IS_PERSONAL_DATA,
                                                                              in integer p_purpose := enum2int(PX_PURPOSE),
                                                                              in template (value) LawInfringementIncidentContent p_law_infringement_incident := m_ut_law_infringement_incident
                                                                              in template (value) LawInfringementIncidentContent p_law_infringement_incident := m_ut_law_infringement_incident
                                                                              ) modifies m_ut_description_abstract := {
                                                                              ) modifies m_ut_description_abstract := {
      type_      := LawInfringementIncident,
      type_      := LawInfringementIncident,
@@ -3153,6 +3189,10 @@ module LibCise_Templates {
                                                                                  in charstring p_uuid,
                                                                                  in charstring p_uuid,
                                                                                  in integer p_senderSea := enum2int(PX_CISE_SEA_BASSIN),
                                                                                  in integer p_senderSea := enum2int(PX_CISE_SEA_BASSIN),
                                                                                  in integer p_senderRole := enum2int(PX_CISE_CONSUMER),
                                                                                  in integer p_senderRole := enum2int(PX_CISE_CONSUMER),
                                                                                  in integer p_informationSecurityLevel := enum2int(PX_INFORMATION_SECURITY_LEVEL),
                                                                                  in integer p_informationSensitivity := enum2int(PX_INFORMATION_SENSITIVITY),
                                                                                  in boolean p_isPersonalData := PX_IS_PERSONAL_DATA,
                                                                                  in integer p_purpose := enum2int(PX_PURPOSE),
                                                                                  in template (value) MeteoOceanographicConditionContent p_meteo_oceanographic_condition := m_ut_meteo_oceanographic_condition
                                                                                  in template (value) MeteoOceanographicConditionContent p_meteo_oceanographic_condition := m_ut_meteo_oceanographic_condition
                                                                                  ) modifies m_ut_description_abstract := {
                                                                                  ) modifies m_ut_description_abstract := {
      type_      := MeteoOceanographicCondition,
      type_      := MeteoOceanographicCondition,
@@ -3188,6 +3228,10 @@ module LibCise_Templates {
                                                                 in charstring p_uuid,
                                                                 in charstring p_uuid,
                                                                 in integer p_senderSea := enum2int(PX_CISE_SEA_BASSIN),
                                                                 in integer p_senderSea := enum2int(PX_CISE_SEA_BASSIN),
                                                                 in integer p_senderRole := enum2int(PX_CISE_CONSUMER),
                                                                 in integer p_senderRole := enum2int(PX_CISE_CONSUMER),
                                                                 in integer p_informationSecurityLevel := enum2int(PX_INFORMATION_SECURITY_LEVEL),
                                                                 in integer p_informationSensitivity := enum2int(PX_INFORMATION_SENSITIVITY),
                                                                 in boolean p_isPersonalData := PX_IS_PERSONAL_DATA,
                                                                 in integer p_purpose := enum2int(PX_PURPOSE),
                                                                 in template (value) OrganizationContent p_organization := m_ut_organization
                                                                 in template (value) OrganizationContent p_organization := m_ut_organization
                                                                 ) modifies m_ut_description_abstract := {
                                                                 ) modifies m_ut_description_abstract := {
      type_      := Organization,
      type_      := Organization,
@@ -3219,6 +3263,10 @@ module LibCise_Templates {
                                                         in charstring p_uuid,
                                                         in charstring p_uuid,
                                                         in integer p_senderSea := enum2int(PX_CISE_SEA_BASSIN),
                                                         in integer p_senderSea := enum2int(PX_CISE_SEA_BASSIN),
                                                         in integer p_senderRole := enum2int(PX_CISE_CONSUMER),
                                                         in integer p_senderRole := enum2int(PX_CISE_CONSUMER),
                                                         in integer p_informationSecurityLevel := enum2int(PX_INFORMATION_SECURITY_LEVEL),
                                                         in integer p_informationSensitivity := enum2int(PX_INFORMATION_SENSITIVITY),
                                                         in boolean p_isPersonalData := PX_IS_PERSONAL_DATA,
                                                         in integer p_purpose := enum2int(PX_PURPOSE),
                                                         in template (value) RiskContent p_risk := m_ut_risk
                                                         in template (value) RiskContent p_risk := m_ut_risk
                                                         ) modifies m_ut_description_abstract := {
                                                         ) modifies m_ut_description_abstract := {
      type_      := Risk,
      type_      := Risk,
@@ -3250,6 +3298,10 @@ module LibCise_Templates {
                                                          in charstring p_uuid,
                                                          in charstring p_uuid,
                                                          in integer p_senderSea := enum2int(PX_CISE_SEA_BASSIN),
                                                          in integer p_senderSea := enum2int(PX_CISE_SEA_BASSIN),
                                                          in integer p_senderRole := enum2int(PX_CISE_CONSUMER),
                                                          in integer p_senderRole := enum2int(PX_CISE_CONSUMER),
                                                          in integer p_informationSecurityLevel := enum2int(PX_INFORMATION_SECURITY_LEVEL),
                                                          in integer p_informationSensitivity := enum2int(PX_INFORMATION_SENSITIVITY),
                                                          in boolean p_isPersonalData := PX_IS_PERSONAL_DATA,
                                                          in integer p_purpose := enum2int(PX_PURPOSE),
                                                          in template (value) CargoContent p_cargo := m_ut_cargo
                                                          in template (value) CargoContent p_cargo := m_ut_cargo
                                                          ) modifies m_ut_description_abstract := {
                                                          ) modifies m_ut_description_abstract := {
      type_      := Cargo,
      type_      := Cargo,
+17 −9
Original line number Original line Diff line number Diff line
@@ -121,7 +121,7 @@ module LibCise_TypesAndValues {
    group json_encoded {
    group json_encoded {


      type enumerated Type {
      type enumerated Type {
        Vessel,
        VesselService,
        Action,
        Action,
        Anomaly,
        Anomaly,
        CertificateDocumentType,
        CertificateDocumentType,
@@ -160,12 +160,20 @@ module LibCise_TypesAndValues {
        Identifier     identifier,
        Identifier     identifier,
        integer        senderSea,
        integer        senderSea,
        integer        senderRole,
        integer        senderRole,
        integer        informationSecurityLevel,
        integer        informationSensitivity,
        boolean        isPersonalData,
        integer        purpose,
        MessageContent content optional
        MessageContent content optional
      } with {
      } with {
        variant (type_) "name as 'Type'";
        variant (type_) "name as 'Type'";
        variant (identifier) "name as capitalized";
        variant (identifier) "name as capitalized";
        variant (senderSea) "name as capitalized";
        variant (senderSea) "name as capitalized";
        variant (senderRole) "name as capitalized";
        variant (senderRole) "name as capitalized";
        variant (informationSecurityLevel) "name as capitalized";
        variant (informationSensitivity) "name as capitalized";
        variant (isPersonalData) "name as capitalized";
        variant (purpose) "name as capitalized";
        variant (content) "name as capitalized";
        variant (content) "name as capitalized";
      }
      }