From d2772d77ce3b0908495bb298a0597a02bf300d1d Mon Sep 17 00:00:00 2001 From: Kyle Gunger Date: Tue, 5 Oct 2021 14:04:29 -0400 Subject: [Docs] FIP additions --- spec/4 - fip.md | 34 ++++++++++++++++++++++++++++++++++ spec/Appendices.md | 10 +++++----- 2 files changed, 39 insertions(+), 5 deletions(-) (limited to 'spec') diff --git a/spec/4 - fip.md b/spec/4 - fip.md index db70987..dee037c 100644 --- a/spec/4 - fip.md +++ b/spec/4 - fip.md @@ -6,6 +6,40 @@ To use higher level features in TNSL, an implimentation of libtnsl must be in pl ## Section 2 - libtnsl and Types +`libtnsl` has the authority to define how types are stored in memory (to some extent) and how method resolution works on static and dynamic structs. `libtnsl` *must* provide certain methods for some language features to be available. These functions, and their uses are now listed, but a comprehensive list of language keywords can be found in Appendix B. + +### 2.1 - The libtnsl Type Extension + +`tnsl.reflect._type` *must* be defined as a raw struct which contains minimum information for type identification. This information is stored with every static or dynamic struct so that programs can reflect type information. + +`tnsl.reflect._member` *must* be defined as a raw struct which contains minimum information for member variable identification within a type. The information need not be stored with every member variable, but should be stored somewhere such that the `tnsl.reflect._get` method can make use of it. + +`tnsl.reflect._method` *must* be defined as a raw struct which contains minimum information for method identification within a type. The information need not be stored with every member function, but should be stored somewhere such that the `tnsl.reflect._call` method can make use of it. + +`tnsl.reflect._is` *must* be defined as a function taking two parameters of type `tnsl.reflect._type` and returning a single `bool` as output. This function is called when the `is` operator is envoked. + +`tnsl.reflect._get` *must* be defined as a function taking three parameters. The first parameter will be of type `tnsl.reflect._type`, the second parameter will be of type `~void`, and the third parameter will be of type `tnsl.reflect._member`. The function will return a single `~void` as output. + +In the parameters, the first relates to the type of the struct given, or at least how the callee views the struct. The second is a pointer to the struct itself. The third is the requested member to get. The `~void` returned must point to the requested value. + +`tnsl.reflect._call` *must* be defined as a function taking four parameters. The first parameter will be of type `tnsl.reflect._type`, the second parameter will be of type `~void`, the third parameter will be of type `tnsl.reflect._method`, and the fourth parameter will be of type `~void`. The function will return a single `~void` as output. + +In the parameters, the first relates to the type of the struct given, or at least how the callee views the struct. The second is a pointer to the struct itself. The third is the requested method to call. The fourth is a pointer to the parameters for the method. The `~void` returned must point to the return value of the method. + +### 2.2 - Memory allocation and de-allocation + +`tnsl.algo._alloc` *must* be defined as a function taking a single parameter of type `uint` as the number of bytes to allocate and returning a single `~void` as the pointer to the allocated memory. The memory must be allocated from the heap. + +`tnsl.algo._salloc` *should* be defined as a function taking a single parameter of type `uint` as the number of bytes to allocate and returning a single `~void` as the pointer to the allocated memory. The memory must be allocated from the stack. + +`tnsl.algo._dealloc` *must* be defined as a function taking a single parameter of type `~void` as the pointer to a chunk of allocated memory. The function should deallocate the memory. + +### 2.3 - Extra Types Extension + +`tnsl.box._vect` *must* be a raw struct which vector or simd instructions can be preformed on. + +`tnsl.box._string` *must* be a raw struct which stores a string of text. This text may be ASCII or Unicode, but reguardless must be stored as `charp` values internally. + ## Section 3 - Cross calling C ### Credits diff --git a/spec/Appendices.md b/spec/Appendices.md index c3e0426..1caccc7 100644 --- a/spec/Appendices.md +++ b/spec/Appendices.md @@ -186,9 +186,9 @@ void - void type - type - meta type (tnsl.reflect.type) + type* - meta type (tnsl.reflect._type) - vect* - libtnsl tnsl.vector.vector type + vect* - (tnsl.box._vect) type Values: @@ -261,7 +261,7 @@ operator - define a method for when a reserved opertaor is used on a user defined struct - super - can reference the method of an extended type or interface + super* - can reference the method of an extended type or interface Modules: @@ -273,9 +273,9 @@ Memory control: - alloc* (and related) - allocate (or reallocate) memory from somewhere (tnsl.alg._alloc) + alloc* (and related) - allocate (or reallocate) memory from somewhere (tnsl.algo._alloc) - delete* - free allocated memory (tnsl.alg._delete) + dealloc* - free allocated memory (tnsl.algo._dealloc) \* keyword requires a libtnsl implimentation -- cgit v1.2.3