Sha256: f8c689708027b22fea896886b3a7ed0b7f5208bd63d0b209a880bf80620999af

Contents?: true

Size: 252 Bytes

Versions: 7

Compression:

Stored size: 252 Bytes

Contents

procedure s_delete_pet( delete_pet_input ) {

delete_pet_start:

  {{^PREFERENCES.debug-output}}\* {{/PREFERENCES.debug-output}}print <<"Pet delete", delete_pet_input, v_pets >>;
  
  \* transaction
  delete_pet_trans( delete_pet_input );

  return;
}

Version data entries

7 entries across 7 versions & 1 rubygems

Version Path
tla-sbuilder-0.3.9 src/pet/service_pet_delete.tla
tla-sbuilder-0.3.8 src/pet/service_pet_delete.tla
tla-sbuilder-0.3.7 src/pet/service_pet_delete.tla
tla-sbuilder-0.3.4 src/pet/service_pet_delete.tla
tla-sbuilder-0.2.2 src/pet/service_pet_delete.tla
tla-sbuilder-0.2.1 src/pet/service_pet_delete.tla
tla-sbuilder-0.1.0 src/pet/service_pet_delete.tla