Sha256: 8b64be6325e53c7f5c3a822c683f54ea3e0bc60886e005bd7eeefeacdce3f792

Contents?: true

Size: 302 Bytes

Versions: 7

Compression:

Stored size: 302 Bytes

Contents

(******************************************************************

 Operation to delete a pet

******************************************************************)

macro delete_pet_trans( pet_input ) {

  \* remove entry with a maching id
  v_pets := { pet \in v_pets:  pet.id # pet_input.id  };


}

Version data entries

7 entries across 7 versions & 1 rubygems

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