Sha256: 71398bdb28d0e40d6a3ea62c2194ba095dde56140dff9c90c598ccdf8bbf7a95
Contents?: true
Size: 454 Bytes
Versions: 7
Compression:
Stored size: 454 Bytes
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/{type}(get)", [ id |-> Next_pet_id ] );
return;
}
}}
{{>infrastructure_id_get.tla}}
Version data entries
7 entries across 7 versions & 1 rubygems