Skip to content

Commit eb9105e

Browse files
committed
updated signal format in preparation for hash links zippy#134
1 parent f4c611d commit eb9105e

37 files changed

+2367
-2284
lines changed

doxy/sys_defs.html

Lines changed: 33 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -699,27 +699,51 @@ <h4>SYS_CONTEXT</h4>
699699
</div>
700700
<div class="def-item def-structure">
701701
<div class="def-type">Structure:</div>
702-
<div class="def-name"><a name="LIST_OF_FROM_ADDRESS_AND_TO_ADDRESS_AND_ASPECT_IDENT_AND_CARRIER_AND_SIGNAL_UUID_AND_ZERO_OR_ONE_OF_CONVERSATION_UUID_AND_ZERO_OR_ONE_OF_LOGICAL_OR_OF_END_CONDITIONS_AND_IN_RESPONSE_TO_UUID"></a>LIST-OF-FROM-ADDRESS-AND-TO-ADDRESS-AND-ASPECT-IDENT-AND-CARRIER-AND-SIGNAL-UUID-AND-ZERO-OR-ONE-OF-CONVERSATION-UUID-AND-ZERO-OR-ONE-OF-LOGICAL-OR-OF-END-CONDITIONS-AND-IN-RESPONSE-TO-UUID</div>
703-
<div class="def-struc-def">SEQ(<a href="ref_sys_symbols.html#FROM_ADDRESS">FROM_ADDRESS</a>, <a href="ref_sys_symbols.html#TO_ADDRESS">TO_ADDRESS</a>, <a href="ref_sys_symbols.html#ASPECT_IDENT">ASPECT_IDENT</a>, <a href="ref_sys_symbols.html#CARRIER">CARRIER</a>, <a href="ref_sys_symbols.html#SIGNAL_UUID">SIGNAL_UUID</a>, ?(<a href="ref_sys_symbols.html#CONVERSATION_UUID">CONVERSATION_UUID</a>), ?(OR(<a href="ref_sys_symbols.html#END_CONDITIONS">END_CONDITIONS</a>, <a href="ref_sys_symbols.html#IN_RESPONSE_TO_UUID">IN_RESPONSE_TO_UUID</a>)))</div>
702+
<div class="def-name"><a name="LIST_OF_SIGNAL_UUID"></a>LIST-OF-SIGNAL-UUID</div>
703+
<div class="def-struc-def">SEQ(<a href="ref_sys_symbols.html#SIGNAL_UUID">SIGNAL_UUID</a>)</div>
704704
<div class="def-comment"></div>
705705
</div>
706706
<div class="def-item def-symbol">
707707
<div class="def-type">Symbol:</div>
708708
<div class="def-name"><a name="ENVELOPE"></a>ENVELOPE</div>
709-
<div class="def-sym-def"><a href="ref_sys_structures.html#LIST_OF_FROM_ADDRESS_AND_TO_ADDRESS_AND_ASPECT_IDENT_AND_CARRIER_AND_SIGNAL_UUID_AND_ZERO_OR_ONE_OF_CONVERSATION_UUID_AND_ZERO_OR_ONE_OF_LOGICAL_OR_OF_END_CONDITIONS_AND_IN_RESPONSE_TO_UUID">LIST-OF-FROM-ADDRESS-AND-TO-ADDRESS-AND-ASPECT-IDENT-AND-CARRIER-AND-SIGNAL-UUID-AND-ZERO-OR-ONE-OF-CONVERSATION-UUID-AND-ZERO-OR-ONE-OF-LOGICAL-OR-OF-END-CONDITIONS-AND-IN-RESPONSE-TO-UUID</a></div>
709+
<div class="def-sym-def"><a href="ref_sys_structures.html#LIST_OF_SIGNAL_UUID">LIST-OF-SIGNAL-UUID</a></div>
710710
<div class="def-comment"></div>
711711
</div>
712712
<div class="def-item def-structure">
713713
<div class="def-type">Structure:</div>
714-
<div class="def-name"><a name="TUPLE_OF_ENVELOPE_AND_BODY"></a>TUPLE-OF-ENVELOPE-AND-BODY</div>
715-
<div class="def-struc-def">SEQ(<a href="ref_sys_symbols.html#ENVELOPE">ENVELOPE</a>, <a href="ref_sys_symbols.html#BODY">BODY</a>)</div>
714+
<div class="def-name"><a name="LIST_OF_FROM_ADDRESS_AND_TO_ADDRESS_AND_ASPECT_IDENT_AND_CARRIER_AND_ZERO_OR_ONE_OF_CONVERSATION_UUID_AND_ZERO_OR_ONE_OF_LOGICAL_OR_OF_END_CONDITIONS_AND_IN_RESPONSE_TO_UUID"></a>LIST-OF-FROM-ADDRESS-AND-TO-ADDRESS-AND-ASPECT-IDENT-AND-CARRIER-AND-ZERO-OR-ONE-OF-CONVERSATION-UUID-AND-ZERO-OR-ONE-OF-LOGICAL-OR-OF-END-CONDITIONS-AND-IN-RESPONSE-TO-UUID</div>
715+
<div class="def-struc-def">SEQ(<a href="ref_sys_symbols.html#FROM_ADDRESS">FROM_ADDRESS</a>, <a href="ref_sys_symbols.html#TO_ADDRESS">TO_ADDRESS</a>, <a href="ref_sys_symbols.html#ASPECT_IDENT">ASPECT_IDENT</a>, <a href="ref_sys_symbols.html#CARRIER">CARRIER</a>, ?(<a href="ref_sys_symbols.html#CONVERSATION_UUID">CONVERSATION_UUID</a>), ?(OR(<a href="ref_sys_symbols.html#END_CONDITIONS">END_CONDITIONS</a>, <a href="ref_sys_symbols.html#IN_RESPONSE_TO_UUID">IN_RESPONSE_TO_UUID</a>)))</div>
716+
<div class="def-comment"></div>
717+
</div>
718+
<div class="def-item def-symbol">
719+
<div class="def-type">Symbol:</div>
720+
<div class="def-name"><a name="HEAD"></a>HEAD</div>
721+
<div class="def-sym-def"><a href="ref_sys_structures.html#LIST_OF_FROM_ADDRESS_AND_TO_ADDRESS_AND_ASPECT_IDENT_AND_CARRIER_AND_ZERO_OR_ONE_OF_CONVERSATION_UUID_AND_ZERO_OR_ONE_OF_LOGICAL_OR_OF_END_CONDITIONS_AND_IN_RESPONSE_TO_UUID">LIST-OF-FROM-ADDRESS-AND-TO-ADDRESS-AND-ASPECT-IDENT-AND-CARRIER-AND-ZERO-OR-ONE-OF-CONVERSATION-UUID-AND-ZERO-OR-ONE-OF-LOGICAL-OR-OF-END-CONDITIONS-AND-IN-RESPONSE-TO-UUID</a></div>
722+
<div class="def-comment"></div>
723+
</div>
724+
<div class="def-item def-structure">
725+
<div class="def-type">Structure:</div>
726+
<div class="def-name"><a name="TUPLE_OF_HEAD_AND_BODY"></a>TUPLE-OF-HEAD-AND-BODY</div>
727+
<div class="def-struc-def">SEQ(<a href="ref_sys_symbols.html#HEAD">HEAD</a>, <a href="ref_sys_symbols.html#BODY">BODY</a>)</div>
728+
<div class="def-comment"></div>
729+
</div>
730+
<div class="def-item def-symbol">
731+
<div class="def-type">Symbol:</div>
732+
<div class="def-name"><a name="MESSAGE"></a>MESSAGE</div>
733+
<div class="def-sym-def"><a href="ref_sys_structures.html#TUPLE_OF_HEAD_AND_BODY">TUPLE-OF-HEAD-AND-BODY</a></div>
734+
<div class="def-comment"> meta-data of a signal</div>
735+
</div>
736+
<div class="def-item def-structure">
737+
<div class="def-type">Structure:</div>
738+
<div class="def-name"><a name="TUPLE_OF_ENVELOPE_AND_MESSAGE"></a>TUPLE-OF-ENVELOPE-AND-MESSAGE</div>
739+
<div class="def-struc-def">SEQ(<a href="ref_sys_symbols.html#ENVELOPE">ENVELOPE</a>, <a href="ref_sys_symbols.html#MESSAGE">MESSAGE</a>)</div>
716740
<div class="def-comment"></div>
717741
</div>
718742
<div class="def-item def-symbol">
719743
<div class="def-type">Symbol:</div>
720744
<div class="def-name"><a name="SIGNAL"></a>SIGNAL</div>
721-
<div class="def-sym-def"><a href="ref_sys_structures.html#TUPLE_OF_ENVELOPE_AND_BODY">TUPLE-OF-ENVELOPE-AND-BODY</a></div>
722-
<div class="def-comment"> a signal on the flux. It's first child is the contents of the signal</div>
745+
<div class="def-sym-def"><a href="ref_sys_structures.html#TUPLE_OF_ENVELOPE_AND_MESSAGE">TUPLE-OF-ENVELOPE-AND-MESSAGE</a></div>
746+
<div class="def-comment"> a signal on the flux. It's first child is the contents of the signal</div>
723747
</div>
724748
<div class="def-item def-structure">
725749
<div class="def-type">Structure:</div>
@@ -731,7 +755,7 @@ <h4>SYS_CONTEXT</h4>
731755
<div class="def-type">Symbol:</div>
732756
<div class="def-name"><a name="PENDING_SIGNALS"></a>PENDING_SIGNALS</div>
733757
<div class="def-sym-def"><a href="ref_sys_structures.html#ZERO_OR_MORE_OF_SIGNAL">ZERO-OR-MORE-OF-SIGNAL</a></div>
734-
<div class="def-comment"> list of signals pending to be sent by the SYS_RECEPTOR</div>
758+
<div class="def-comment"> list of signals pending to be sent by the SYS_RECEPTOR</div>
735759
</div>
736760
<div class="def-item def-symbol">
737761
<div class="def-type">Symbol:</div>
@@ -2904,7 +2928,7 @@ <h4>DEV_COMPOSITORY_CONTEXT</h4>
29042928
</div>
29052929
<div class="def-item def-symbol">
29062930
<div class="def-type">Symbol:</div>
2907-
<div class="def-name"><a name="MESSAGE"></a>MESSAGE</div>
2931+
<div class="def-name"><a name="MESSAGE_TEXT"></a>MESSAGE_TEXT</div>
29082932
<div class="def-sym-def"><a href="ref_sys_structures.html#CSTRING">CSTRING</a></div>
29092933
<div class="def-comment"></div>
29102934
</div>

