Sha256: ce3ebcf95a1452bd086a7e7dc304f4db6be496f33f55d220c5410f1a8421fdff

Contents?: true

Size: 1.52 KB

Versions: 4

Compression:

Stored size: 1.52 KB

Contents

(******************************************************************
Defined types {{META.desc}}
 - modelData {{META.modelData}}
 - template  {{META.template}}
*******************************************************************)

{{#definitions}}{{!

Add fixed string 'DEFINITION: definitions:', which can be used
to extract definition from specification code

}}

(* DEFINITION: definitions:{{definition_name}} *)
{{#SPEC_NAME}}definitions.{{definition_name}}{{/SPEC_NAME}} == {{!

    Start of definition.

    Function definition 
    
}}{{#isFunction}}[ {{!

   Iterate function domain

}}{{#domainParameters}}{{#SPEC_NAME}}domains.{{type}}{{/SPEC_NAME}}{{_comma}}{{/domainParameters}} -> {{!

   Iterate function range

}}{{#rangeParameters}}{{#SPEC_NAME}}domains.{{type}}{{/SPEC_NAME}}{{_comma}}{{/rangeParameters}} ]{{/isFunction}}{{!

    Normal definition i.e. not a function starts


}}{{^isFunction}}{{!


    Add 'SUBSET ' for an array type

}}{{#isArray}}SUBSET {{/isArray}}{{!

    Start of record and 

}}[{{!

    add fiels from #parameter_definitions
}}
{{#parameter_definitions}}
 {{>name_parameter_definition.mustache}}: {{#isArray}}SUBSET {{/isArray}}{{#SPEC_NAME}}{{metatype}}.{{type}}{{/SPEC_NAME}}{{_comma}}
{{/parameter_definitions}}{{!

     end of definition
}}]{{!


  End of array


}}{{#isArray}}{{/isArray}}{{!

   Comment in the end

}}{{/isFunction}}{{!

    Add fixed END-OF-DEFINTION to mark end of definition

}}
(* END-OF-DEFINTION {{definition_name}}{{#isFunction}} (function type!){{/isFunction}} *)

{{/definitions}}

Version data entries

4 entries across 4 versions & 1 rubygems

Version Path
tla-sbuilder-0.3.9 mustache/definition_types.mustache
tla-sbuilder-0.3.8 mustache/definition_types.mustache
tla-sbuilder-0.3.7 mustache/definition_types.mustache
tla-sbuilder-0.3.4 mustache/definition_types.mustache