Sha256: 89f339cd925d1207ad81db9af5ed4d8d220904d6c880c1a3bebfcf333a8ee94e
Contents?: true
Size: 883 Bytes
Versions: 4
Compression:
Stored size: 883 Bytes
Contents
{{! run_domains.mustache - define domain values - iterate #domain_values - include Nil to valid domain value if property 'nil-value' defined }} (****************************************************************** Assign values to skeleton domains: {{META.desc}} - modelData {{META.modelData}} - template {{META.template}} *******************************************************************) (* Domains for {{META.setup}} start *) {{#domains}}{{! iteratete 'domain_values' && output 'value' 'tlaBaseType': wrap domain values in set brackets 'nil_value' : union { Nil } }} Run_{{#SPEC_NAME}}domains.{{domain_name}}{{/SPEC_NAME}} == {{^tlaBaseType}}{ {{/tlaBaseType}}{{#domain_values}}{{{value}}}{{_comma}} {{/domain_values}} {{^tlaBaseType}} }{{/tlaBaseType}} {{#nil_value}} \cup {Nil} {{/nil_value}} {{/domains}} (* Domains for {{META.setup}} end *)
Version data entries
4 entries across 4 versions & 1 rubygems