doxy/sys_structures.html

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -45,8 +45,10 @@
4545
<tr><td><a name="ONE_OR_MORE_OF_ASPECT_DEF"></a>ONE-OR-MORE-OF-ASPECT-DEF</td><td>+(<a href="ref_sys_symbols.html#ASPECT_DEF">ASPECT_DEF</a>)</td><td></td></tr>
4646
<tr><td><a name="ONE_OR_MORE_OF_RECEPTOR_PATH"></a>ONE-OR-MORE-OF-RECEPTOR-PATH</td><td>+(<a href="ref_sys_symbols.html#RECEPTOR_PATH">RECEPTOR_PATH</a>)</td><td></td></tr>
4747
<tr><td><a name="RECEPTOR_ADDRESS"></a>RECEPTOR-ADDRESS</td><td>OR(<a href="ref_sys_symbols.html#RECEPTOR_ADDR">RECEPTOR_ADDR</a>, <a href="ref_sys_symbols.html#RECEPTOR_PATH">RECEPTOR_PATH</a>)</td><td></td></tr>
48-
<tr><td><a name="LIST_OF_FROM_ADDRESS_AND_TO_ADDRESS_AND_ASPECT_IDENT_AND_CARRIER_AND_SIGNAL_UUID_AND_ZERO_OR_ONE_OF_CONVERSATION_UUID_AND_ZERO_OR_ONE_OF_LOGICAL_OR_OF_END_CONDITIONS_AND_IN_RESPONSE_TO_UUID"></a>LIST-OF-FROM-ADDRESS-AND-TO-ADDRESS-AND-ASPECT-IDENT-AND-CARRIER-AND-SIGNAL-UUID-AND-ZERO-OR-ONE-OF-CONVERSATION-UUID-AND-ZERO-OR-ONE-OF-LOGICAL-OR-OF-END-CONDITIONS-AND-IN-RESPONSE-TO-UUID</td><td>SEQ(<a href="ref_sys_symbols.html#FROM_ADDRESS">FROM_ADDRESS</a>, <a href="ref_sys_symbols.html#TO_ADDRESS">TO_ADDRESS</a>, <a href="ref_sys_symbols.html#ASPECT_IDENT">ASPECT_IDENT</a>, <a href="ref_sys_symbols.html#CARRIER">CARRIER</a>, <a href="ref_sys_symbols.html#SIGNAL_UUID">SIGNAL_UUID</a>, ?(<a href="ref_sys_symbols.html#CONVERSATION_UUID">CONVERSATION_UUID</a>), ?(OR(<a href="ref_sys_symbols.html#END_CONDITIONS">END_CONDITIONS</a>, <a href="ref_sys_symbols.html#IN_RESPONSE_TO_UUID">IN_RESPONSE_TO_UUID</a>)))</td><td></td></tr>
49-
<tr><td><a name="TUPLE_OF_ENVELOPE_AND_BODY"></a>TUPLE-OF-ENVELOPE-AND-BODY</td><td>SEQ(<a href="ref_sys_symbols.html#ENVELOPE">ENVELOPE</a>, <a href="ref_sys_symbols.html#BODY">BODY</a>)</td><td></td></tr>
48+
<tr><td><a name="LIST_OF_SIGNAL_UUID"></a>LIST-OF-SIGNAL-UUID</td><td>SEQ(<a href="ref_sys_symbols.html#SIGNAL_UUID">SIGNAL_UUID</a>)</td><td></td></tr>
49+
<tr><td><a name="LIST_OF_FROM_ADDRESS_AND_TO_ADDRESS_AND_ASPECT_IDENT_AND_CARRIER_AND_ZERO_OR_ONE_OF_CONVERSATION_UUID_AND_ZERO_OR_ONE_OF_LOGICAL_OR_OF_END_CONDITIONS_AND_IN_RESPONSE_TO_UUID"></a>LIST-OF-FROM-ADDRESS-AND-TO-ADDRESS-AND-ASPECT-IDENT-AND-CARRIER-AND-ZERO-OR-ONE-OF-CONVERSATION-UUID-AND-ZERO-OR-ONE-OF-LOGICAL-OR-OF-END-CONDITIONS-AND-IN-RESPONSE-TO-UUID</td><td>SEQ(<a href="ref_sys_symbols.html#FROM_ADDRESS">FROM_ADDRESS</a>, <a href="ref_sys_symbols.html#TO_ADDRESS">TO_ADDRESS</a>, <a href="ref_sys_symbols.html#ASPECT_IDENT">ASPECT_IDENT</a>, <a href="ref_sys_symbols.html#CARRIER">CARRIER</a>, ?(<a href="ref_sys_symbols.html#CONVERSATION_UUID">CONVERSATION_UUID</a>), ?(OR(<a href="ref_sys_symbols.html#END_CONDITIONS">END_CONDITIONS</a>, <a href="ref_sys_symbols.html#IN_RESPONSE_TO_UUID">IN_RESPONSE_TO_UUID</a>)))</td><td></td></tr>
50+
<tr><td><a name="TUPLE_OF_HEAD_AND_BODY"></a>TUPLE-OF-HEAD-AND-BODY</td><td>SEQ(<a href="ref_sys_symbols.html#HEAD">HEAD</a>, <a href="ref_sys_symbols.html#BODY">BODY</a>)</td><td></td></tr>
51+
<tr><td><a name="TUPLE_OF_ENVELOPE_AND_MESSAGE"></a>TUPLE-OF-ENVELOPE-AND-MESSAGE</td><td>SEQ(<a href="ref_sys_symbols.html#ENVELOPE">ENVELOPE</a>, <a href="ref_sys_symbols.html#MESSAGE">MESSAGE</a>)</td><td></td></tr>
5052
<tr><td><a name="ZERO_OR_MORE_OF_SIGNAL"></a>ZERO-OR-MORE-OF-SIGNAL</td><td>*(<a href="ref_sys_symbols.html#SIGNAL">SIGNAL</a>)</td><td></td></tr>
5153
<tr><td><a name="TUPLE_OF_PROCESS_IDENT_AND_CODE_PATH"></a>TUPLE-OF-PROCESS-IDENT-AND-CODE-PATH</td><td>SEQ(<a href="ref_sys_symbols.html#PROCESS_IDENT">PROCESS_IDENT</a>, <a href="ref_sys_symbols.html#CODE_PATH">CODE_PATH</a>)</td><td></td></tr>
5254
<tr><td><a name="LIST_OF_SIGNAL_UUID_AND_CARRIER_AND_WAKEUP_REFERENCE_AND_END_CONDITIONS"></a>LIST-OF-SIGNAL-UUID-AND-CARRIER-AND-WAKEUP-REFERENCE-AND-END-CONDITIONS</td><td>SEQ(<a href="ref_sys_symbols.html#SIGNAL_UUID">SIGNAL_UUID</a>, <a href="ref_sys_symbols.html#CARRIER">CARRIER</a>, <a href="ref_sys_symbols.html#WAKEUP_REFERENCE">WAKEUP_REFERENCE</a>, <a href="ref_sys_symbols.html#END_CONDITIONS">END_CONDITIONS</a>)</td><td></td></tr>

