Sha256: 9d356e2d05dbc33840334d75e96bd2be6cafd14a7ed6aa993dcbad7ed5d68853
Contents?: true
Size: 1.39 KB
Versions: 3
Compression:
Stored size: 1.39 KB
Contents
(******************************************************************
{{META.desc}}
- modelData {{META.modelData}}
- template {{META.template}}
******************************************************************)
(*
Type invariants for infrastructure service return values.
All fields in 'responses' state variable store a record [ status |-> ... , response |-> ... ]
*)
{{!
iterate infrastructureServices
- output: <interface-name> |-> Nil,
}}{{#infrastructureServices}}InfrastructureService_TypeInvariant_{{#SPEC_NAME}}infra_services.{{interface_operation}}{{/SPEC_NAME}} == responses.{{#SPEC_NAME}}infra_services.{{interface_operation}}{{/SPEC_NAME}}.response \in { Nil }{{!
iterate response definitions
}}{{#response_definitions.length}}{{!
end of response definitions
add ???
}} \union {{#SPEC_NAME}}interface_response_types.{{interface_operation}}{{/SPEC_NAME}}{{/response_definitions.length}} {{!
end of intefaces
}}
\* Type invariant for infrastructure service return values
{{/infrastructureServices}}{{!
Iterate infrastructureServices again to create call
}}InfrastructureService_TypeInvariant == TRUE {{#infrastructureServices}}
/\ InfrastructureService_TypeInvariant_{{#SPEC_NAME}}infra_services.{{interface_operation}}{{/SPEC_NAME}}{{/infrastructureServices}}
{{!
Composise-services enabled: end
}}
Version data entries
3 entries across 3 versions & 1 rubygems