diff options
| -rw-r--r-- | docs/application/index.md | 1 | ||||
| -rw-r--r-- | docs/application/name.md | 35 | ||||
| -rw-r--r-- | docs/application/namespace.md | 12 | ||||
| -rw-r--r-- | docs/lifecycle/register.md | 4 | ||||
| -rw-r--r-- | docs/lifecycle/scan.md | 2 | ||||
| -rw-r--r-- | docs/type_system/index.md | 4 | ||||
| -rw-r--r-- | docs/type_system/list.md | 2 | ||||
| -rw-r--r-- | docs/type_system/name.md | 2 | ||||
| -rw-r--r-- | docs/type_system/symbol.md | 2 | ||||
| -rw-r--r-- | docs/type_system/var.md | 2 | ||||
| -rw-r--r-- | mkdocs.yml | 1 |
11 files changed, 12 insertions, 55 deletions
diff --git a/docs/application/index.md b/docs/application/index.md index e31ecff..f8fe293 100644 --- a/docs/application/index.md +++ b/docs/application/index.md @@ -15,7 +15,6 @@ * ##### [Mutex](./mutex.md) * ##### [Memory](./memory.md) * ##### [Io](./io.md) -* ##### [Name](./name.md) * ##### [Shared](./shared.md) * ##### [Type](./type.md) * ##### [Group](./group.md) diff --git a/docs/application/name.md b/docs/application/name.md deleted file mode 100644 index d605b81..0000000 --- a/docs/application/name.md +++ /dev/null @@ -1,35 +0,0 @@ -# Name - ---- - -Each word representing a var, symbol or type gets an `NAME_IDENTIFIER` -> `kpl_name*` associated with it - -## Object Definitions - -```c -#define KPL_LETTER_COUNT 26 - -#define KPL_NAME_COUNT 43 - -#define KPL_NAME_SIZE 44 - -typedef struct { - kpl_ptr underscore, lowercase[KPL_LETTER_COUNT], uppercase[KPL_LETTER_COUNT]; - char name[KPL_NAME_SIZE]; -} kpl_name_node; - -typedef strcut { - kpl_name_node array[UINT16_MAX]; -} kpl_name_array; - -typedef strcut { - uint16_t slab_index, array_index; - kpl_mutex mutex; - kpl_ptr root; - kpl_name_array *slab[UINT16_MAX]; -} kpl_name; -``` - -## Usage - -The only operation into the trie is a findsert with a pointer to a string and its length, returning a pointer to the found or inserted node diff --git a/docs/application/namespace.md b/docs/application/namespace.md index 7cb6a3c..3f34f61 100644 --- a/docs/application/namespace.md +++ b/docs/application/namespace.md @@ -25,7 +25,7 @@ typedef enum : uint8_t { typedef struct _kpl_namespace_module { KPL_SLAB_TREE_HEADER(struct _kpl_namespace_module); kpl_type_ptr ast; - kpl_buffer *module_name, *module_string; + kpl_buffer *module_string, *module_name; kpl_task *_Atomic task; kpl_export *export_tree; kpl_mutex export_mutex; @@ -33,15 +33,9 @@ typedef struct _kpl_namespace_module { static kpl_namespace_module *namespace_module_tree; -kpl_mutex namespace_module_mutex; +kpl_mutex namespace_modul_tree_mutex; -typedef struct _kpl_namespace_string { - kpl_type_ptr ast; - kpl_buffer *string; - kpl_task *_Atomic task; -} kpl_namespace_string; - -static kpl_namespace_string namespace_string +static kpl_namespace_module namespace_string; ``` Each `NAMESPACE_IDENTIFIER` maps to `kpl_namespace_native*` or `kpl_namespace_module*` depending on flags diff --git a/docs/lifecycle/register.md b/docs/lifecycle/register.md index f5b15a2..5db7759 100644 --- a/docs/lifecycle/register.md +++ b/docs/lifecycle/register.md @@ -12,5 +12,5 @@ ## String -1. Add task to set new `kpl_buffer` to `kpl_name_string`'s -2. The set task will add a parse task to the `kpl_name_string` +1. Add task to set new `kpl_buffer` to `namespace_string` `module_string` +2. The set task will add a parse task to `namespace_string` diff --git a/docs/lifecycle/scan.md b/docs/lifecycle/scan.md index 55b62bc..37a2718 100644 --- a/docs/lifecycle/scan.md +++ b/docs/lifecycle/scan.md @@ -2,4 +2,4 @@ --- -Register modules and assign identifiers to names +Find and register modules diff --git a/docs/type_system/index.md b/docs/type_system/index.md index 2d9e9c2..07b9c69 100644 --- a/docs/type_system/index.md +++ b/docs/type_system/index.md @@ -86,8 +86,6 @@ Denotes that a field that does not resolve to anything ## Function Templates -* #### [Var](./var.md) - * #### [Function](./function.md) * #### [Task](./task.md) @@ -104,6 +102,8 @@ Denotes that a field that does not resolve to anything * #### [Op](./op.md) +* #### [Var](./var.md) + * #### [List](./list.md) * #### [Lock](./lock.md) diff --git a/docs/type_system/list.md b/docs/type_system/list.md index 27f3a6e..be4a004 100644 --- a/docs/type_system/list.md +++ b/docs/type_system/list.md @@ -3,5 +3,5 @@ --- ```text -List[[STATEMENT | DEFINE | ACTION | LOOP | IF | MATCH | MUTATION] Parent; VARS; TARGET; STATEMENTS ...] +List[[STATEMENT | DEFINE | ACTION | LOOP | IF | MATCH | MUTATION] Parent; VAR_TREE; TARGET; STATEMENTS ...] ``` diff --git a/docs/type_system/name.md b/docs/type_system/name.md index 10a6ac3..1faeb3c 100644 --- a/docs/type_system/name.md +++ b/docs/type_system/name.md @@ -3,5 +3,5 @@ --- ```text -Name[[UNKNOWN | IS_TYPE | ALIAS_TYPE | UNIQUE_TYPE] TYPE; NAME_IDENTIFIER] +Name[[UNKNOWN | IS_TYPE | ALIAS_TYPE | UNIQUE_TYPE] TYPE] ``` diff --git a/docs/type_system/symbol.md b/docs/type_system/symbol.md index 7906852..5fb1c5e 100644 --- a/docs/type_system/symbol.md +++ b/docs/type_system/symbol.md @@ -3,5 +3,5 @@ --- ```text -Symbol[[] TARGET; TYPE; NAME_IDENTIFIER] +Symbol[[] TARGET; TYPE] ``` diff --git a/docs/type_system/var.md b/docs/type_system/var.md index 206b890..77e312c 100644 --- a/docs/type_system/var.md +++ b/docs/type_system/var.md @@ -3,5 +3,5 @@ --- ```text -Var[[ARG | LOCAL | LOOP | IF | MATCH | MUTATE] TYPE; Parent; VAR_IDENTIFIER] +Var[[SCOPE | ARG | LOCAL | LOOP | IF | MATCH | MUTATE] TYPE; HASH; ID; LEFT_VAR; RIGHT_VAR] ``` @@ -44,7 +44,6 @@ nav: - Mutex: 'application/mutex.md' - Memory: 'application/memory.md' - Io: 'application/io.md' - - Name: 'application/name.md' - Shared: 'application/shared.md' - Type: 'application/type.md' - Group: 'application/group.md' |