doxy/sys_symbols.html

Lines changed: 6 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -69,9 +69,11 @@
6969
<tr><td><a name="FROM_ADDRESS"></a>FROM_ADDRESS</td><td><a href="ref_sys_structures.html#RECEPTOR_ADDRESS">RECEPTOR-ADDRESS</a></td><td></td></tr>
7070
<tr><td><a name="TO_ADDRESS"></a>TO_ADDRESS</td><td><a href="ref_sys_structures.html#RECEPTOR_ADDRESS">RECEPTOR-ADDRESS</a></td><td></td></tr>
7171
<tr><td><a name="END_CONDITIONS"></a>END_CONDITIONS</td><td><a href="ref_sys_structures.html#TUPLE_OF_ZERO_OR_ONE_OF_TIMEOUT_AT_AND_ZERO_OR_ONE_OF_REPETITIONS">TUPLE-OF-ZERO-OR-ONE-OF-TIMEOUT-AT-AND-ZERO-OR-ONE-OF-REPETITIONS</a></td><td></td></tr>
72-
<tr><td><a name="ENVELOPE"></a>ENVELOPE</td><td><a href="ref_sys_structures.html#LIST_OF_FROM_ADDRESS_AND_TO_ADDRESS_AND_ASPECT_IDENT_AND_CARRIER_AND_SIGNAL_UUID_AND_ZERO_OR_ONE_OF_CONVERSATION_UUID_AND_ZERO_OR_ONE_OF_LOGICAL_OR_OF_END_CONDITIONS_AND_IN_RESPONSE_TO_UUID">LIST-OF-FROM-ADDRESS-AND-TO-ADDRESS-AND-ASPECT-IDENT-AND-CARRIER-AND-SIGNAL-UUID-AND-ZERO-OR-ONE-OF-CONVERSATION-UUID-AND-ZERO-OR-ONE-OF-LOGICAL-OR-OF-END-CONDITIONS-AND-IN-RESPONSE-TO-UUID</a></td><td></td></tr>
73-
<tr><td><a name="SIGNAL"></a>SIGNAL</td><td><a href="ref_sys_structures.html#TUPLE_OF_ENVELOPE_AND_BODY">TUPLE-OF-ENVELOPE-AND-BODY</a></td><td> a signal on the flux. It's first child is the contents of the signal</td></tr>
74-
<tr><td><a name="PENDING_SIGNALS"></a>PENDING_SIGNALS</td><td><a href="ref_sys_structures.html#ZERO_OR_MORE_OF_SIGNAL">ZERO-OR-MORE-OF-SIGNAL</a></td><td> list of signals pending to be sent by the SYS_RECEPTOR</td></tr>
72+
<tr><td><a name="ENVELOPE"></a>ENVELOPE</td><td><a href="ref_sys_structures.html#LIST_OF_SIGNAL_UUID">LIST-OF-SIGNAL-UUID</a></td><td></td></tr>
73+
<tr><td><a name="HEAD"></a>HEAD</td><td><a href="ref_sys_structures.html#LIST_OF_FROM_ADDRESS_AND_TO_ADDRESS_AND_ASPECT_IDENT_AND_CARRIER_AND_ZERO_OR_ONE_OF_CONVERSATION_UUID_AND_ZERO_OR_ONE_OF_LOGICAL_OR_OF_END_CONDITIONS_AND_IN_RESPONSE_TO_UUID">LIST-OF-FROM-ADDRESS-AND-TO-ADDRESS-AND-ASPECT-IDENT-AND-CARRIER-AND-ZERO-OR-ONE-OF-CONVERSATION-UUID-AND-ZERO-OR-ONE-OF-LOGICAL-OR-OF-END-CONDITIONS-AND-IN-RESPONSE-TO-UUID</a></td><td></td></tr>
74+
<tr><td><a name="MESSAGE"></a>MESSAGE</td><td><a href="ref_sys_structures.html#TUPLE_OF_HEAD_AND_BODY">TUPLE-OF-HEAD-AND-BODY</a></td><td> meta-data of a signal</td></tr>
75+
<tr><td><a name="SIGNAL"></a>SIGNAL</td><td><a href="ref_sys_structures.html#TUPLE_OF_ENVELOPE_AND_MESSAGE">TUPLE-OF-ENVELOPE-AND-MESSAGE</a></td><td> a signal on the flux. It's first child is the contents of the signal</td></tr>
76+
<tr><td><a name="PENDING_SIGNALS"></a>PENDING_SIGNALS</td><td><a href="ref_sys_structures.html#ZERO_OR_MORE_OF_SIGNAL">ZERO-OR-MORE-OF-SIGNAL</a></td><td> list of signals pending to be sent by the SYS_RECEPTOR</td></tr>
7577
<tr><td><a name="CODE_PATH"></a>CODE_PATH</td><td><a href="ref_sys_structures.html#TREE_PATH">TREE-PATH</a></td><td></td></tr>
7678
<tr><td><a name="PROCESS_IDENT"></a>PROCESS_IDENT</td><td><a href="ref_sys_structures.html#INTEGER">INTEGER</a></td><td></td></tr>
7779
<tr><td><a name="WAKEUP_REFERENCE"></a>WAKEUP_REFERENCE</td><td><a href="ref_sys_structures.html#TUPLE_OF_PROCESS_IDENT_AND_CODE_PATH">TUPLE-OF-PROCESS-IDENT-AND-CODE-PATH</a></td><td></td></tr>
@@ -296,7 +298,7 @@
296298
<tr><td><a name="MEMBER"></a>MEMBER</td><td><a href="ref_sys_structures.html#RECEPTOR_ADDRESS">RECEPTOR-ADDRESS</a></td><td></td></tr>
297299
<tr><td><a name="enrollment"></a>enrollment</td><td><a href="ref_sys_structures.html#INTERACTION">INTERACTION</a></td><td></td></tr>
298300
<tr><td><a name="converse"></a>converse</td><td><a href="ref_sys_structures.html#INTERACTION">INTERACTION</a></td><td></td></tr>
299-
<tr><td><a name="MESSAGE"></a>MESSAGE</td><td><a href="ref_sys_structures.html#CSTRING">CSTRING</a></td><td></td></tr>
301+
<tr><td><a name="MESSAGE_TEXT"></a>MESSAGE_TEXT</td><td><a href="ref_sys_structures.html#CSTRING">CSTRING</a></td><td></td></tr>
300302
<tr><td><a name="TEST_INT_SYMBOL"></a>TEST_INT_SYMBOL</td><td><a href="ref_sys_structures.html#INTEGER">INTEGER</a></td><td></td></tr>
301303
<tr><td><a name="TEST_INT_SYMBOL2"></a>TEST_INT_SYMBOL2</td><td><a href="ref_sys_structures.html#INTEGER">INTEGER</a></td><td></td></tr>
302304
<tr><td><a name="TEST_INT64_SYMBOL"></a>TEST_INT64_SYMBOL</td><td><a href="ref_sys_structures.html#INTEGER64">INTEGER64</a></td><td></td></tr>

