Sha256: 92fe36da3e593a8efbbf32cfe72359f7d9b7939ac85d037dfc5bc8ac37fbb59f

Contents?: true

Size: 293 Bytes

Versions: 7

Compression:

Stored size: 293 Bytes

Contents

{{!

      Application operators

      Example:

      \* All pets should have a name
      PetStore_ValidatePetData( pet ) == pet.name # Nil


}}


{{!>operator_next_pet_id.tla}}
{{!>operator_valid_pet.tla}}
{{!>operator_get_pet.tla}}
{{!>operator_responses.tla}}
{{!>operator_new_pet.tla}}

Version data entries

7 entries across 7 versions & 1 rubygems

Version Path
tla-sbuilder-0.3.9 src-extend/extend_app/operator
tla-sbuilder-0.3.8 src-extend/extend_app/operator
tla-sbuilder-0.3.7 src-extend/extend_app/operator
tla-sbuilder-0.3.4 src-extend/extend_app/operator
tla-sbuilder-0.2.2 src-extend/extend_app/operator
tla-sbuilder-0.2.1 src-extend/extend_app/operator
tla-sbuilder-0.1.0 src-extend/extend_app/operator