|
ceptr
|
The virtual machine provides the following system symbols:
| Symbol | Semantic use of Structure: | Comments |
|---|---|---|
| NULL_SYMBOL | undefined | |
| STRUCTURES | ZERO-OR-MORE-OF-STRUCTURE-DEFINITION | |
| SYMBOLS | ZERO-OR-MORE-OF-SYMBOL-DEFINITION | |
| PROCESSES | ZERO-OR-MORE-OF-PROCESS-DEFINITION | |
| PROTOCOLS | ZERO-OR-MORE-OF-PROTOCOL-DEFINITION | |
| RECEPTORS | ZERO-OR-MORE-OF-RECEPTOR-DEFINITION | |
| SCAPES | ZERO-OR-MORE-OF-STRUCTURE-OF-SCAPE | |
| DEFINITIONS | LIST-OF-STRUCTURES-AND-SYMBOLS-AND-PROCESSES-AND-PROTOCOLS-AND-RECEPTORS-AND-ZERO-OR-MORE-OF-SCAPES | |
| STRUCTURE_SYMBOL | SYMBOL | |
| STRUCTURE_SEQUENCE | ONE-OR-MORE-OF-STRUCTURE-DEF | |
| STRUCTURE_OR | ONE-OR-MORE-OF-STRUCTURE-DEF | |
| STRUCTURE_ZERO_OR_MORE | STRUCTURE-DEF | |
| STRUCTURE_ONE_OR_MORE | STRUCTURE-DEF | |
| STRUCTURE_STRUCTURE | STRUCTURE | |
| STRUCTURE_ANYTHING | NULL-STRUCTURE | |
| STRUCTURE_LABEL | LABEL | |
| STRUCTURE_DEFINITION | TUPLE-OF-STRUCTURE-LABEL-AND-STRUCTURE-DEF | |
| STRUCTURE_ZERO_OR_ONE | STRUCTURE-DEF | |
| SYMBOL_STRUCTURE | STRUCTURE | |
| SYMBOL_LABEL | LABEL | |
| SYMBOL_DEFINITION | TUPLE-OF-SYMBOL-LABEL-AND-SYMBOL-STRUCTURE | |
| BOOLEAN | BIT | |
| SEMTREX_MATCH_PATH | TREE-PATH | Path to symbol matched by semtrex |
| SEMTREX_SYMBOL_LITERAL | SEMTREX-SYMBOL-LITERAL-DEF | matches on the semantic type. |
| SEMTREX_SYMBOL_LITERAL_NOT | SEMTREX-SYMBOL-LITERAL-DEF | matches any symbol or value of the node except. |
| SEMTREX_SEQUENCE | ONE-OR-MORE-OF-SEMTREX-DEF | Match on a sequence of child nodes which are any valid semtrex's. Ex: comma separated nodes |
| SEMTREX_OR | PAIR-OF-SEMTREX-DEF | Logical OR between two Semtrex expressions. Ex: | |
| SEMTREX_NOT | SEMTREX-DEF | Logical ~ between of a Semtrex expressions. Ex: ~ (not implemented) |
| SEMTREX_SYMBOL_ANY | ZERO-OR-ONE-OF-ANY-SYMBOL | match any symbol or value of the node. Ex: . |
| SEMTREX_ZERO_OR_MORE | SEMTREX-DEF | Requires one child Semtrex and matches on zero or more of that Semtrex. Ex: /0/TestSemtrex* |
| SEMTREX_ONE_OR_MORE | SEMTREX-DEF | Requires one child Semtrex and matches on one or more of that Semtrex. Ex: /0/TestSemtrex+ |
| SEMTREX_ZERO_OR_ONE | SEMTREX-DEF | Requires one child Semtrex and matches on zero or one of that Semtrex. Ex: /0/TestSemtrex? |
| SEMTREX_VALUE_LITERAL | SEMTREX-VALUE-LITERAL-DEF | Matches on the semantic type and the data values. |
| SEMTREX_VALUE_LITERAL_NOT | SEMTREX-VALUE-LITERAL-DEF | Matches on logical not of semantic type and data values |
| SEMTREX_GROUP | SYMBOL | Grouping, should have 1 child.. bad def!! Ex: <...>operator |
| SEMTREX_WALK | SEMTREX-DEF | |
| SEMTREX_DESCEND | SEMTREX-DEF | |
| SEMTREX_SYMBOL | SYMBOL | Symbols in the literal set |
| SEMTREX_SYMBOL_SET | ONE-OR-MORE-OF-SEMTREX-SYMBOL | |
| SEMTREX_VALUE_SET | ONE-OR-MORE-OF-ANY-SYMBOL | this is of the symbols to match on |
| SEMTREX_MATCH | INTEGER | @todo this is actually more like [(SEMTREX_MATCH_SYMBOL,SEMTREX_MATCH_PATH,SEMTREX_MATCH_SIBLINGS_COUNT, recurseon:SEMTREX_MATCH)] but we're using the surface of the root as well which is an INTEGER. |
| SEMTREX_MATCH_CURSOR | NULL-STRUCTURE | stores c pointer to tree node at start of match |
| SEMTREX_MATCH_RESULTS | NULL-STRUCTURE | In the FSA_ID, keeps track of which part matches so it can be referenced |
| SEMTREX_MATCH_SYMBOL | SYMBOL | |
| SEMTREX_MATCH_SIBLINGS_COUNT | INTEGER | In the FSA_ID, it's the length of the match |
| ASCII_CHAR | CHAR | |
| ASCII_CHARS | ONE-OR-MORE-OF-ASCII-CHAR | |
| ASCII_STR | CSTRING | |
| RECEPTOR_XADDR | XADDR | An Xaddr that points to a receptor |
| EXPECTATIONS | ZERO-OR-MORE-OF-EXPECTATION | list of carrier/expectation/action tress |
| SIGNALS | ZERO-OR-MORE-OF-SIGNAL | list of signals on an aspect in the flux |
| DEFAULT_ASPECT | ASPECT | |
| FLUX | ONE-OR-MORE-OF-STRUCTURE-OF-ASPECT | tree to hold all incoming and in process signals on the various aspects |
| SCAPE_SPEC | NULL-STRUCTURE | @todo... |
| ASPECT_IDENT | SYMBOL | when we get ranges, this should limit the surface symbol those defined as usages of ASPECT |
| ASPECT_TYPE | BIT | really should be an enum of IN, OUT |
| ASPECT_LABEL | CSTRING | |
| ASPECT_DEF | TUPLE-OF-ASPECT-TYPE-AND-ASPECT-LABEL | what else goes in the aspect definition? |
| ASPECTS | ONE-OR-MORE-OF-ASPECT-DEF | |
| CARRIER | SYMBOL | |
| BODY | TREE | orthogonal tree that holds message body |
| SIGNAL_UUID | UUID | @todo change from UUID to hash link as per #132 |
| IN_RESPONSE_TO_UUID | UUID | @todo change from UUID to hash link as per #132 |
| CONVERSATION_UUID | UUID | @todo change from UUID to hash link as per #132 |
| RECEPTOR_PATH | TREE-PATH | |
| RECEPTOR_PATHS | ONE-OR-MORE-OF-RECEPTOR-PATH | |
| RECEPTOR_ADDR | INTEGER | |
| FROM_ADDRESS | RECEPTOR-ADDRESS | |
| TO_ADDRESS | RECEPTOR-ADDRESS | |
| END_CONDITIONS | TUPLE-OF-ZERO-OR-ONE-OF-TIMEOUT-AT-AND-ZERO-OR-ONE-OF-REPETITIONS | |
| ENVELOPE | LIST-OF-SIGNAL-UUID | |
| CONVERSATION_IDENT | LIST-OF-CONVERSATION-UUID | |
| HEAD | LIST-OF-FROM-ADDRESS-AND-TO-ADDRESS-AND-ASPECT-IDENT-AND-CARRIER-AND-ZERO-OR-ONE-OF-CONVERSATION-IDENT-AND-ZERO-OR-ONE-OF-LOGICAL-OR-OF-END-CONDITIONS-AND-IN-RESPONSE-TO-UUID | |
| MESSAGE | TUPLE-OF-HEAD-AND-BODY | meta-data of a signal |
| SIGNAL | TUPLE-OF-ENVELOPE-AND-MESSAGE | a signal on the flux. It's first child is the contents of the signal |
| PENDING_SIGNALS | ZERO-OR-MORE-OF-SIGNAL | list of signals pending to be sent by the SYS_RECEPTOR |
| CODE_PATH | TREE-PATH | |
| PROCESS_IDENT | INTEGER | |
| WAKEUP_REFERENCE | CODE-REF | |
| PENDING_RESPONSE | LIST-OF-SIGNAL-UUID-AND-CARRIER-AND-WAKEUP-REFERENCE-AND-END-CONDITIONS-AND-ZERO-OR-ONE-OF-CONVERSATION-IDENT | |
| PENDING_RESPONSES | ZERO-OR-MORE-OF-PENDING-RESPONSE | |
| RESPONSE_CARRIER | SYMBOL | expected carrier for the response to a signal that "listen" to changes on the flux |
| PATTERN | SEMTREX-DEF | expectation is a semtrex (thus has one child which is the first part of the semtrex) |
| ACTION | PROCESS | code tree_ID, which specifies the action to perform when an expectation's semtrex matches |
| PARAMS | ZERO-OR-MORE-OF-ANY-SYMBOL | |
| SEMANTIC_MAP | SEMANTIC-LINKS | |
| EXPECTATION | LIST-OF-CARRIER-AND-PATTERN-AND-ACTION-AND-PARAMS-AND-END-CONDITIONS-AND-ZERO-OR-ONE-OF-SEMANTIC-MAP-AND-ZERO-OR-ONE-OF-CONVERSATION-UUID | |
| CONVERSATION | LIST-OF-CONVERSATION-UUID-AND-END-CONDITIONS-AND-CONVERSATIONS-AND-ZERO-OR-ONE-OF-WAKEUP-REFERENCE | |
| CONVERSATIONS | ZERO-OR-MORE-OF-CONVERSATION | |
| TRANSCODER | NULL-STRUCTURE | should be an enum value for process type |
| OPERATOR | NULL-STRUCTURE | should be an enum value for process type |
| VALIDATOR | NULL-STRUCTURE | should be an enum value for process type |
| PROCESS_OF_STRUCTURE | STRUCTURE | |
| PROCESS_OF_SYMBOL | SYMBOL | |
| PROCESS_OF_PROCESS | PROCESS | |
| PROCESS_OF | LOGICAL-OR-OF-PROCESS-OF-STRUCTURE-AND-PROCESS-OF-SYMBOL-AND-PROCESS-OF-PROCESS | |
| PROCESS_TYPE | LOGICAL-OR-OF-TRANSCODER-AND-OPERATOR-AND-VALIDATOR | |
| PROCESS_LINK | TUPLE-OF-PROCESS-OF-AND-PROCESS-TYPE | |
| PROCESS_NAME | LABEL | |
| PROCESS_INTENTION | CSTRING | |
| PROCESS_SIGNATURE | PROCESS-FORM | |
| CODE | ANY-SYMBOL | |
| PROCESS_DEFINITION | LIST-OF-PROCESS-NAME-AND-PROCESS-INTENTION-AND-CODE-AND-PROCESS-SIGNATURE-AND-ZERO-OR-ONE-OF-PROCESS-LINK | |
| GOAL | SYMBOL | A goal stands for an intended process, thus the symbol stored in a GOAL must be limited to those that are uses of the PROCESS structure. |
| ROLE | SYMBOL | A role stands for an expected agent, thus the symbol stored in a ROLE must be limited to those of structure RECEPTOR_ADDRESS. |
| USAGE | SYMBOL | A usage stands for a(n) X of a Symbol. |
| WEAL | SYMBOL | A weal stands for a included protocol, the the symbol store in an WEAL must be limited to those that are uses of the PROTOCOL structure |
| SLOT_IS_VALUE_OF | SYMBOL | |
| SLOT_CHILDREN | ANY-SYMBOL | |
| SLOT | SLOT-STRUCTURE | |
| REPLACEMENT_VALUE | ANY-SYMBOL | what to fill the slot with |
| SEMANTIC_LINK | TUPLE-OF-SEMANTIC-REFERENCE-AND-REPLACEMENT-VALUE | mapping between a semantic reference and replacement value, used for filling templates |
| PROTOCOL_DEFAULTS | SEMANTIC-LINKS | |
| SIGNATURE_LABEL | LABEL | |
| SIGNATURE_STRUCTURE | STRUCTURE | the structure that would match |
| SIGNATURE_SYMBOL | SYMBOL | the symbol that would match |
| SIGNATURE_PROCESS | SYMBOL | the output signature of the process |
| SIGNATURE_RECEPTOR | RECEPTOR | use of receptor in signature |
| SIGNATURE_PROTOCOL | PROTOCOL | use of protocol in signature |
| SIGNATURE_PASSTHRU | NULL-STRUCTURE | |
| SIGNATURE_ANY | NULL-STRUCTURE | |
| SIGNATURE_OPTIONAL | NULL-STRUCTURE | |
| SIGNATURE_OUTPUT_TYPE | LOGICAL-OR-OF-SIGNATURE-STRUCTURE-AND-SIGNATURE-SYMBOL-AND-SIGNATURE-PROCESS-AND-SIGNATURE-PASSTHRU | the semantic type expected as result i.e. either PROCESS/STRUCTURE/SYMBOL or PASSTHRU when the type comes from a reduction of a SIGNATURE_ANY |
| SIGNATURE_INPUT_TYPE | TUPLE-OF-SIGNATURE-SEMANTIC-VARIANTS-AND-ZERO-OR-ONE-OF-SIGNATURE-OPTIONAL | the semantic type that would expected as input i.e. either PROCESS/STRUCTURE/SYMBOL |
| INPUT_SIGNATURE | TUPLE-OF-SIGNATURE-LABEL-AND-SIGNATURE-INPUT-TYPE | |
| OUTPUT_SIGNATURE | TUPLE-OF-SIGNATURE-LABEL-AND-SIGNATURE-OUTPUT-TYPE | |
| EXPECTED_SLOT | SLOT-STRUCTURE | use of the slot structure not as a slot but as what kind of slot to expect (for the template signature) |
| TEMPLATE_SIGNATURE | LIST-OF-ZERO-OR-MORE-OF-EXPECTED-SLOT | |
| RUN_TREE | LIST-OF-CODE-AND-PARAMS-AND-ZERO-OR-ONE-OF-CODE-AND-ZERO-OR-ONE-OF-PARAMS | think about this as a stack frame and its code and error handling code plus error params |
| PARAM_REF | TREE-PATH | used in a code tree as a reference to a parameter |
| SIGNAL_REF | TREE-PATH | used in a code tree triggered by an expectation as a reference to a part of the signal that triggered the action. |
| RESULT_SYMBOL | SYMBOL | |
| RESULT_STRUCTURE | STRUCTURE | |
| RESULT_PROCESS | PROCESS | |
| RESULT_RECEPTOR | RECEPTOR | |
| RESULT_PROTOCOL | PROTOCOL | |
| REDUCTION_ERROR_SYMBOL | SYMBOL | |
| SOURCE | ONE-OR-MORE-OF-ROLE | |
| DESTINATION | ONE-OR-MORE-OF-ROLE | |
| EXPECT | LIST-OF-ROLE-AND-SOURCE-AND-PATTERN-AND-ACTION-AND-ZERO-OR-ONE-OF-PARAMS | |
| INITIATE | LIST-OF-ROLE-AND-DESTINATION-AND-ACTION | |
| PNAME | PROTOCOL | |
| INCLUSION | TUPLE-OF-PNAME-AND-ONE-OR-MORE-OF-LOGICAL-OR-OF-RESOLUTION-AND-LINKAGE | |
| WHICH_INTERACTION | SYMBOL | the symbols stored in an WHICH_INTERACTION must be limited to those that are uses of the INTERACTION structure |
| PROTOCOL_DEFINITION | LIST-OF-PROTOCOL-LABEL-AND-PROTOCOL-SEMANTICS-AND-ZERO-OR-MORE-OF-PROTOCOL-DEFAULTS-AND-ZERO-OR-MORE-OF-STRUCTURE-OF-INTERACTION-AND-ZERO-OR-MORE-OF-INCLUSION | |
| ACTUAL_PROCESS | PROCESS | |
| ACTUAL_RECEPTOR | RECEPTOR-ADDRESS | |
| ACTUAL_SYMBOL | SYMBOL | |
| ACTUAL_PROTOCOL | PROTOCOL | |
| ACTUAL_VALUE | ANY-SYMBOL | this really can't be an anything, rather only something that's a SYMBOL semantic type |
| WHICH_PROCESS | TUPLE-OF-GOAL-AND-ACTUAL-PROCESS | |
| WHICH_RECEPTOR | TUPLE-OF-ROLE-AND-ACTUAL-RECEPTOR | |
| WHICH_SYMBOL | TUPLE-OF-USAGE-AND-ACTUAL-SYMBOL | |
| WHICH_PROTOCOL | TUPLE-OF-WEAL-AND-ACTUAL-PROTOCOL | |
| WHICH_VALUE | TUPLE-OF-ACTUAL-SYMBOL-AND-ACTUAL-VALUE | |
| RESOLUTION | MAPPING | |
| WHICH_GOAL | PAIR-OF-GOAL | |
| WHICH_ROLE | PAIR-OF-ROLE | |
| WHICH_USAGE | PAIR-OF-USAGE | |
| WHICH_WEAL | PAIR-OF-WEAL | |
| LINKAGE | LINK | |
| PROTOCOL_BINDINGS | ONE-OR-MORE-OF-RESOLUTION | |
| PROTOCOL_LABEL | LABEL | |
| PROTOCOL_SEMANTICS | LIST-OF-ZERO-OR-MORE-OF-ROLE-AND-ZERO-OR-MORE-OF-GOAL-AND-ZERO-OR-MORE-OF-USAGE-AND-ZERO-OR-MORE-OF-WEAL | |
| MANIFEST_LABEL | CSTRING | a label in the manifest to identify a binding |
| MANIFEST_SPEC | SYMBOL | a symbol to specify what type of data must be provided for a given manifest label |
| MANIFEST_PAIR | TUPLE-OF-MANIFEST-LABEL-AND-MANIFEST-SPEC | |
| MANIFEST | ONE-OR-MORE-OF-MANIFEST-PAIR | configuration template to be filled out for the installation of a receptor |
| RECEPTOR_IDENTIFIER | INTEGER | uuid that identifies receptors |
| RECEPTOR_PACKAGE | LIST-OF-MANIFEST-AND-RECEPTOR-IDENTIFIER-AND-DEFINITIONS | |
| BINDING_PAIR | TUPLE-OF-MANIFEST-LABEL-AND-ANY-SYMBOL | a pair that matches a MANIFEST_LABEL with a given binding |
| BINDINGS | ONE-OR-MORE-OF-BINDING-PAIR | specifics that match a MANIFEST and allow a receptor to be installed |
| RECEPTOR_ELAPSED_TIME | INTEGER | |
| RECEPTOR_LABEL | LABEL | |
| RECEPTOR_DEFINITION | TUPLE-OF-RECEPTOR-LABEL-AND-DEFINITIONS | |
| RECEPTOR_STATE | LIST-OF-FLUX-AND-PENDING-SIGNALS-AND-PENDING-RESPONSES-AND-CONVERSATIONS-AND-RECEPTOR-ELAPSED-TIME | |
| PARENT_CONTEXT_NUM | INTEGER | identifies the semantic context of a receptors parent |
| CONTEXT_NUM | INTEGER | identifies the semantic context of a receptor |
| INSTANCE_OF | RECEPTOR | identifies the kind of receptor this is |
| RECEPTOR_INSTANCE | LIST-OF-INSTANCE-OF-AND-CONTEXT-NUM-AND-PARENT-CONTEXT-NUM-AND-RECEPTOR-STATE | |
| SERIALIZED_RECEPTOR | BLOB | |
| ACTIVE_RECEPTORS | ZERO-OR-MORE-OF-RECEPTOR-XADDR | |
| SYS_STATE | LIST-OF-ACTIVE-RECEPTORS | |
| YEAR | INTEGER | |
| MONTH | INTEGER | |
| DAY | INTEGER | |
| HOUR | INTEGER | |
| MINUTE | INTEGER | |
| SECOND | INTEGER | |
| TODAY | DATE | |
| NOW | TIME | |
| TICK | TIMESTAMP | |
| DELIMITER | CSTRING | |
| US_SHORT_DATE | CSTRING | |
| SHORT_TIME | CSTRING | |
| ERROR_LOCATION | TREE-PATH | |
| ERROR_DATA | LIST-OF-ANY-SYMBOL | |
| ZERO_DIVIDE_ERR | REDUCTION-ERROR | |
| TOO_FEW_PARAMS_ERR | REDUCTION-ERROR | |
| TOO_MANY_PARAMS_ERR | REDUCTION-ERROR | |
| SIGNATURE_MISMATCH_ERR | REDUCTION-ERROR | |
| NOT_A_PROCESS_ERR | REDUCTION-ERROR | |
| NOT_IN_SIGNAL_CONTEXT_ERR | REDUCTION-ERROR | |
| INCOMPATIBLE_TYPE_ERR | REDUCTION-ERROR | |
| UNIX_ERRNO_ERR | REDUCTION-ERROR | |
| DEAD_STREAM_READ_ERR | REDUCTION-ERROR | |
| MISSING_SEMANTIC_MAP_ERR | REDUCTION-ERROR | |
| MISMATCH_SEMANTIC_MAP_ERR | REDUCTION-ERROR | |
| STRUCTURE_MISMATCH_ERR | REDUCTION-ERROR | |
| WHICH_XADDR | XADDR | |
| NEW_TYPE | SYMBOL | |
| TIMEOUT_AT | TIMESTAMP | specifies a timeout for requests |
| COUNT | INTEGER | |
| UNLIMITED | NULL-STRUCTURE | |
| REPETITIONS | LOGICAL-OR-OF-COUNT-AND-UNLIMITED | |
| EDGE_STREAM | CPOINTER | |
| EDGE_LISTENER | CPOINTER | |
| ITERATE_ON_SYMBOL | SYMBOL | |
| ITERATION_DATA | ANY-SYMBOL | data to iterate over |
| SCOPE | ANY-SYMBOL | set of processes for DO/CONVERSE |
| PARAM_PATH | TREE-PATH | |
| PARAM_LABEL | STRUCTURE-OF-CSTRING | |
| PARAMETER_REFERENCE | LOGICAL-OR-OF-PARAM-PATH-AND-PARAM-LABEL | a way of refering to the parameter to be |
| RESULT_VALUE | NULL-STRUCTURE | |
| RESULT_LABEL | SYMBOL | |
| PARAMETER_RESULT | LOGICAL-OR-OF-RESULT-SYMBOL-AND-RESULT-VALUE-AND-RESULT-LABEL | if the value of PARAMETER_RESULT is RESULT_SYMBOL, PARAMETER will reduce to the parameter's symbol at the RESULT_SYMBOL symbol. If the value is RESULT_VALUE then PARAMETER will reduce to the parameter's value. If the value is RESULT_LABEL, then PARAMETER will reduce to the label of the symbol type stored in RESULT_LABEL (or the default if not found) |
| TRANSCODE_TO | SYMBOL | |
| TRANSCODE_PARAMS | TUPLE-OF-TRANSCODE-TO-AND-ZERO-OR-MORE-OF-ANY-SYMBOL | |
| TRANSCODE_ITEMS | ANY-SYMBOL | |
| LABEL_SYMBOL | SYMBOL | |
| LABEL_TYPE | SYMBOL | should be limmited to symbols of type CSTRING by validator... |
| COND_PAIR | PAIR-OF-ANY-SYMBOL | |
| COND_ELSE | ANY-SYMBOL | |
| CONDITIONS | TUPLE-OF-ZERO-OR-MORE-OF-COND-PAIR-AND-COND-ELSE | |
| EQUALITY_TEST_SYMBOL | SYMBOL | a symbol to use when testing the symbol equality |
| POP_COUNT | INTEGER | |
| CONTINUE_LOCATION | TREE-PATH | |
| CONTINUE_VALUE | ANY-SYMBOL | |
| STX_SL | NULL-STRUCTURE | |
| STX_OP | NULL-STRUCTURE | |
| STX_CP | NULL-STRUCTURE | |
| STX_SET | NULL-STRUCTURE | |
| STX_OS | NULL-STRUCTURE | |
| STX_CS | NULL-STRUCTURE | |
| STX_LABEL | CSTRING | |
| STX_OG | CSTRING | |
| STX_CG | NULL-STRUCTURE | |
| STX_EQ | CSTRING | |
| STX_NEQ | CSTRING | |
| STX_WALK | NULL-STRUCTURE | |
| STX_STAR | NULL-STRUCTURE | |
| STX_PLUS | NULL-STRUCTURE | |
| STX_Q | NULL-STRUCTURE | |
| STX_OR | NULL-STRUCTURE | |
| STX_COMMA | NULL-STRUCTURE | |
| STX_EXCEPT | CSTRING | |
| STX_NOT | NULL-STRUCTURE | |
| STX_VAL_S | CSTRING | |
| STX_VAL_C | CHAR | |
| STX_VAL_I | INTEGER | |
| STX_VAL_F | FLOAT | |
| STX_TOKENS | STX-TOKEN-LIST | |
| STX_SIBS | ONE-OR-MORE-OF-ANY-SYMBOL | |
| STX_CHILD | ANY-SYMBOL | |
| STX_POSTFIX | ANY-SYMBOL | |
| TREE_DELTA_PATH | TREE-PATH | |
| TREE_DELTA_VALUE | ANY-SYMBOL | |
| TREE_DELTA_COUNT | INTEGER | |
| TREE_DELTA_ADD | TREE-DELTA | |
| TREE_DELTA_REPLACE | TREE-DELTA | |
| SYMBOL_INSTANCES | SYMBOL | |
| DELETED_INSTANCE | NULL-STRUCTURE | |
| INSTANCE_TOKEN | INTEGER64 | token to refer to an xaddr from outside the receptor |
| LAST_TOKEN | INTEGER64 | token counter for gen |
| INSTANCES | ZERO-OR-MORE-OF-SYMBOL-INSTANCES | |
| INSTANCE_TOKENS | TUPLE-OF-LAST-TOKEN-AND-ZERO-OR-MORE-OF-INSTANCE-TOKEN | |
| INSTANCE_STORE | TUPLE-OF-INSTANCES-AND-ZERO-OR-ONE-OF-INSTANCE-TOKENS | |
| DEPENDENCY_HASH | INTEGER | |
| TOKEN_XADDR | XADDR | |
| ENGLISH_LABEL | CSTRING | |
| SPANISH_LABEL | CSTRING | |
| FRENCH_LABEL | CSTRING | |
| GERMAN_LABEL | CSTRING | |
| P_OP | NULL-STRUCTURE | |
| P_CP | NULL-STRUCTURE | |
| P_COLON | NULL-STRUCTURE | |
| P_INTERPOLATE | NULL-STRUCTURE | |
| P_LABEL | CSTRING | |
| P_VAL_S | CSTRING | |
| P_VAL_C | CHAR | |
| P_VAL_I | INTEGER | |
| P_VAL_F | FLOAT | |
| P_VAL_PATH | TREE-PATH | |
| P_TOKENS | ZERO-OR-MORE-OF-LOGICAL-OR-OF-P-OP-AND-P-CP-AND-P-COLON-AND-P-LABEL-AND-P-VAL-S-AND-P-VAL-C-AND-P-VAL-I-AND-P-VAL-F-AND-P-VAL-PATH | |
| REQUESTER | RECEPTOR-ADDRESS | |
| RESPONDER | RECEPTOR-ADDRESS | |
| REQUEST_TYPE | SYMBOL | |
| RESPONSE_TYPE | SYMBOL | |
| CHANNEL | SYMBOL | |
| REQUEST_HANDLER | PROCESS | |
| RESPONSE_HANDLER | PROCESS | |
| RESPONSE_HANDLER_PARAMETERS | SYMBOL | |
| backnforth | INTERACTION | |
| RECOGNIZER | RECEPTOR-ADDRESS | |
| RECOGNIZEE | RECEPTOR-ADDRESS | |
| RECOGNITION | PROCESS | |
| are_you | SEMTREX | |
| i_am | RECEPTOR-IDENTITY | |
| LINE | CSTRING | text lines from unix streams |
| LINES | ZERO-OR-MORE-OF-LINE | |
| VERB | CSTRING | |
| COMMAND_PARAMETER | CSTRING | |
| SHELL_COMMAND | COMMAND | |
| LINE_SENDER | RECEPTOR-ADDRESS | |
| COMMAND_RECEIVER | RECEPTOR-ADDRESS | |
| parse_line | INTERACTION | |
| COMMAND_TYPE | SYMBOL | |
| SERVER | RECEPTOR-ADDRESS | |
| CLIENT | RECEPTOR-ADDRESS | |
| PING | NULL-STRUCTURE | |
| YUP | NULL-STRUCTURE | |
| HANDLER | PROCESS | |
| alive | INTERACTION | |
| GROUP | RECEPTOR-ADDRESS | |
| MEMBER | RECEPTOR-ADDRESS | |
| enrollment | INTERACTION | |
| converse | INTERACTION | |
| MESSAGE_TEXT | CSTRING | |
| TEST_INT_SYMBOL | INTEGER | |
| TEST_INT_SYMBOL2 | INTEGER | |
| TEST_INT64_SYMBOL | INTEGER64 | |
| TEST_FLOAT_SYMBOL | FLOAT | |
| TEST_STR_SYMBOL | CSTRING | |
| TEST_TREE_SYMBOL | TREE | an orthogonal tree |
| TEST_ANYTHING_SYMBOL | ANY-SYMBOL | used to build trees in testing of unknown structure |
| TEST_ANYTHING_SYMBOL2 | ANY-SYMBOL | |
| TEST_NAME_SYMBOL | CSTRING | |
| TEST_ALPHABETIZE_SCAPE_SYMBOL | SCAPE | |
| TEST_SYMBOL_SYMBOL | SYMBOL | |
| TESTING | SYMBOL | |
| TEST_CHAR_SYMBOL | CHAR | |
| TEST_INTEGERS | ZERO-OR-MORE-OF-TEST-INT-SYMBOL | |
| TIME_TELLER | RECEPTOR-ADDRESS | |
| TIME_HEARER | RECEPTOR-ADDRESS | |
| CLOCK_TELL_TIME | NULL-STRUCTURE | |
| tell_time | INTERACTION | |
| OCTET_STREAM | CSTRING | |
| PARAM_KEY | CSTRING | |
| PARAM_VALUE | CSTRING | |
| VERSION_MAJOR | INTEGER | |
| VERSION_MINOR | INTEGER | |
| STATUS_VALUE | INTEGER | |
| STATUS_TEXT | CSTRING | |
| HTTP_REQUEST_PATH_SEGMENT | CSTRING | |
| HTTP_REQUEST_PATH_SEGMENTS | ZERO-OR-MORE-OF-HTTP-REQUEST-PATH-SEGMENT | |
| FILE_NAME | CSTRING | |
| FILE_EXTENSION | CSTRING | |
| HTTP_REQUEST_PATH_FILE | FILE-HANDLE | |
| HTTP_REQUEST_PATH_QUERY_PARAM | KEY-VALUE-PARAM | |
| HTTP_REQUEST_PATH_QUERY_PARAMS | ZERO-OR-MORE-OF-HTTP-REQUEST-PATH-QUERY-PARAM | |
| HTTP_REQUEST_PATH_QUERY | ZERO-OR-MORE-OF-HTTP-REQUEST-PATH-QUERY-PARAMS | |
| HTTP_HEADER_LABEL | CSTRING | |
| MEDIA_TYPE_LABEL | CSTRING | |
| MEDIA_TYPE_IDENT | SYMBOL | |
| MEDIA_SUBTYPE_IDENT | SYMBOL | |
| MEDIA_PARAM | KEY-VALUE-PARAM | |
| CONTENT_TYPE | MEDIA-TYPE | |
| TEXT_MEDIA_TYPE | NULL-STRUCTURE | |
| HTML_TEXT_MEDIA_SUBTYPE | NULL-STRUCTURE | |
| PLAIN_TEXT_MEDIA_SUBTYPE | NULL-STRUCTURE | |
| CEPTR_TEXT_MEDIA_SUBTYPE | NULL-STRUCTURE | |
| MEDIA_TYPE_SEPARATOR | NULL-STRUCTURE | |
| HEADER_SEPARATOR | NULL-STRUCTURE | |
| CONTENT_ENCODING | CSTRING | cstring for now, add semantic later. |
| HEADER_KEY | CSTRING | |
| HEADER_VALUE | CSTRING | |
| LINE_HEADER | HEADER | |
| LINE_HEADERS | LIST-OF-ZERO-OR-MORE-OF-HEADER | |
| HTTP_RESPONSE_HEADER | HEADER | |
| HTTP_GENERAL_HEADER | HEADER | |
| HTTP_ENTITY_HEADER | LOGICAL-OR-OF-CONTENT-TYPE-AND-CONTENT-ENCODING | @todo plus a few more see https://www.w3.org/Protocols/rfc2616/rfc2616-sec7.html#sec7.1 |
| HTTP_REQUEST_HOST | CSTRING | @todo, should actually be a "domain-name address:port" |
| HTTP_REQUEST_USER_AGENT | CSTRING | |
| HTTP_REQUEST_METHOD | CSTRING | |
| HTTP_REQUEST_PATH | URI | |
| HTTP_REQUEST_VERSION | VERSION | |
| HTTP_REQUEST_LINE | LIST-OF-HTTP-REQUEST-VERSION-AND-HTTP-REQUEST-METHOD-AND-HTTP-REQUEST-PATH | |
| HTTP_REQUEST_BODY | ANY-SYMBOL | |
| HTTP_REQUEST_HEADER | LOGICAL-OR-OF-HTTP-REQUEST-HOST-AND-HTTP-REQUEST-USER-AGENT | @todo plus a bunch more see rfc2616 section 5.3 |
| HTTP_REQUEST_HEADERS | ZERO-OR-MORE-OF-LOGICAL-OR-OF-HTTP-REQUEST-HEADER-AND-HTTP-GENERAL-HEADER-AND-HTTP-ENTITY-HEADER | |
| HTTP_REQUEST | LIST-OF-HTTP-REQUEST-LINE-AND-HTTP-REQUEST-HEADERS-AND-HTTP-REQUEST-BODY | |
| HTTP_RESPONSE_BODY | ANY-SYMBOL | |
| HTTP_RESPONSE_STATUS | STATUS | |
| HTTP_HEADER | LOGICAL-OR-OF-HTTP-GENERAL-HEADER-AND-HTTP-RESPONSE-HEADER-AND-HTTP-ENTITY-HEADER | |
| HTTP_HEADERS | ZERO-OR-MORE-OF-HTTP-HEADER | |
| HTTP_RESPONSE | LIST-OF-HTTP-RESPONSE-STATUS-AND-HTTP-HEADERS-AND-HTTP-RESPONSE-BODY | |
| HTML_DOCUMENT | NULL-STRUCTURE | //@todo should be an optionality structure |
| HTML_TOK_TAG_OPEN | CSTRING | |
| HTML_TOK_TAG_CLOSE | CSTRING | |
| HTML_TOK_TAG_SELFCLOSE | CSTRING | |
| HTML_TAG | CSTRING | |
| HTML_TOKENS | NULL-STRUCTURE | //@todo should be an optionality structure |
| HTML_ATTRIBUTE | KEY-VALUE-PARAM | |
| HTML_ATTRIBUTES | ZERO-OR-MORE-OF-HTML-ATTRIBUTE | |
| HTML_CONTENT | NULL-STRUCTURE | // really should be semtrex: /(HTML_ELEMENT|HTML_TEXT)+ |
| HTML_TEXT | CSTRING | |
| HTML_HTML | HTML-ELEMENT | |
| HTML_HEAD | HTML-ELEMENT | |
| HTML_TITLE | HTML-ELEMENT | |
| HTML_BODY | HTML-ELEMENT | |
| HTML_DIV | HTML-ELEMENT | |
| HTML_P | HTML-ELEMENT | |
| HTML_IMG | HTML-ELEMENT | |
| HTML_A | HTML-ELEMENT | |
| HTML_B | HTML-ELEMENT | |
| HTML_UL | HTML-ELEMENT | |
| HTML_OL | HTML-ELEMENT | |
| HTML_LI | HTML-ELEMENT | |
| HTML_SPAN | HTML-ELEMENT | |
| HTML_H1 | HTML-ELEMENT | |
| HTML_H2 | HTML-ELEMENT | |
| HTML_H3 | HTML-ELEMENT | |
| HTML_H4 | HTML-ELEMENT | |
| HTML_FORM | HTML-ELEMENT | |
| HTML_INPUT | HTML-ELEMENT | |
| HTML_BUTTON | HTML-ELEMENT | |
| HTTP_CLIENT | RECEPTOR-ADDRESS | |
| HTTP_SERVER | RECEPTOR-ADDRESS | |
| HTTP_REQUEST_PARSER | RECEPTOR-ADDRESS | |
| HTTP_ASPECT | ASPECT | |
| HTTP_REQUEST_HANDLER | PROCESS |