From 7426bee9f7c0965e2156b055dd298c8a4ffd1d09 Mon Sep 17 00:00:00 2001 From: mzn Date: Wed, 19 Oct 2005 12:24:29 +0000 Subject: [PATCH 1/1] Imported using TkCVS --- Superv/Cpl/GraphStreamInLines_1.cpl | 77 +++++++++++++++++++ Superv/Cpl/GraphStreamTopologies_1.cpl | 68 +++++++++++++++++ Superv/Cpl/GraphStreamTopologies_2.cpl | 54 +++++++++++++ Superv/Cpl/GraphStreamTopology_1.cpl | 101 +++++++++++++++++++++++++ Superv/Cpl/GraphStream_1.cpl | 45 +++++++++++ Superv/Cpl/GraphStream_2.cpl | 33 ++++++++ Superv/Cpl/GraphStream_3.cpl | 31 ++++++++ Superv/Cpl/GraphStreams_1.cpl | 55 ++++++++++++++ Superv/Cpl/GraphStreams_2.cpl | 55 ++++++++++++++ 9 files changed, 519 insertions(+) create mode 100644 Superv/Cpl/GraphStreamInLines_1.cpl create mode 100644 Superv/Cpl/GraphStreamTopologies_1.cpl create mode 100644 Superv/Cpl/GraphStreamTopologies_2.cpl create mode 100644 Superv/Cpl/GraphStreamTopology_1.cpl create mode 100644 Superv/Cpl/GraphStream_1.cpl create mode 100644 Superv/Cpl/GraphStream_2.cpl create mode 100644 Superv/Cpl/GraphStream_3.cpl create mode 100644 Superv/Cpl/GraphStreams_1.cpl create mode 100644 Superv/Cpl/GraphStreams_2.cpl diff --git a/Superv/Cpl/GraphStreamInLines_1.cpl b/Superv/Cpl/GraphStreamInLines_1.cpl new file mode 100644 index 0000000..91c3a29 --- /dev/null +++ b/Superv/Cpl/GraphStreamInLines_1.cpl @@ -0,0 +1,77 @@ +DEBUT GraphStreamInLines_1 + TIMEOUT 300 + TRACE SANS + DELTA_T 0 + + +# Liste des codes + + CODE EndOfInitLoop + istream I IN ENTIER + ostream T OUT ENTIER + FIN #EndOfInitLoop + + + CODE EndSwitch + istream T IN ENTIER + ostream T OUT ENTIER + FIN #EndSwitch + + + CODE InitLoop + istream T IN ENTIER + ostream I OUT ENTIER + FIN #InitLoop + + + CODE IsOdd + istream T IN ENTIER + ostream I OUT ENTIER + FIN #IsOdd + + + CODE Switch + istream T IN ENTIER + ostream I OUT ENTIER + FIN #Switch + + + + +# Liste des instances + + INSTANCE IsOdd + CODE IsOdd + FIN + + INSTANCE InitLoop + CODE InitLoop + FIN + + INSTANCE EndOfInitLoop + CODE EndOfInitLoop + FIN + + INSTANCE Switch + CODE Switch + FIN + + INSTANCE EndSwitch + CODE EndSwitch + FIN + + + + + +# Liste des liens + + LIEN + IsOdd.ostream 0 => InitLoop.istream TI L1 EXTRANULL ; + InitLoop.ostream 0 => EndSwitch.istream TI L1 EXTRANULL ; + Switch.ostream 0 => IsOdd.istream TI L1 EXTRANULL ; + Switch.ostream 0 => EndOfInitLoop.istream SCHENULL INTERNULL EXTRANULL ; + EndSwitch.ostream 0 => Switch.istream TI L1 EXTRANULL ; + FIN + +FIN diff --git a/Superv/Cpl/GraphStreamTopologies_1.cpl b/Superv/Cpl/GraphStreamTopologies_1.cpl new file mode 100644 index 0000000..b0e6528 --- /dev/null +++ b/Superv/Cpl/GraphStreamTopologies_1.cpl @@ -0,0 +1,68 @@ +DEBUT GraphStreamTopologies_1 + TIMEOUT 300 + TRACE SANS + DELTA_T 0 + + +# Liste des codes + + CODE Node_A_1 + istream_A_1_1 T IN ENTIER + istream_A_1_2 T IN ENTIER + istream_A_1_3 T IN ENTIER + FIN #Node_A_1 + + + CODE Node_A_2 + istream_A_2_1 T IN ENTIER + ostream_A_2_1 T OUT ENTIER + FIN #Node_A_2 + + + CODE Node_B_2 + istream_B_2_1 T IN ENTIER + ostream_B_2_1 T OUT ENTIER + ostream_B_2_2 T OUT ENTIER + FIN #Node_B_2 + + + CODE Node_C_1 + istream_B_2_1 T IN ENTIER + ostream_C_1_1 T OUT ENTIER + FIN #Node_C_1 + + + + +# Liste des instances + + INSTANCE Node_A_1 + CODE Node_A_1 + FIN + + INSTANCE Node_A_2 + CODE Node_A_2 + FIN + + INSTANCE Node_B_2 + CODE Node_B_2 + FIN + + INSTANCE Node_C_1 + CODE Node_C_1 + FIN + + + + + +# Liste des liens + + LIEN + Node_A_2.ostream_A_2_1 0 => Node_A_1.istream_A_1_1 TI L1 EXTRANULL ; + Node_B_2.ostream_B_2_1 0 => Node_A_1.istream_A_1_2 TI L1 EXTRANULL ; + Node_B_2.ostream_B_2_2 0 => Node_A_2.istream_A_2_1 TI L1 EXTRANULL ; + Node_C_1.ostream_C_1_1 0 => Node_A_1.istream_A_1_3 TI L1 EXTRANULL ; + FIN + +FIN diff --git a/Superv/Cpl/GraphStreamTopologies_2.cpl b/Superv/Cpl/GraphStreamTopologies_2.cpl new file mode 100644 index 0000000..0916ccc --- /dev/null +++ b/Superv/Cpl/GraphStreamTopologies_2.cpl @@ -0,0 +1,54 @@ +DEBUT GraphStreamTopologies_2 + TIMEOUT 300 + TRACE SANS + DELTA_T 0 + + +# Liste des codes + + CODE Node_B_1 + istream_B_1_1 T IN ENTIER + ostream_A_2_1 T OUT ENTIER + FIN #Node_B_1 + + + CODE Node_C_2 + istream_C_2_1 T IN ENTIER + ostream_C_1_1 T OUT ENTIER + FIN #Node_C_2 + + + CODE Node_D_1 + istream_C_2_1 T IN ENTIER + ostream_D_1_1 T OUT ENTIER + FIN #Node_D_1 + + + + +# Liste des instances + + INSTANCE Node_B_1 + CODE Node_B_1 + FIN + + INSTANCE Node_C_2 + CODE Node_C_2 + FIN + + INSTANCE Node_D_1 + CODE Node_D_1 + FIN + + + + + +# Liste des liens + + LIEN + Node_D_1.ostream_D_1_1 0 => Node_C_2.istream_C_2_1 TI L1 EXTRANULL ; + Node_D_1.ostream_D_1_1 0 => Node_B_1.istream_B_1_1 TI L1 EXTRANULL ; + FIN + +FIN diff --git a/Superv/Cpl/GraphStreamTopology_1.cpl b/Superv/Cpl/GraphStreamTopology_1.cpl new file mode 100644 index 0000000..a9cd739 --- /dev/null +++ b/Superv/Cpl/GraphStreamTopology_1.cpl @@ -0,0 +1,101 @@ +DEBUT GraphStreamTopology_1 + TIMEOUT 300 + TRACE SANS + DELTA_T 0 + + +# Liste des codes + + CODE Node_A_1 + istream_A_1_1 T IN ENTIER + istream_A_1_2 T IN ENTIER + istream_A_1_3 T IN ENTIER + FIN #Node_A_1 + + + CODE Node_A_2 + istream_A_2_1 T IN ENTIER + ostream_A_2_1 T OUT ENTIER + FIN #Node_A_2 + + + CODE Node_B_1 + istream_B_1_1 T IN ENTIER + ostream_A_2_1 T OUT ENTIER + FIN #Node_B_1 + + + CODE Node_B_2 + istream_B_2_1 T IN ENTIER + ostream_B_2_1 T OUT ENTIER + ostream_B_2_2 T OUT ENTIER + FIN #Node_B_2 + + + CODE Node_C_1 + istream_B_2_1 T IN ENTIER + ostream_C_1_1 T OUT ENTIER + FIN #Node_C_1 + + + CODE Node_C_2 + istream_C_2_1 T IN ENTIER + ostream_C_1_1 T OUT ENTIER + FIN #Node_C_2 + + + CODE Node_D_1 + istream_C_2_1 T IN ENTIER + ostream_D_1_1 T OUT ENTIER + FIN #Node_D_1 + + + + +# Liste des instances + + INSTANCE Node_A_1 + CODE Node_A_1 + FIN + + INSTANCE Node_A_2 + CODE Node_A_2 + FIN + + INSTANCE Node_B_1 + CODE Node_B_1 + FIN + + INSTANCE Node_B_2 + CODE Node_B_2 + FIN + + INSTANCE Node_C_1 + CODE Node_C_1 + FIN + + INSTANCE Node_C_2 + CODE Node_C_2 + FIN + + INSTANCE Node_D_1 + CODE Node_D_1 + FIN + + + + + +# Liste des liens + + LIEN + Node_A_2.ostream_A_2_1 0 => Node_A_1.istream_A_1_1 TI L1 EXTRANULL ; + Node_B_2.ostream_B_2_1 0 => Node_A_1.istream_A_1_2 TI L1 EXTRANULL ; + Node_B_2.ostream_B_2_2 0 => Node_A_2.istream_A_2_1 TI L1 EXTRANULL ; + Node_C_1.ostream_C_1_1 0 => Node_A_1.istream_A_1_3 TI L1 EXTRANULL ; + Node_D_1.ostream_D_1_1 0 => Node_B_2.istream_B_2_1 TI L1 EXTRANULL ; + Node_D_1.ostream_D_1_1 0 => Node_C_2.istream_C_2_1 TI L1 EXTRANULL ; + Node_D_1.ostream_D_1_1 0 => Node_B_1.istream_B_1_1 TI L1 EXTRANULL ; + FIN + +FIN diff --git a/Superv/Cpl/GraphStream_1.cpl b/Superv/Cpl/GraphStream_1.cpl new file mode 100644 index 0000000..963a85c --- /dev/null +++ b/Superv/Cpl/GraphStream_1.cpl @@ -0,0 +1,45 @@ +DEBUT GraphStream_1 + TIMEOUT 300 + TRACE SANS + DELTA_T 0 + + +# Liste des codes + + CODE Add + istream I IN ENTIER + ostream I OUT ENTIER + OStream I OUT ENTIER + FIN #Add + + + CODE Sub + istream I IN ENTIER + Istream I IN ENTIER + FIN #Sub + + + + +# Liste des instances + + INSTANCE Add + CODE Add + FIN + + INSTANCE Sub + CODE Sub + FIN + + + + + +# Liste des liens + + LIEN + Add.ostream 0 => Sub.istream SCHENULL INTERNULL EXTRANULL ; + Add.OStream 0 => Sub.Istream SCHENULL INTERNULL EXTRANULL ; + FIN + +FIN diff --git a/Superv/Cpl/GraphStream_2.cpl b/Superv/Cpl/GraphStream_2.cpl new file mode 100644 index 0000000..cb8df94 --- /dev/null +++ b/Superv/Cpl/GraphStream_2.cpl @@ -0,0 +1,33 @@ +DEBUT GraphStream_2 + TIMEOUT 300 + TRACE SANS + DELTA_T 0 + + +# Liste des codes + + CODE StreamAdd + istream I IN ENTIER + ostream I OUT ENTIER + OStream I OUT ENTIER + FIN #StreamAdd + + + + +# Liste des instances + + INSTANCE StreamAdd + CODE StreamAdd + FIN + + + + + +# Liste des liens + + LIEN + FIN + +FIN diff --git a/Superv/Cpl/GraphStream_3.cpl b/Superv/Cpl/GraphStream_3.cpl new file mode 100644 index 0000000..4f31cef --- /dev/null +++ b/Superv/Cpl/GraphStream_3.cpl @@ -0,0 +1,31 @@ +DEBUT GraphStream_3 + TIMEOUT 300 + TRACE SANS + DELTA_T 0 + + +# Liste des codes + + CODE Div + ostream I OUT ENTIER + FIN #Div + + + + +# Liste des instances + + INSTANCE Div + CODE Div + FIN + + + + + +# Liste des liens + + LIEN + FIN + +FIN diff --git a/Superv/Cpl/GraphStreams_1.cpl b/Superv/Cpl/GraphStreams_1.cpl new file mode 100644 index 0000000..799f81e --- /dev/null +++ b/Superv/Cpl/GraphStreams_1.cpl @@ -0,0 +1,55 @@ +DEBUT GraphStreams_1 + TIMEOUT 1000 + TRACE SUCCINT + DELTA_T 1.5 + + +# Liste des codes + + CODE Add + istream I IN ENTIER + ostream I OUT ENTIER + OStream I OUT ENTIER + FIN #Add + + + CODE Div + ostream I OUT ENTIER + FIN #Div + + + CODE Sub + istream I IN ENTIER + Istream I IN ENTIER + FIN #Sub + + + + +# Liste des instances + + INSTANCE Add + CODE Add + FIN + + INSTANCE Sub + CODE Sub + FIN + + INSTANCE Div_1 + CODE Div + FIN + + + + + +# Liste des liens + + LIEN + Add.ostream 0 => Sub.istream SCHENULL INTERNULL EXTRANULL ; + Add.OStream 10 => Sub.Istream SCHENULL INTERNULL EXTRANULL ; + Div_1.ostream 0 => Add.istream SCHENULL INTERNULL EXTRANULL ; + FIN + +FIN diff --git a/Superv/Cpl/GraphStreams_2.cpl b/Superv/Cpl/GraphStreams_2.cpl new file mode 100644 index 0000000..3a8205c --- /dev/null +++ b/Superv/Cpl/GraphStreams_2.cpl @@ -0,0 +1,55 @@ +DEBUT GraphStreams_2 + TIMEOUT 1000 + TRACE SUCCINT + DELTA_T 1.5 + + +# Liste des codes + + CODE Add + istream I IN ENTIER + ostream I OUT ENTIER + OStream I OUT ENTIER + FIN #Add + + + CODE Div + ostream I OUT ENTIER + FIN #Div + + + CODE Sub + istream I IN ENTIER + Istream I IN ENTIER + FIN #Sub + + + + +# Liste des instances + + INSTANCE Div + CODE Div + FIN + + INSTANCE Add_1 + CODE Add + FIN + + INSTANCE Sub_1 + CODE Sub + FIN + + + + + +# Liste des liens + + LIEN + Div.ostream 0 => Add_1.istream SCHENULL INTERNULL EXTRANULL ; + Add_1.ostream 0 => Sub_1.istream SCHENULL INTERNULL EXTRANULL ; + Add_1.OStream 0 => Sub_1.Istream SCHENULL INTERNULL EXTRANULL ; + FIN + +FIN -- 2.39.2