Commit 3916f00a authored by Iulian Ober's avatar Iulian Ober
Browse files

Merge branch 'feature_ifmodelchecking' of...

Merge branch 'feature_ifmodelchecking' of https://gitrepos.estec.esa.int/taste/kazoo into feature_ifmodelchecking
parents 6a7bf378 35f23aa8
......@@ -36,6 +36,15 @@ all: aadl2glueC build/system_config.h ${DATAVIEW_PATH}/built
@@END_IF@@
@@IF@@ @_Target_@ = MOCHECK
obs-skeleton:
cp $(TOOL_INST)/share/modelchecking/skeletons/observer.pr modelchecking/properties/$(NAME)/$(NAME).pr
msc-skeleton:
cp $(TOOL_INST)/share/modelchecking/skeletons/msc.msc modelchecking/properties/$(NAME)/$(NAME).msc
bsc-skeleton:
cp $(TOOL_INST)/share/modelchecking/skeletons/bsc.pr modelchecking/properties/$(NAME)/$(NAME).pr
model-check : sdl-to-if asn-to-if aadl-to-if obs-to-if
@@INLINE@@
......
......@@ -20,9 +20,23 @@
@@-- @_Property_Values_@ : List of User-defined properties (values)
@@-- @_Is_Type_@ : Flag, True if function is a component type
@@-- @_Instance_Of_@ : Optional name of component type
IMPORT * FROM @_ASN1_Modules_@
@_REPLACE_ALL(_/-):UPPER:Name_@-SUBTYPE DEFINITIONS ::= BEGIN
@@INLINE@@
@@INLINE(IMPORTS )(, )( FROM )@@
@@TABLE@@
@_ASync_PI_Param_Type_@
@@END_TABLE@@
@@TABLE@@
@_ASync_RI_Param_Type_@
@@END_TABLE@@
@@END_INLINE@@
@_REPLACE_ALL(_/-):FIRST_ELEM(ASN1_Modules):""_@
@@END_INLINE@@
@_Provided_Interfaces_@
@_Required_Interfaces_@
END
......@@ -8,7 +8,6 @@
@@-- @_Param_Types_@ : |_ Corresponding parameter types
@@-- @_Param_Directions_@ : |_ Corresponding direction
@@TABLE@@
@_LOWER:Parent_Function_@_@_LOWER:Name_@_@_LOWER:Param_Names_@ ::= @_Param_Types_@
{ WITH COMPONENTS
}
@_REPLACE_ALL(_/-):CAPITALIZE:Parent_Function_@-@_REPLACE_ALL(_/-):LOWER:Name_@-@_REPLACE_ALL(_/-):LOWER:Param_Names_@ ::= @_Param_Types_@
@@END_TABLE@@
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment