Sha256: 1cc1d7444689dfb57e949a524cb14c43a6fac5bcf052145b4f35cbe19db88186

Contents?: true

Size: 173 Bytes

Versions: 4

Compression:

Stored size: 173 Bytes

Contents

(* This macro uses 'specName' -property to create name for the
interface in specification code domain.  *)

macro {{specName}}( input ) {

      call s_post_pet( input );
}

Version data entries

4 entries across 4 versions & 1 rubygems

Version Path
tla-sbuilder-0.3.9 src/pet/interface_post_pet.tla
tla-sbuilder-0.3.8 src/pet/interface_post_pet.tla
tla-sbuilder-0.3.7 src/pet/interface_post_pet.tla
tla-sbuilder-0.3.4 src/pet/interface_post_pet.tla