AppLCM_Pixits.ttcn

module AppLCM_Pixits {
  
  // JSON
  import from JSON all;
  
  // LibMec/AppLCM
  import from AppLCM_TypesAndValues all;
  
  modulepar JSON.String PX_APP_D_ID := "5lkj4782-2c70-4e47-9a4e-0ee3a1a0fd1f";
  
  modulepar InstantiationState PX_INSTANTIATION_STATE := NOT_INSTANTIATED;
  
  modulepar JSON.String PX_APP_INSTANCE_ID := "5abe4782-2c70-4e47-9a4e-0ee3a1a0fd1f";
  
  modulepar JSON.String PX_NON_EXISTENT_APP_INSTANCE_ID := "PX_NON_EXISTENT_APP_INSTANCE_ID";
  
  modulepar TerminationType PX_APP_TERMINATION_TYPE := GRACEFUL;
  
  modulepar TerminationTypeWithError PX_APP_TERMINATION_TYPE_WITH_ERROR := GRACE;
  
  modulepar OperationType PX_CHANGE_STATE_TO := STARTED;

  modulepar OperationTypeWithError PX_CHANGE_STATE_TO_WITH_ERROR := START;
  
  modulepar JSON.String PX_APP_LCM_OP_OCC_ID := "5abe4782-2c70-4e47-9a4e-0ee3a1a0fd1f";
  
  modulepar JSON.String PX_NON_EXISTENT_APP_LCM_OP_OCC_ID := "PX_NON_EXISTENT_APP_LCM_OP_OCC_ID";

  modulepar JSON.AnyURI PX_CALLBACK_URI := "http://127.0.0.1/callback";
  
  modulepar SubscriptionType PX_SUBSCRIPTION_TYPE := AppInstanceStateChangeSubscription;

  modulepar JSON.String PX_SUBSCRIPTION_ID := "e0deee2b-6e50-4f33-ab09-8bf0585025d3";

  modulepar JSON.String PX_NON_ESISTENT_SUBSCRIPTION_ID := "PX_NON_ESISTENT_SUBSCRIPTION_ID";
  
  modulepar JSON.String PX_NOTIFICATION_ID := "208c95ec-121f-4bc2-b896-be3fe000d3ea";
  
  modulepar NotificationType PX_NOTIFICATION_TYPE := AppInstNotification;

} // End of module