summaryrefslogtreecommitdiff
path: root/spec/Appendices.md
diff options
context:
space:
mode:
authorKyle Gunger <kgunger12@gmail.com>2021-08-08 09:23:36 -0400
committerKyle Gunger <kgunger12@gmail.com>2021-08-08 09:23:36 -0400
commita27fe1a4cdee714fccf9126e7516143bbcb2a480 (patch)
treee7288f5bc69db2e1f640dd3ad988b551aa1d59df /spec/Appendices.md
parentbc448b70cb83cce046e65fb4f69a28a84a53ff49 (diff)
Appendix work + ch 1 work
Diffstat (limited to 'spec/Appendices.md')
-rw-r--r--spec/Appendices.md294
1 files changed, 294 insertions, 0 deletions
diff --git a/spec/Appendices.md b/spec/Appendices.md
new file mode 100644
index 0000000..02757f4
--- /dev/null
+++ b/spec/Appendices.md
@@ -0,0 +1,294 @@
+# Appendices
+
+## Appendix A - Reserved characters and their uses
+
+### A.1 - Single reserved characters
+
+ Delimiters:
+
+ ( - start of input list (functions, control flow, and types)
+
+ ) - end of input list
+
+ [ - start of output list (functions, control flow)
+
+ ] - end of output list
+
+ { - start of array/data set list (arrays, types)
+
+ } - end of array/data set list
+
+
+ Statement seperators:
+
+ ; - beginning of statement, end of previous statement
+
+ : - beginning of pre-processor statement, end of previous
+
+ # - line comment, ends at newline
+
+
+ In-line sepreator:
+
+ , - seperates argument lists
+
+
+ "Augmentation" characters (operators):
+
+ = - assignment operator
+
+ . - get/access operator
+
+ & - bitwise and
+
+ | - bitwise or
+
+ ^ - bitwise not
+
+ > - greater than
+
+ < - less than
+
+ ! - not (can also prefix any bitwise or boolean operator)
+
+ + - addition
+
+ - - subtraction
+
+ * - multiplication
+
+ / - division
+
+ % - modulus
+
+ ~ - address of (pointer)
+
+ ` - de-reference pointer
+
+### A.2 - Multi reserved characters
+
+ Delimiters:
+
+ /; - start of code block
+
+ ;/ - end of code block
+
+ /: - start of pre-processor block
+
+ :/ - end of pre-processor block
+
+ /# - start of comment block
+
+ #/ - end of comment block
+
+ ;; - re-define code block (end previous code block and open new code block)
+
+ #; - re-define comment to code block
+
+ ;# - re-define code to comment block
+
+ :: - re-define pre-processor block
+
+ #: - re-define comment to pre-processor block
+
+ :# - re-define pre-processor to comment block
+
+
+ Augmentation character sets:
+
+ == - boolean equals
+
+ && - boolean and
+
+ || - boolean or
+
+ << - bit-shift left
+
+ >> - bit-shift right
+
+ &= - bitwise and assignment expansion (x &= y -> x = x & y)
+
+ |= - bitwise or assignment expansion
+
+ ^= - bitwise not assignment expansion
+
+ += - addition assignment expansion
+
+ -= - subtraction assignment expansion
+
+ *= - multiplication assignment expansion
+
+ /= - division assignment expansion
+
+ %= - modulus assignment expansion
+
+ ~= - address of assignment expansion
+
+ `= - de-reference assignment expansion
+
+ !& - bitwise nand
+
+ !| - bitwise nor
+
+ !== - boolean neq
+
+ !&& - boolean nand
+
+ !|| - boolean nor
+
+ !> - not greater than
+
+ !< - not less than
+
+ >== - greater than or equal to
+
+ <== - less than or equal to
+
+## Appendix B - Reserved words and their uses
+
+ Built-in Types:
+
+ bool - boolean
+
+ char - ascii
+
+ int8 - 8-bit integer
+
+ int16 - 16-bit integer
+
+ int32 - 32-bit integer
+
+ int64 - 64-bit integer
+
+ uint8 - 8-bit integer
+
+ uint16 - 16-bit integer
+
+ uint32 - 32-bit integer
+
+ uint64 - 64-bit integer
+
+ float32 - floating point number (32-bit)
+
+ float64 - floating point number (64-bit)
+
+ void - void type
+
+ type - meta type
+
+
+ Values:
+
+ true - boolean true value
+
+ false - boolean false value
+
+
+ User defined types:
+
+ struct - define a struct
+
+ interface* - define an interface
+
+ enum - define an enum
+
+ extends* - extends a struct or interface
+
+ is* - checks if the variable's type is or extends another type
+
+ method - creates a block of type-associated functions
+
+
+ Control flow:
+
+ if - define a conditional code block, or use after "else" to define an "else if" block
+
+ else - code which runs if and only if an if block is not taken
+
+ loop - begin a loop block
+
+ continue - skip the rest of the code in the top-most loop block
+
+ break - break out of a loop or match block
+
+ match - match a variable to a value
+
+ case - code to run in case of a value match in a match block
+
+ default - code to run in the case of no match in a match block
+
+ label - defines an in-function label to jump to from another part of code
+
+ goto - jump to a previously defined label
+
+
+ Modifier keyewords:
+
+ const - marks a variable as constant
+
+ volatile - marks a variable so any operations on it will not be optimized by the compiler
+
+ static - marks a variable to keep value between function calls
+
+ raw - strips down the calling conventions as they relate to normal functions. See Appendix C as it relates to structs
+
+ inline - puts the function code inline and optimizes as such when compiling. If exported, still creates a block for reference by external code.
+
+
+ Method modifiers:
+
+ override* - override a method from the struct's super type
+
+ self - reference to the struct the method was called on
+
+ 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
+
+
+ Modules:
+
+ module - a related group of functions, types, and sub-modules
+
+ export - allows the module to be referenced by outside projects, and puts the module into the symbol tree of the binary (if one exists)
+
+
+ Memory control:
+
+ alloc* (and related) - allocate (or reallocate) memory from somewhere
+
+ delete* - free allocated memory
+
+\* keyword requires a libtnsl implimentation
+
+## Appendix C - Memory operations and code speed as it relates to user-defined types
+
+In TNSL there exist three different levels of complexity structs can take on. In this appendix these levels will be examined in order of least complex to most complex.
+
+### Raw structs
+
+Raw structs are the simplist structs with the fastest lookup times. Raw structs can not be extended, though they may themselves extend interfaces (but not other structs). All members of raw structs must be built-in types, other raw structs, or pointers. Raw structs are always fixed-width and all methods are linked directly, thus there is no lookup time for calling one (they are essentially as fast as calling a regular function as long as you are referencing the struct directly and not by one of it's extended interfaces).
+
+### Static structs
+
+Static structs are similar to raw structs except they may be extended. This creates a small delay for calling functions on static structs as there is a lookup time to find the method the call is actually referencing (as it may be calling the function on an extension of the type). All members of static structs must be built-in types, other raw structs, or pointers. Static structs can only extend static structs.
+
+### Dynamic structs
+
+Variable width structs (dynamic structs) can accomodate generics and variable width members. Dynamic structs may extend static structs or other dynamic structs. By extending a dynamic struct, even if one makes no use of the dynamic members, their struct is automatically a dynamic struct. These structs offer the least control over memory, and slightly slower call times, but offer the most flexability to the programmer.
+
+## Credits
+
+ Copyright 2021 Kyle Gunger
+
+ This file is licenced under the CDDL 1.0 (the Licence)
+ and may only be used in accordance with the Licence.
+ You should have recieved a copy of the Licence with this
+ software/source code. If you did not, a copy can be found
+ at the following URL:
+
+ https://opensource.org/licenses/CDDL-1.0
+
+ THIS SOFTWARE/SOURCE CODE IS PROVIDED "AS IS" WITH NO
+ WARRENTY, GUARANTEE, OR CLAIM OF FITNESS FOR ANY PURPOSE
+ EXPRESS OR IMPLIED \ No newline at end of file