Castle: The best Real-Time/Embedded/HighTech language EVER. Attempt 2
Revision | 98a6dee6a936ec573fab1c54211db9f82bfdc456 (tree) |
---|---|
Time | 2024-03-02 03:25:43 |
Author | Albert Mietus < albert AT mietus DOT nl > |
Commiter | Albert Mietus < albert AT mietus DOT nl > |
castle-RPy-writer updated: More TestDoubles added
@@ -1,2 +0,0 @@ | ||
1 | -This directory is needed to store generated/rendered files (which is an option during testing) | |
2 | -.. note:: a "mirror" of this file is found in :dir:`reference` -- to be able to diff dirs | |
\ No newline at end of file |
@@ -1,27 +0,0 @@ | ||
1 | -# -*- python -*- | |
2 | -# Generated (R)Python file | |
3 | -# (C) Albert Mietus, 2023. Part of Castle/CCastle project | |
4 | - | |
5 | -#### | |
6 | -from CC import buildin | |
7 | -from CC import base | |
8 | - | |
9 | -#Put the Castle/generated imports here | |
10 | -import SimpleSieve | |
11 | - | |
12 | - | |
13 | -cc_CI_Sieve = buildin.CC_B_ComponentInterface(name="Sieve", | |
14 | - inherit_from=base.cc_CI_Component, | |
15 | - ports=[]) | |
16 | - | |
17 | -cc_CI_Sieve.ports.append(buildin.CC_B_C_PortID(name="try", | |
18 | - portNo=2, # XXXX | |
19 | - protocol=SimpleSieve.cc_P_SimpleSieve, | |
20 | - direction=buildin.PortDirection.In, | |
21 | - part_of=cc_CI_Sieve)) | |
22 | -cc_CI_Sieve.ports.append(buildin.CC_B_C_PortID(name="coprime", | |
23 | - portNo=3, #XXX | |
24 | - protocol=SimpleSieve.cc_P_SimpleSieve, | |
25 | - direction=buildin.CC_B_PortDirection.Out, | |
26 | - part_of=cc_CI_Sieve)) | |
27 | - |
@@ -1,2 +0,0 @@ | ||
1 | -This directory is needed to store generated/rendered files (which is an option during testing) | |
2 | -.. note:: a "mirror" of this file is found in :dir:`reference` -- to be able to diff dirs | |
\ No newline at end of file |
@@ -1,53 +0,0 @@ | ||
1 | -# -*- python -*- | |
2 | -# Generated (R)Python file | |
3 | -# (C) Albert Mietus, 2023. Part of Castle/CCastle project | |
4 | - | |
5 | -#### | |
6 | -from CC import buildin | |
7 | - | |
8 | -#Put the Castle/generated imports here | |
9 | -from CC import base | |
10 | -from CC import slow_start | |
11 | - | |
12 | - | |
13 | - | |
14 | -## | |
15 | -## EventIndexes (All 1 events of SlowStart_1) | |
16 | -## | |
17 | - | |
18 | -CC_P_SlowStart_1_setMax = 0 | |
19 | - | |
20 | - | |
21 | -## | |
22 | -## EventIndexes (All 1 events of SimpleSieve) | |
23 | -## | |
24 | - | |
25 | -CC_P_SimpleSieve_input = 1 | |
26 | - | |
27 | - | |
28 | -## | |
29 | -## The protocol Data Definitions for SlowStart_1 -- with 1 events | |
30 | -## | |
31 | - | |
32 | -cc_P_SlowStart_1 = buildin.CC_B_Protocol(name="SlowStart_1", | |
33 | - kind=buildin.ProtocolKind.Event, | |
34 | - inherit_from=slow_start.cc_P_SlowStart, | |
35 | - events=[]) | |
36 | - | |
37 | -cc_P_SlowStart_1.events.append(buildin.CC_B_P_EventID(name="setMax", | |
38 | - seqNo=CC_P_SlowStart_1_setMax, | |
39 | - part_of=cc_P_SlowStart_1)) | |
40 | - | |
41 | -## | |
42 | -## The protocol Data Definitions for SimpleSieve -- with 1 events | |
43 | -## | |
44 | - | |
45 | -cc_P_SimpleSieve = buildin.CC_B_Protocol(name="SimpleSieve", | |
46 | - kind=buildin.ProtocolKind.Event, | |
47 | - inherit_from=cc_P_SlowStart_1, | |
48 | - events=[]) | |
49 | - | |
50 | -cc_P_SimpleSieve.events.append(buildin.CC_B_P_EventID(name="input", | |
51 | - seqNo=CC_P_SimpleSieve_input, | |
52 | - part_of=cc_P_SimpleSieve)) | |
53 | - |
@@ -1,35 +0,0 @@ | ||
1 | -# -*- python -*- | |
2 | -# Generated (R)Python file | |
3 | -# (C) Albert Mietus, 2023. Part of Castle/CCastle project | |
4 | - | |
5 | -#### | |
6 | -from CC import buildin | |
7 | - | |
8 | -#Put the Castle/generated imports here | |
9 | -from CC import base | |
10 | - | |
11 | - | |
12 | - | |
13 | -## | |
14 | -## EventIndexes (All 1 events of SlowStart) | |
15 | -## | |
16 | - | |
17 | -CC_P_SlowStart_setMax = 0 | |
18 | - | |
19 | - | |
20 | -## | |
21 | -## The protocol Data Definitions for SlowStart -- with 1 events | |
22 | -## | |
23 | - | |
24 | -cc_P_SlowStart = buildin.CC_B_Protocol(name="SlowStart", | |
25 | - parameters=( | |
26 | - ('queue_max', int), | |
27 | - ), | |
28 | - kind=buildin.ProtocolKind.Event, | |
29 | - inherit_from=base.cc_P_Protocol, | |
30 | - events=[]) | |
31 | - | |
32 | -cc_P_SlowStart.events.append(buildin.CC_B_P_EventID(name="setMax", | |
33 | - seqNo=CC_P_SlowStart_setMax, | |
34 | - part_of=cc_P_SlowStart)) | |
35 | - |
@@ -1,36 +0,0 @@ | ||
1 | -# -*- python -*- | |
2 | -# Generated (R)Python file | |
3 | -# (C) Albert Mietus, 2023. Part of Castle/CCastle project | |
4 | - | |
5 | -#### | |
6 | -from CC import buildin | |
7 | - | |
8 | -#Put the Castle/generated imports here | |
9 | -from CC import base | |
10 | - | |
11 | - | |
12 | - | |
13 | -## | |
14 | -## EventIndexes (All 2 events of StartSieve) | |
15 | -## | |
16 | - | |
17 | -CC_P_StartSieve_runTo = 0 | |
18 | -CC_P_StartSieve_newMax = 1 | |
19 | - | |
20 | - | |
21 | -## | |
22 | -## The protocol Data Definitions for StartSieve -- with 2 events | |
23 | -## | |
24 | - | |
25 | -cc_P_StartSieve = buildin.CC_B_Protocol(name="StartSieve", | |
26 | - kind=buildin.ProtocolKind.Event, | |
27 | - inherit_from=base.cc_P_Protocol, | |
28 | - events=[]) | |
29 | - | |
30 | -cc_P_StartSieve.events.append(buildin.CC_B_P_EventID(name="runTo", | |
31 | - seqNo=CC_P_StartSieve_runTo, | |
32 | - part_of=cc_P_StartSieve)) | |
33 | -cc_P_StartSieve.events.append(buildin.CC_B_P_EventID(name="newMax", | |
34 | - seqNo=CC_P_StartSieve_newMax, | |
35 | - part_of=cc_P_StartSieve)) | |
36 | - |
@@ -5,17 +5,15 @@ | ||
5 | 5 | |
6 | 6 | LAST = \ |
7 | 7 | pytst/test_0_templating.py \ |
8 | -# | |
9 | -CURRENT = \ | |
10 | 8 | pytst/test_1_EventIndexes.py \ |
11 | 9 | pytst/test_2_ProtocolDataStructures.py \ |
12 | - pytst/test_999.py \ | |
10 | + pytst/test_3_SieveProtocols.py \ | |
11 | +# | |
12 | +CURRENT = \ | |
13 | + pytst/test_4_NameSpaces.py \ | |
13 | 14 | # |
14 | 15 | |
15 | -## test 3,4,99 are using TestDoubles/AIGR | |
16 | 16 | TODO = \ |
17 | - pytst/test_3_SieveProtocols.py \ | |
18 | - pytst/test_4_NameSpaces.py \ | |
19 | 17 | pytst/test_99_SieveMoats.py \ |
20 | 18 | # |
21 | 19 |
@@ -0,0 +1,2 @@ | ||
1 | +This directory is needed to store generated/rendered files (which is an option during testing) | |
2 | +.. note:: a "mirror" of this file is found in :dir:`reference` -- to be able to diff dirs | |
\ No newline at end of file |
@@ -0,0 +1,27 @@ | ||
1 | +# -*- python -*- | |
2 | +# Generated (R)Python file | |
3 | +# (C) Albert Mietus, 2023. Part of Castle/CCastle project | |
4 | + | |
5 | +#### | |
6 | +from CC import buildin | |
7 | +from CC import base | |
8 | + | |
9 | +#Put the Castle/generated imports here | |
10 | +import SimpleSieve | |
11 | + | |
12 | + | |
13 | +cc_CI_Sieve = buildin.CC_B_ComponentInterface(name="Sieve", | |
14 | + inherit_from=base.cc_CI_Component, | |
15 | + ports=[]) | |
16 | + | |
17 | +cc_CI_Sieve.ports.append(buildin.CC_B_C_PortID(name="try", | |
18 | + portNo=2, # XXXX | |
19 | + protocol=SimpleSieve.cc_P_SimpleSieve, | |
20 | + direction=buildin.PortDirection.In, | |
21 | + part_of=cc_CI_Sieve)) | |
22 | +cc_CI_Sieve.ports.append(buildin.CC_B_C_PortID(name="coprime", | |
23 | + portNo=3, #XXX | |
24 | + protocol=SimpleSieve.cc_P_SimpleSieve, | |
25 | + direction=buildin.CC_B_PortDirection.Out, | |
26 | + part_of=cc_CI_Sieve)) | |
27 | + |
@@ -0,0 +1,2 @@ | ||
1 | +This directory is needed to store generated/rendered files (which is an option during testing) | |
2 | +.. note:: a "mirror" of this file is found in :dir:`reference` -- to be able to diff dirs | |
\ No newline at end of file |
@@ -0,0 +1,53 @@ | ||
1 | +# -*- python -*- | |
2 | +# Generated (R)Python file | |
3 | +# (C) Albert Mietus, 2023. Part of Castle/CCastle project | |
4 | + | |
5 | +#### | |
6 | +from CC import buildin | |
7 | + | |
8 | +#Put the Castle/generated imports here | |
9 | +from CC import base | |
10 | +from CC import slow_start | |
11 | + | |
12 | + | |
13 | + | |
14 | +## | |
15 | +## EventIndexes (All 1 events of SlowStart_1) | |
16 | +## | |
17 | + | |
18 | +CC_P_SlowStart_1_setMax = 0 | |
19 | + | |
20 | + | |
21 | +## | |
22 | +## EventIndexes (All 1 events of SimpleSieve) | |
23 | +## | |
24 | + | |
25 | +CC_P_SimpleSieve_input = 1 | |
26 | + | |
27 | + | |
28 | +## | |
29 | +## The protocol Data Definitions for SlowStart_1 -- with 1 events | |
30 | +## | |
31 | + | |
32 | +cc_P_SlowStart_1 = buildin.CC_B_Protocol(name="SlowStart_1", | |
33 | + kind=buildin.ProtocolKind.Event, | |
34 | + inherit_from=slow_start.cc_P_SlowStart, | |
35 | + events=[]) | |
36 | + | |
37 | +cc_P_SlowStart_1.events.append(buildin.CC_B_P_EventID(name="setMax", | |
38 | + seqNo=CC_P_SlowStart_1_setMax, | |
39 | + part_of=cc_P_SlowStart_1)) | |
40 | + | |
41 | +## | |
42 | +## The protocol Data Definitions for SimpleSieve -- with 1 events | |
43 | +## | |
44 | + | |
45 | +cc_P_SimpleSieve = buildin.CC_B_Protocol(name="SimpleSieve", | |
46 | + kind=buildin.ProtocolKind.Event, | |
47 | + inherit_from=cc_P_SlowStart_1, | |
48 | + events=[]) | |
49 | + | |
50 | +cc_P_SimpleSieve.events.append(buildin.CC_B_P_EventID(name="input", | |
51 | + seqNo=CC_P_SimpleSieve_input, | |
52 | + part_of=cc_P_SimpleSieve)) | |
53 | + |
@@ -0,0 +1,35 @@ | ||
1 | +# -*- python -*- | |
2 | +# Generated (R)Python file | |
3 | +# (C) Albert Mietus, 2023. Part of Castle/CCastle project | |
4 | + | |
5 | +#### | |
6 | +from CC import buildin | |
7 | + | |
8 | +#Put the Castle/generated imports here | |
9 | +from CC import base | |
10 | + | |
11 | + | |
12 | + | |
13 | +## | |
14 | +## EventIndexes (All 1 events of SlowStart) | |
15 | +## | |
16 | + | |
17 | +CC_P_SlowStart_setMax = 0 | |
18 | + | |
19 | + | |
20 | +## | |
21 | +## The protocol Data Definitions for SlowStart -- with 1 events | |
22 | +## | |
23 | + | |
24 | +cc_P_SlowStart = buildin.CC_B_Protocol(name="SlowStart", | |
25 | + parameters=( | |
26 | + ('queue_max', int), | |
27 | + ), | |
28 | + kind=buildin.ProtocolKind.Event, | |
29 | + inherit_from=base.cc_P_Protocol, | |
30 | + events=[]) | |
31 | + | |
32 | +cc_P_SlowStart.events.append(buildin.CC_B_P_EventID(name="setMax", | |
33 | + seqNo=CC_P_SlowStart_setMax, | |
34 | + part_of=cc_P_SlowStart)) | |
35 | + |
@@ -0,0 +1,36 @@ | ||
1 | +# -*- python -*- | |
2 | +# Generated (R)Python file | |
3 | +# (C) Albert Mietus, 2023. Part of Castle/CCastle project | |
4 | + | |
5 | +#### | |
6 | +from CC import buildin | |
7 | + | |
8 | +#Put the Castle/generated imports here | |
9 | +from CC import base | |
10 | + | |
11 | + | |
12 | + | |
13 | +## | |
14 | +## EventIndexes (All 2 events of StartSieve) | |
15 | +## | |
16 | + | |
17 | +CC_P_StartSieve_runTo = 0 | |
18 | +CC_P_StartSieve_newMax = 1 | |
19 | + | |
20 | + | |
21 | +## | |
22 | +## The protocol Data Definitions for StartSieve -- with 2 events | |
23 | +## | |
24 | + | |
25 | +cc_P_StartSieve = buildin.CC_B_Protocol(name="StartSieve", | |
26 | + kind=buildin.ProtocolKind.Event, | |
27 | + inherit_from=base.cc_P_Protocol, | |
28 | + events=[]) | |
29 | + | |
30 | +cc_P_StartSieve.events.append(buildin.CC_B_P_EventID(name="runTo", | |
31 | + seqNo=CC_P_StartSieve_runTo, | |
32 | + part_of=cc_P_StartSieve)) | |
33 | +cc_P_StartSieve.events.append(buildin.CC_B_P_EventID(name="newMax", | |
34 | + seqNo=CC_P_StartSieve_newMax, | |
35 | + part_of=cc_P_StartSieve)) | |
36 | + |
@@ -46,7 +46,7 @@ | ||
46 | 46 | |
47 | 47 | |
48 | 48 | class TstDoubles(): |
49 | - _top = Path('TestDoubles') | |
49 | + _top = Path('pytst/TestDoubles') | |
50 | 50 | _ref = Path('reference') |
51 | 51 | _gen = Path('_generated') |
52 | 52 |
@@ -121,7 +121,6 @@ | ||
121 | 121 | return protocol_matcher |
122 | 122 | |
123 | 123 | |
124 | - | |
125 | 124 | @pytest.fixture |
126 | 125 | def generatedMoat_verifier(T_Moat): |
127 | 126 | assert False, "To Busy with other things" |
@@ -8,14 +8,11 @@ | ||
8 | 8 | to diff line-by-line (for debugging) |
9 | 9 | """ |
10 | 10 | |
11 | -import logging; logger = logging.getLogger(__name__) | |
12 | 11 | import pytest |
12 | +from castle.TESTDOUBLES.aigr import sieve | |
13 | 13 | |
14 | -from TestDoubles.AIGR import sieve | |
15 | -from . import TstDoubles, generatedProtocol_verifier | |
14 | +from . import TstDoubles, generatedProtocol_verifier, T_Protocol | |
16 | 15 | ##Note: T_* are used in **_verifier; but need to be in this scope (or pytest can't find it) |
17 | -from . import T_Protocol | |
18 | - | |
19 | 16 | |
20 | 17 | |
21 | 18 | def test_01_StartSieve(generatedProtocol_verifier): |
@@ -2,11 +2,10 @@ | ||
2 | 2 | import logging; logger = logging.getLogger(__name__) |
3 | 3 | |
4 | 4 | import pytest |
5 | -from TestDoubles.AIGR import sieve | |
6 | -from . import TstDoubles | |
5 | +from castle.TESTDOUBLES.aigr import sieve | |
6 | + | |
7 | +from . import TstDoubles, generatedProtocol_verifier, T_Moat | |
7 | 8 | ##Note: T_* are used in **_verifier; but need to be in this scope (or pytest can't find it) |
8 | -from . import T_Protocol, T_Moat | |
9 | - | |
10 | 9 | |
11 | 10 | @pytest.mark.skip(reason="ToDo") |
12 | 11 | def test_0(): |
@@ -1,15 +1,13 @@ | ||
1 | 1 | # (C) Albert Mietus, 2023. Part of Castle/CCastle project |
2 | -import logging; logger = logging.getLogger(__name__) | |
3 | 2 | |
4 | 3 | import pytest |
5 | -from TestDoubles.AIGR import sieve | |
6 | -from . import TstDoubles, generatedMoat_verifier | |
4 | +from castle.TESTDOUBLES.aigr import sieve | |
5 | + | |
6 | +from . import TstDoubles, generatedMoat_verifier, T_Moat | |
7 | 7 | ##Note: T_* are used in **_verifier; but need to be in this scope (or pytest can't find it) |
8 | -from . import T_Protocol, T_Moat | |
9 | 8 | |
10 | -@pytest.mark.xfail(reason="To Busy with other things") | |
9 | +@pytest.mark.skip(reason="To Busy with other things") | |
11 | 10 | def test_04_SieveMoat(generatedMoat_verifier): |
12 | 11 | generatedMoat_verifier(aigr_mock=sieve.SieveMoat, td=TstDoubles('interfaces/SieveMoat')) |
13 | - | |
14 | 12 | assert False, "Not Done" |
15 | 13 |