Contents

{{!

   Procedure implmenting services for infrastructure interfaces.

   May use 'operators' defined earlier

   For example:

   procedure generateId() {

      generateId_start:

        \* remove one id from set of valid ids
        v_pet_ids := v_pet_ids \ { Next_pet_id } ;


        \* return generated identifier
        InfrastructureServiceReturn( "/id/pet(get)", [ id |-> Next_pet_id ] );
        return;
   }

}}


{{!>infrastructure_generate_id.tla}}

Version data entries

7 entries across 7 versions & 1 rubygems

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