Sha256: 21c8350a36f2d6447126d9030e0af7bf3ab12aaaae3a4178ef73c7dc6f740cf3
Contents?: true
Size: 728 Bytes
Versions: 7
Compression:
Stored size: 728 Bytes
Contents
(******************************************************************
Read pet by id
Data returned is validate. A system error is raised if validation
not successfull.
******************************************************************)
procedure s_get_pet( get_pet_input ) {
get_pet_start:
{{^PREFERENCES.debug-output}}\* {{/PREFERENCES.debug-output}}print <<"Pet get", get_pet_input >>;
if ( \A pet \in PetStore_GetPetById( get_pet_input.id ): ValidatePet( pet ) ) {
{{^PREFERENCES.debug-output}}\* {{/PREFERENCES.debug-output}}print <<"--> get ok", PetStore_GetPetById( get_pet_input.id )>>;
skip;
}
else {
pet_system_error( "Data integrity violated" );
};
get_pet_ret:
return;
}
Version data entries
7 entries across 7 versions & 1 rubygems