spec/ceptr_specs.c

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -44,25 +44,25 @@ int main(int argc, const char **argv) {
4444
else {
4545
def_sys();
4646
//**** core tests
47-
/* testSemTable(); */
48-
/* testDef(); */
47+
testSemTable();
48+
testDef();
4949
testTree();
50-
/* testMTree(); */
50+
testMTree();
5151
testStream();
52-
/* testLabel(); */
53-
// testSemtrex();
52+
testLabel();
53+
testSemtrex();
5454
testProcess();
55-
testReceptor();
56-
/* testScape(); */
55+
testReceptor();
56+
testScape();
5757
testVMHost();
58-
/* testAccumulator(); */
59-
/* testProtocol(); */
58+
testAccumulator();
59+
testProtocol();
6060

61-
/* //\**** receptor tests */
62-
/* testGroup(); */
61+
/**** receptor tests */
62+
/* /\* testGroup(); *\/ */
6363
testHTTP();
6464

65-
/* /\* /\\***** examples *\\/ *\/ */
65+
/****** examples */
6666
/* testProfileExample(); */
6767

6868
sys_free();

spec/def_spec.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -208,7 +208,7 @@ void testDefSysDefs() {
208208
spec_is_str_equal(t2s(_sem_get_def(G_sem,LT_INT)),"(PROCESS_DEFINITION (PROCESS_NAME (ENGLISH_LABEL:LT_INT)) (PROCESS_INTENTION:test less than) (process:NULL_PROCESS) (PROCESS_SIGNATURE (OUTPUT_SIGNATURE (SIGNATURE_LABEL (ENGLISH_LABEL:result)) (SIGNATURE_SYMBOL:BOOLEAN)) (INPUT_SIGNATURE (SIGNATURE_LABEL (ENGLISH_LABEL:int1)) (SIGNATURE_STRUCTURE:INTEGER)) (INPUT_SIGNATURE (SIGNATURE_LABEL (ENGLISH_LABEL:int2)) (SIGNATURE_STRUCTURE:INTEGER))) (PROCESS_LINK (PROCESS_OF_STRUCTURE:INTEGER) (PROCESS_TYPE (OPERATOR))))");
209209

210210
// an example of a process with code
211-
spec_is_str_equal(t2s(_sem_get_def(G_sem,respond_with_yup)),"(PROCESS_DEFINITION (PROCESS_NAME (ENGLISH_LABEL:respond_with_yup)) (PROCESS_INTENTION:respond with yup) (process:RESPOND (SIGNAL_REF:/1/4) (YUP)) (PROCESS_SIGNATURE (OUTPUT_SIGNATURE (SIGNATURE_LABEL (ENGLISH_LABEL:response id)) (SIGNATURE_SYMBOL:SIGNAL_UUID))))");
211+
spec_is_str_equal(t2s(_sem_get_def(G_sem,respond_with_yup)),"(PROCESS_DEFINITION (PROCESS_NAME (ENGLISH_LABEL:respond_with_yup)) (PROCESS_INTENTION:respond with yup) (process:RESPOND (SIGNAL_REF:/2/1/4) (YUP)) (PROCESS_SIGNATURE (OUTPUT_SIGNATURE (SIGNATURE_LABEL (ENGLISH_LABEL:response id)) (SIGNATURE_SYMBOL:SIGNAL_UUID))))");
212212

213213
// an example of a defined protocol (alive)
214214
spec_is_str_equal(t2s(_sem_get_def(G_sem,ALIVE)),"(PROTOCOL_DEFINITION (PROTOCOL_LABEL (ENGLISH_LABEL:ALIVE)) (PROTOCOL_SEMANTICS (ROLE:SERVER) (ROLE:CLIENT) (GOAL:HANDLER)) (alive (EXPECT (ROLE:SERVER) (SOURCE (ROLE:CLIENT)) (PATTERN (SEMTREX_SYMBOL_LITERAL (SEMTREX_SYMBOL:PING))) (ACTION:respond_with_yup)) (EXPECT (ROLE:CLIENT) (SOURCE (ROLE:SERVER)) (PATTERN (SEMTREX_SYMBOL_LITERAL (SEMTREX_SYMBOL:YUP))) (SLOT (GOAL:HANDLER) (SLOT_IS_VALUE_OF:ACTION)))))");

0 commit comments

Comments
 (0)