Updated docs

Also fix for HashTable<>::rehash_fast not having finished implemenation...

The typedef fix is a sort of hack (like how parsing the rest of the language feels like tbh...).
I might make a def_typedef_fn to make it clearer how to define function typedefs using the upfront interface.

.gitignore

@@ -6,8 +6,12 @@ build/*
 **/*.gen.*
 **/gen/gen.hpp
 **/gen/gen.cpp
-**/gen/gen_dep.hpp
-**/gen/gen_dep.cpp
+**/gen/gen.dep.hpp
+**/gen/gen.dep.cpp
+**/gen/gen.builder.hpp
+**/gen/gen.builder.cpp
+**/gen/gen.scanner.hpp
+**/gen/gen.scanner.cpp
 
 gencpp.hpp
 gencpp.cpp

.vscode/c_cpp_properties.json

@@ -14,6 +14,7 @@
             "windowsSdkVersion": "10.0.19041.0",
             "compilerPath": "C:/Users/Ed/scoop/apps/llvm/current/bin/clang++.exe",
             "intelliSenseMode": "windows-clang-x64",
+            "compileCommands": "${workspaceFolder}/project/build/compile_commands.json"
         }
     ],
     "version": 4

Readme.md

@@ -6,24 +6,17 @@ The library API is a composition of code element constructors.
 These build up a code AST to then serialize with a file builder.
 
 This code base attempts follow the [handmade philosophy](https://handmade.network/manifesto),  
-its not meant to be a black box metaprogramming utility, its meant for the user to extend for their project domain.
-
-### TOC
-
-* [Notes](#notes)
-* [Usage](#usage)
-* [Building](#building)
+its not meant to be a black box metaprogramming utility, it should be easy to intergrate into a user's their project domain.
 
 ## Notes
 
 The project has reached an *alpha* state, all the current functionality works for the test cases but it will most likely break in many other cases.  
-The [issues](https://github.com/Ed94/gencpp/issues) marked with v1.0 Feature indicate whats left before the library is considered feature complete.
 
 A `natvis` and `natstepfilter` are provided in the scripts directory.
 
 ***The editor and scanner have not been implemented yet. The scanner will come first, then the editor.***
 
-A C variant is hosted [here](https://github.com/Ed94/genc); I haven't gotten headwind on it, should be easier to make than this...
+A C variant is hosted [here](https://github.com/Ed94/genc); I will complete it when this library is feature complete, it should be easier to make than this...
 
 ## Usage
 
@@ -31,7 +24,7 @@ A metaprogram is built to generate files before the main program is built. We'll
 
 `gen.cpp` \`s  `main()` is defined as `gen_main()` which the user will have to define once for their program. There they will dictate everything that should be generated.
 
-In order to keep the locality of this code within the same files the following pattern may be used:
+In order to keep the locality of this code within the same files the following pattern may be used (although this pattern isn't required at all):
 
 Within `program.cpp` :
 
@@ -47,6 +40,8 @@ u32 gen_main()
 }
 #endif
 
+// "Stage" agnostic code.
+
 #ifndef GEN_TIME
 #include "program.gen.cpp"
 
@@ -62,6 +57,7 @@ Example using each construction interface:
 
 ### Upfront
 
+Validation and construction through a functional interface.
 
 ```cpp
 Code t_uw           = def_type( name(uw) );
@@ -81,6 +77,8 @@ Code header;
 
 ### Parse
 
+Validation through ast construction.
+
 ```cpp
 Code header = parse_struct( code(
     struct ArrayHeader
@@ -95,6 +93,8 @@ Code header = parse_struct( code(
 
 ### Untyped
 
+No validation, just glorified text injection.
+
 ```cpp
 Code header = code_str(
     struct ArrayHeader

docs/Parsing.md

@@ -1,12 +1,36 @@
 # Parsing
 
 The library features a naive parser tailored for only what the library needs to construct the supported syntax of C++ into its AST.  
-This parser does not, and should not do the compiler's job. By only supporting this minimal set of features, the parser is kept under 5000 loc.
+This parser does not, and should not do the compiler's job. By only supporting this minimal set of features, the parser is kept (so far) under 5000 loc.
 
+The parsing implementation supports the following for the user:
+
+```cpp
+CodeClass       parse_class        ( StrC class_def       );
+CodeConstructor parse_constructor  ( StrC constructor_def );
+CodeDestructor  parse_destructor   ( StrC destructor_def  );
+CodeEnum        parse_enum         ( StrC enum_def        );
+CodeBody        parse_export_body  ( StrC export_def      );
+CodeExtern      parse_extern_link  ( StrC exten_link_def  );
+CodeFriend      parse_friend       ( StrC friend_def      );
+CodeFn          parse_function     ( StrC fn_def          );
+CodeBody        parse_global_body  ( StrC body_def        );
+CodeNS          parse_namespace    ( StrC namespace_def   );
+CodeOperator    parse_operator     ( StrC operator_def    );
+CodeOpCast      parse_operator_cast( StrC operator_def    );
+CodeStruct      parse_struct       ( StrC struct_def      );
+CodeTemplate    parse_template     ( StrC template_def    );
+CodeType        parse_type         ( StrC type_def        );
+CodeTypedef     parse_typedef      ( StrC typedef_def     );
+CodeUnion       parse_union        ( StrC union_def       );
+CodeUsing       parse_using        ( StrC using_def       );
+CodeVar         parse_variable     ( StrC var_def         );
+```
+
+***Parsing will aggregate any tokens within a function body or expression statement to an untyped Code AST.***
 
 Everything is done in one pass for both the preprocessor directives and the rest of the language.  
-The parser performs no macro expansion as the scope of gencpp feature-set is to only support the preprocessor for the goal of having rudimentary awareness of preprocessor ***conditionals***,  ***defines***, and ***includes***.  
-*(Conditionals and defines are a TODO)*
+The parser performs no macro expansion as the scope of gencpp feature-set is to only support the preprocessor for the goal of having rudimentary awareness of preprocessor ***conditionals***,  ***defines***, and ***includes***, and ***pragmas**.  
 
 The keywords supported for the preprocessor are:
 
@@ -17,33 +41,32 @@ The keywords supported for the preprocessor are:
 * elif
 * endif
 * undef
+* pragma
 
-Just like with actual preprocessor, each directive # line is considered one preproecessor unit, and will be treated as one Preprocessor AST. *These ASTs will be considered members or entries of braced scope they reside within*.
-All keywords except *include* are suppported as members of a scope for a class/struct, global, or namespace body.  
+Each directive `#` line is considered one preproecessor unit, and will be treated as one Preprocessor AST. *These ASTs will be considered members or entries of braced scope they reside within*.  
+If a directive is used with an unsupported keyword its will be processed as an untyped AST.
 
-Any preprocessor definition abuse that changes the syntax of the core language is unsupported and will fail to parse if not kept within an execution scope (function body, or expression assignment).
+The preprocessor lines are stored as members of their associated scope they are parsed within. ( Global, Namespace, Class/Struct )
 
-The parsing implementation supports the following for the user:
+Any preprocessor definition abuse that changes the syntax of the core language is unsupported and will fail to parse if not kept within an execution scope (function body, or expression assignment).  
+Exceptions:
 
-```cpp
-CodeClass     parse_class        ( StrC class_def     );
-CodeEnum      parse_enum         ( StrC enum_def      );
-CodeBody      parse_export_body  ( StrC export_def    );
-CodeExtern    parse_extern_link  ( StrC exten_link_def);
-CodeFriend    parse_friend       ( StrC friend_def    );
-CodeFn        parse_function     ( StrC fn_def        );
-CodeBody      parse_global_body  ( StrC body_def      );
-CodeNamespace parse_namespace    ( StrC namespace_def );
-CodeOperator  parse_operator     ( StrC operator_def  );
-CodeOpCast    parse_operator_cast( StrC operator_def  );
-CodeStruct    parse_struct       ( StrC struct_def    );
-CodeTemplate  parse_template     ( StrC template_def  );
-CodeType      parse_type         ( StrC type_def      );
-CodeTypedef   parse_typedef      ( StrC typedef_def   );
-CodeUnion     parse_union        ( StrC union_def     );
-CodeUsing     parse_using        ( StrC using_def     );
-CodeVar       parse_variable     ( StrC var_def       );
-```
+* function signatures are allowed for a preprocessed macro: `neverinline MACRO() { ... }`
+* typedefs allow for a preprocessed macro: `typedef MACRO();`
 
-***Parsing will aggregate any tokens within a function body or expression statement to an untyped Code AST.***
+*(See functions `parse_operator_function_or_variable` and `parse_typedef` )*
 
+The lexing and parsing takes shortcuts from whats expected in the standard.
+
+* Numeric literals are not checked for validity.
+* The parse API treats any execution scope definitions with no validation and are turned into untyped Code ASTs.
+  * *This includes the assignment of variables.*
+* Attributes ( `[[]]` (standard), `__declspec` (Microsoft), or `__attribute__` (GNU) )
+  * Assumed to *come before specifiers* (`const`, `constexpr`, `extern`, `static`, etc) for a function
+  * Or in the usual spot for class, structs, (*right after the declaration keyword*)
+  * typedefs have attributes with the type (`parse_type`)
+* As a general rule; if its not available from the upfront constructors, its not available in the parsing constructors.
+  * *Upfront constructors are not necessarily used in the parsing constructors, this is just a good metric to know what can be parsed.*
+* Parsing attributes can be extended to support user defined macros by defining `GEN_DEFINE_ATTRIBUTE_TOKENS` (see `gen.hpp` for the formatting)
+
+Empty lines used throughout the file are preserved for formatting purposes for ast serialization.

docs/Readme.md

@@ -40,11 +40,6 @@ Otherwise the library is free of any templates.
 
 ### *WHAT IS NOT PROVIDED*
 
-* Execution statement validation : Execution expressions are defined using the untyped AST.
-  * Lambdas (This naturally means its unsupported)
-* RAII : This needs support for constructors/destructor parsing
-  * Haven't gotten around to yet (its in the github issues)
-
 Keywords kept from "Modern C++":
 
 * constexpr : Great to store compile-time constants.
@@ -54,13 +49,9 @@ Keywords kept from "Modern C++":
 * import    : ^^
 * module    : ^^
 
-When it comes to expressions:
-
 **There is no support for validating expressions.**  
 Its difficult to parse without enough benefits (At the metaprogramming level).  
 
-When it comes to templates:
-
 **Only trivial template support is provided.**  
 The intention is for only simple, non-recursive substitution.  
 The parameters of the template are treated like regular parameter AST entries.  
@@ -77,7 +68,7 @@ Use at your own mental peril.
 
 ### The Data & Interface
 
-As mentioned in [Usage](#usage), the user is provided Code objects by calling the constructor's functions to generate them or find existing matches.
+As mentioned in root readme, the user is provided Code objects by calling the constructor's functions to generate them or find existing matches.
 
 The AST is managed by the library and provided the user via its interface.  
 However, the user may specifiy memory configuration.
@@ -88,39 +79,44 @@ Data layout of AST struct:
 union {
     struct
     {
-        AST*      Attributes;     // Class, Enum, Function, Struct, Typedef, Union, Using, Variable
-        AST*      Specs;          // Function, Operator, Type symbol, Variable
+        AST*      Attributes;      // Class, Enum, Function, Struct, Typedef, Union, Using, Variable
+        AST*      Specs;           // Function, Operator, Type symbol, Variable
         union {
-            AST*  ParentType;     // Class, Struct
-            AST*  ReturnType;     // Function, Operator
-            AST*  UnderlyingType; // Enum, Typedef
-            AST*  ValueType;      // Parameter, Variable
+            AST*  InitializerList; // Constructor, Destructor
+            AST*  ParentType;      // Class, Struct
+            AST*  ReturnType;      // Function, Operator
+            AST*  UnderlyingType;  // Enum, Typedef
+            AST*  ValueType;       // Parameter, Variable
         };
-        AST*      Params;         // Function, Operator, Template
         union {
-            AST*  ArrExpr;        // Type Symbol
-            AST*  Body;           // Class, Enum, Function, Namespace, Struct, Union
-            AST*  Declaration;    // Friend, Template
-            AST*  Value;          // Parameter, Variable
+            AST*  BitfieldSize;    // Varaiable (Class/Struct Data Member)
+            AST*  Params;          // Function, Operator, Template
+        };
+        union {
+            AST*  ArrExpr;         // Type Symbol
+            AST*  Body;            // Class, Constructr, Destructor, Enum, Function, Namespace, Struct, Union
+            AST*  Declaration;     // Friend, Template
+            AST*  Value;           // Parameter, Variable
         };
     };
-    StringCached  Content;        // Attributes, Comment, Execution, Include
+    StringCached  Content;                     // Attributes, Comment, Execution, Include
     SpecifierT    ArrSpecs[AST::ArrSpecs_Cap]; // Specifiers
 };
 union {
     AST* Prev;
-    AST* Front; // Used by CodeBody
-    AST* Last;  // Used by CodeParam
+    AST* Front;
+    AST* Last;
 };
 union {
     AST* Next;
-    AST* Back;  // Used by CodeBody
+    AST* Back;
 };
 AST*              Parent;
 StringCached      Name;
 CodeT             Type;
 ModuleFlag        ModuleFlags;
 union {
+    b32           IsFunction; // Used by typedef to not serialize the name field.
     OperatorT     Op;
     AccessSpec    ParentAccess;
     s32           NumEntries;
@@ -144,7 +140,7 @@ uw ArrSpecs_Cap =
     - sizeof(StringCached)
     - sizeof(CodeT)
     - sizeof(ModuleFlag)
-    - sizeof(s32)
+    - sizeof(u32)
 )
 / sizeof(SpecifierT) -1; // -1 for 4 extra bytes (Odd num of AST*)
 ```
@@ -154,7 +150,7 @@ uw ArrSpecs_Cap =
 Data Notes:
 
 * The allocator definitions used are exposed to the user incase they want to dictate memory usage
-  * You'll find the memory handling in `init`, `gen_string_allocator`, `get_cached_string`, `make_code`.
+  * You'll find the memory handling in `init`, `deinit`, `reset`, `gen_string_allocator`, `get_cached_string`, `make_code`.
 * ASTs are wrapped for the user in a Code struct which is a wrapper for a AST* type.
 * Both AST and Code have member symbols but their data layout is enforced to be POD types.
 * This library treats memory failures as fatal.
@@ -167,15 +163,15 @@ Data Notes:
 * Linked lists used children nodes on bodies, and parameters.
 * Its intended to generate the AST in one go and serialize after. The constructors and serializer are designed to be a "one pass, front to back" setup.
 * Allocations can be tuned by defining the folloiwng macros:
-  * `GEN_BUILDER_STR_BUFFER_RESERVE`
-  * `GEN_CODEPOOL_NUM_BLOCKS` : Number of blocks per code pool in the code allocator
   * `GEN_GLOBAL_BUCKET_SIZE` : Size of each bucket area for the global allocator
-  * `GEN_LEX_ALLOCATOR_SIZE`
+  * `GEN_CODEPOOL_NUM_BLOCKS` : Number of blocks per code pool in the code allocator
+  * `GEN_SIZE_PER_STRING_ARENA` : Size per arena used with string caching.
   * `GEN_MAX_COMMENT_LINE_LENGTH` : Longest length a comment can have per line.
   * `GEN_MAX_NAME_LENGTH` : Max length of any identifier.
   * `GEN_MAX_UNTYPED_STR_LENGTH` : Max content length for any untyped code.
-  * `GEN_SIZE_PER_STRING_ARENA` : Size per arena used with string caching.
   * `GEN_TOKEN_FMT_TOKEN_MAP_MEM_SIZE` : token_fmt_va uses local_persit memory of this size for the hashtable.
+  * `GEN_LEX_ALLOCATOR_SIZE`
+  * `GEN_BUILDER_STR_BUFFER_RESERVE`
 
 The following CodeTypes are used which the user may optionally use strong typing with if they enable: `GEN_ENFORCE_STRONG_CODE_TYPES`
 
@@ -186,7 +182,6 @@ The following CodeTypes are used which the user may optionally use strong typing
 * CodeConstructor
 * CodeDefine
 * CodeDestructor
-* CodePreprocessCond
 * CodeEnum
 * CodeExec
 * CodeExtern
@@ -194,10 +189,12 @@ The following CodeTypes are used which the user may optionally use strong typing
 * CodeFriend
 * CodeFn
 * CodeModule
-* CodeNamespace
+* CodeNS
 * CodeOperator
 * CodeOpCast
 * CodeParam : Has support for `for-range` iterating across parameters.
+* CodePreprocessCond
+* CodePragma
 * CodeSpecifiers : Has support for `for-range` iterating across specifiers.
 * CodeStruct
 * CodeTemplate
@@ -220,7 +217,7 @@ Retrieving a raw version of the ast can be done using the `raw()` function defin
 ### Upfront Construction
 
 All component ASTs must be previously constructed, and provided on creation of the code AST.
-The construction will fail and return Code::Invalid otherwise.
+The construction will fail and return CodeInvalid otherwise.
 
 Interface :``
 
@@ -230,6 +227,7 @@ Interface :``
 * def_comment
 * def_class
 * def_constructor
+* def_define
 * def_destructor
 * def_enum
 * def_execution
@@ -244,6 +242,7 @@ Interface :``
 * def_operator_cast
 * def_param
 * def_params
+* def_preprocess_cond
 * def_specifier
 * def_specifiers
 * def_struct
@@ -320,19 +319,6 @@ Interface :
 * parse_using
 * parse_variable
 
-The lexing and parsing takes shortcuts from whats expected in the standard.
-
-* Numeric literals are not check for validity.
-* The parse API treats any execution scope definitions with no validation and are turned into untyped Code ASTs.
-  * *This includes the assignment of variables.*
-* Attributes ( `[[]]` (standard), `__declspec` (Microsoft), or `__attribute__` (GNU) )
-  * Assumed to *come before specifiers* (`const`, `constexpr`, `extern`, `static`, etc) for a function
-  * Or in the usual spot for class, structs, (*right after the declaration keyword*)
-  * typedefs have attributes with the type (`parse_type`)
-* As a general rule; if its not available from the upfront constructors, its not available in the parsing constructors.
-  * *Upfront constructors are not necessarily used in the parsing constructors, this is just a good metric to know what can be parsed.*
-* Parsing attributes can be extended to support user defined macros by defining `GEN_DEFINE_ATTRIBUTE_TOKENS` (see `gen.hpp` for the formatting)
-
 Usage:
 
 ```cpp
@@ -341,13 +327,6 @@ Code <name> = parse_<function name>( string with code );
 Code <name> = def_<function name>( ..., parse_<function name>(
     <string with code>
 ));
-
-Code <name> = make_<function name>( ... )
-{
-    <name>->add( parse_<function name>(
-        <string with code>
-    ));
-}
 ```
 
 ### Untyped constructions
@@ -407,12 +386,15 @@ The following are provided predefined by the library as they are commonly used:
 * `access_public`
 * `access_protected`
 * `access_private`
+* `attrib_api_export`
+* `attrib_api_import`
 * `module_global_fragment`
 * `module_private_fragment`
+* `fmt_newline`
+* `pragma_once`
 * `param_varaidc` (Used for varadic definitions)
 * `preprocess_else`
 * `preprocess_endif`
-* `pragma_once`
 * `spec_const`
 * `spec_consteval`
 * `spec_constexpr`
@@ -424,8 +406,10 @@ The following are provided predefined by the library as they are commonly used:
 * `spec_internal_linkage` (internal macro)
 * `spec_local_persist` (local_persist macro)
 * `spec_mutable`
+* `spec_neverinline`
 * `spec_override`
 * `spec_ptr`
+* `spec_pure`
 * `spec_ref`
 * `spec_register`
 * `spec_rvalue`
@@ -433,10 +417,6 @@ The following are provided predefined by the library as they are commonly used:
 * `spec_thread_local`
 * `spec_virtual`
 * `spec_volatile`
-* `spec_type_signed`
-* `spec_type_unsigned`
-* `spec_type_short`
-* `spec_type_long`
 * `t_empty` (Used for varaidc macros)
 * `t_auto`
 * `t_void`

gencpp.10x

@@ -8,8 +8,8 @@
 		<ShowEmptyFolders>true</ShowEmptyFolders>
 		<IsVirtual>false</IsVirtual>
 		<IsFolder>false</IsFolder>
-		<BuildCommand>powershell ./scripts/build.ps1</BuildCommand>
-		<RebuildCommand>powershell ./scripts/rebuild.ps1</RebuildCommand>
+		<BuildCommand>powershell ./scripts/test.gen_run.ps1</BuildCommand>
+		<RebuildCommand></RebuildCommand>
 		<BuildFileCommand></BuildFileCommand>
 		<CleanCommand>powershell ./scripts/clean.ps1</CleanCommand>
 		<BuildWorkingDirectory></BuildWorkingDirectory>
@@ -38,7 +38,9 @@
 			<AdditionalIncludePath>C:\Program Files (x86)\Windows Kits\10\\include\10.0.19041.0\\cppwinrt</AdditionalIncludePath>
 			<AdditionalIncludePath>C:\Program Files (x86)\Windows Kits\NETFXSDK\4.8\include\um</AdditionalIncludePath>
 		</AdditionalIncludePaths>
-		<Defines></Defines>
+		<Defines>
+			<Define>GEN_TIME</Define>
+		</Defines>
 		<ConfigProperties>
 			<ConfigAndPlatform>
 				<Name>Debug:x64</Name>

project/Readme.md

@@ -1,7 +1,6 @@
 # Documentation
 
-The library is fragmented into a series of headers and sources files meant to be scanned in and then generated to a tailored format for the target
-`gen` files.
+The library is fragmented into a series of headers and source files meant to be scanned in and then generated to a tailored format for the target `gen` files.
 
 The principal (user) files are `gen.hpp` and `gen.cpp`.  
 They contain includes for its various components: `components/<component_name>.<hpp/cpp>`
@@ -12,9 +11,8 @@ Just like the `gen.<hpp/cpp>` they include their components: `dependencies/<depe
 The fle processors are in their own respective files. (Ex: `file_processors/<file_processor>.<hpp/cpp>` )  
 They directly include `depedencies/file_handling.<hpp/cpp>` as the core library does not include file processing by defualt.
 
-**TODO : Right now the library is not finished structurally, as such the first self-hosting iteration is still WIP**  
+**TODO : Right now the library is not finished, as such the first self-hosting iteration is still WIP**  
 Both libraries use *pre-generated* (self-hosting I guess) version of the library to then generate the latest version of itself.  
-(sort of a verification that the generated version is equivalent).
 
 The default `gen.bootstrap.cpp` located in the project folder is meant to be produce a standard segmented library, where the components of the library  
 have relatively dedicated header and source files. Dependencies included at the top of the file and each header starting with a pragma once.  
@@ -28,7 +26,6 @@ Feature Macros:
   * This is auto-generated if using the bootstrap or single-header generation
   * *Note: The user will use the `AttributeTokens.csv` when the library is fully self-hosting.*
 * `GEN_DEFINE_LIBRARY_CORE_CONSTANTS` : Optional typename codes as they are non-standard to C/C++ and not necessary to library usage
-* `GEN_DONT_USE_NAMESPACE` : By default, the library is wrapped in a `gen` namespace, this will disable that expose it to the global scope.
 * `GEN_DONT_ENFORCE_GEN_TIME_GUARD` : By default, the library ( gen.hpp/ gen.cpp ) expects the macro `GEN_TIME` to be defined, this disables that.
 * `GEN_ENFORCE_STRONG_CODE_TYPES` : Enforces casts to filtered code types.
 * `GEN_EXPOSE_BACKEND` : Will expose symbols meant for internal use only.
@@ -36,13 +33,13 @@ Feature Macros:
 
 ## On multi-threading
 
-Currently unsupported. The following changes would have to be made:
+Currently unsupported.
 
 ## Extending the library
 
 This library is relatively very small, and can be extended without much hassle.
 
-The convention you'll see used throughout the API of the library is as follows:
+The convention you'll see used throughout the interface of the library is as follows:
 
 1. Check name or parameters to make sure they are valid for the construction requested
 2. Create a code object using `make_code`.
@@ -55,3 +52,4 @@ Names or Content fields are interned strings and thus showed be cached using `ge
 
 The library has its code segmented into component files, use it to help create a derived version without needing to have to rewrite a generated file directly or build on top of the header via composition or inheritance.
 When the scanner is implemented, this will be even easier to customize.
+

project/components/ast.cpp

@@ -1,5 +1,3 @@
-#pragma region AST
-
 Code Code::Global;
 Code Code::Invalid;
 
@@ -31,6 +29,10 @@ String AST::to_string()
 			log_failure("Attempted to serialize invalid code! - %s", Parent ? Parent->debug_str() : Name );
 		break;
 
+		case NewLine:
+			result.append("\n");
+		break;
+
 		case Untyped:
 		case Execution:
 			result.append( Content );
@@ -38,10 +40,13 @@ String AST::to_string()
 
 		case Comment:
 		{
+			result.append("\n");
+
 			static char line[MaxCommentLineLength];
 
 			s32 left  = Content.length();
 			s32 index = 0;
+			s32 curr  = 0;
 			do
 			{
 				s32 length = 0;
@@ -49,12 +54,17 @@ String AST::to_string()
 				{
 					length++;
 					left--;
+					index++;
 				}
+				index++;
 
-				str_copy( line, Content, length );
-				line[length] = '\0';
+				str_copy( line, Content + curr, length );
+				result.append_fmt( "//%.*s", length, line );
+				mem_set( line, 0, MaxCommentLineLength);
 
-				result.append_fmt( "// %s", line );
+				length++;
+				left--;
+				curr = index;
 			}
 			while ( left--, left > 0 );
 		}
@@ -107,13 +117,16 @@ String AST::to_string()
 				}
 				else
 				{
-					result.append_fmt( "%s \n{\n%s\n};", Name, Body->to_string() );
+					result.append_fmt( "%s \n{\n%s\n}", Name, Body->to_string() );
 				}
 			}
 			else
 			{
-				result.append_fmt( "class %s\n{\n%s\n};", Name, Body->to_string() );
+				result.append_fmt( "class %s\n{\n%s\n}", Name, Body->to_string() );
 			}
+
+			if ( Parent == nullptr || ( Parent->Type != ECode::Typedef && Parent->Type != ECode::Variable ) )
+				result.append(";");
 		}
 		break;
 
@@ -123,9 +136,76 @@ String AST::to_string()
 				result.append( "export " );
 
 			if ( Attributes )
-				result.append_fmt( "class %s %s;", Attributes->to_string(), Name );
+				result.append_fmt( "class %s %s", Attributes->to_string(), Name );
 
-			else result.append_fmt( "class %s;", Name );
+			else result.append_fmt( "class %s", Name );
+
+			if ( Parent == nullptr || ( Parent->Type != ECode::Typedef && Parent->Type != ECode::Variable ) )
+				result.append(";");
+		}
+		break;
+
+		case Constructor:
+		{
+			result.append( Parent->Name );
+
+			if ( Params )
+				result.append_fmt( "( %s )", Params->to_string() );
+			else
+				result.append( "(void)" );
+
+			if ( InitializerList )
+				result.append_fmt( " : %s", InitializerList->to_string() );
+
+			result.append_fmt( "\n{\n%s\n}", Body->to_string() );
+		}
+		break;
+
+		case Constructor_Fwd:
+		{
+			result.append( Parent->Name );
+
+			if ( Params )
+				result.append_fmt( "( %s )", Params->to_string() );
+			else
+				result.append( "(void);" );
+		}
+		break;
+
+		case Destructor:
+		{
+			if ( Specs )
+			{
+				CodeSpecifiers specs = Specs->cast<CodeSpecifiers>();
+
+				if ( specs.has( ESpecifier::Virtual ) )
+					result.append_fmt( "virtual ~%s()", Parent->Name );
+				else
+					result.append_fmt( "~%s()", Parent->Name );
+			}
+			else
+				result.append_fmt( "~%s()", Parent->Name );
+
+			result.append_fmt( "\n{\n%s\n}", Body->to_string() );
+		}
+		break;
+
+		case Destructor_Fwd:
+		{
+			if ( Specs )
+			{
+				CodeSpecifiers specs = Specs->cast<CodeSpecifiers>();
+
+				if ( specs.has( ESpecifier::Virtual ) )
+					result.append_fmt( "virtual ~%s();", Parent->Name );
+				else
+					result.append_fmt( "~%s()", Parent->Name );
+
+				if ( specs.has( ESpecifier::Pure ) )
+					result.append( " = 0;" );
+			}
+			else
+				result.append_fmt( "~%s();", Parent->Name );
 		}
 		break;
 
@@ -142,21 +222,24 @@ String AST::to_string()
 					result.append_fmt( "%s ", Attributes->to_string() );
 
 				if ( UnderlyingType )
-					result.append_fmt( "%s : %s\n{\n%s\n};"
+					result.append_fmt( "%s : %s\n{\n%s\n}"
 						, Name
 						, UnderlyingType->to_string()
 						, Body->to_string()
 					);
 
-				else result.append_fmt( "%s\n{\n%s\n};"
+				else result.append_fmt( "%s\n{\n%s\n}"
 					, Name
 					, Body->to_string()
 				);
 			}
-			else result.append_fmt( "enum %s\n{\n%s\n};"
+			else result.append_fmt( "enum %s\n{\n%s\n}"
 				, Name
 				, Body->to_string()
 			);
+
+			if ( Parent == nullptr || ( Parent->Type != ECode::Typedef && Parent->Type != ECode::Variable ) )
+				result.append(";");
 		}
 		break;
 
@@ -168,7 +251,10 @@ String AST::to_string()
 			if ( Attributes )
 				result.append_fmt( "%s ", Attributes->to_string() );
 
-			result.append_fmt( "enum %s : %s;", Name, UnderlyingType->to_string() );
+			result.append_fmt( "enum %s : %s", Name, UnderlyingType->to_string() );
+
+			if ( Parent == nullptr || ( Parent->Type != ECode::Typedef && Parent->Type != ECode::Variable ) )
+				result.append(";");
 		}
 		break;
 
@@ -188,7 +274,7 @@ String AST::to_string()
 
 				if ( UnderlyingType )
 				{
-					result.append_fmt( "%s : %s\n{\n%s\n};"
+					result.append_fmt( "%s : %s\n{\n%s\n}"
 						, Name
 						, UnderlyingType->to_string()
 						, Body->to_string()
@@ -196,7 +282,7 @@ String AST::to_string()
 				}
 				else
 				{
-					result.append_fmt( "%s\n{\n%s\n};"
+					result.append_fmt( "%s\n{\n%s\n}"
 						, Name
 						, Body->to_string()
 					);
@@ -204,10 +290,13 @@ String AST::to_string()
 			}
 			else
 			{
-				result.append_fmt( "enum class %s\n{\n%s\n};"
+				result.append_fmt( "enum class %s\n{\n%s\n}"
 					, Body->to_string()
 				);
 			}
+
+			if ( Parent == nullptr || ( Parent->Type != ECode::Typedef && Parent->Type != ECode::Variable ) )
+				result.append(";");
 		}
 		break;
 
@@ -221,7 +310,10 @@ String AST::to_string()
 			if ( Attributes )
 				result.append_fmt( "%s ", Attributes->to_string() );
 
-			result.append_fmt( "%s : %s;", Name, UnderlyingType->to_string() );
+			result.append_fmt( "%s : %s", Name, UnderlyingType->to_string() );
+
+			if ( Parent == nullptr || ( Parent->Type != ECode::Typedef && Parent->Type != ECode::Variable ) )
+				result.append(";");
 		}
 		break;
 
@@ -233,7 +325,7 @@ String AST::to_string()
 			s32  left = NumEntries;
 			while ( left-- )
 			{
-				result.append_fmt( "%s\n", curr.to_string() );
+				result.append_fmt( "%s", curr.to_string() );
 				++curr;
 			}
 
@@ -264,7 +356,7 @@ String AST::to_string()
 				result.append_fmt( "%s ", Attributes->to_string() );
 
 			if ( Specs )
-				result.append_fmt( "%s\n", Specs->to_string() );
+				result.append_fmt( "%s", Specs->to_string() );
 
 			if ( ReturnType )
 				result.append_fmt( "%s %s(", ReturnType->to_string(), Name );
@@ -280,9 +372,7 @@ String AST::to_string()
 
 			if ( Specs )
 			{
-				CodeSpecifiers specs = cast<CodeSpecifiers>();
-
-				for ( SpecifierT spec : specs )
+				for ( SpecifierT spec : Specs->cast<CodeSpecifiers>() )
 				{
 					if ( ESpecifier::is_trailing( spec ) )
 						result.append_fmt( " %s", (char const*)ESpecifier::to_str( spec ) );
@@ -304,7 +394,7 @@ String AST::to_string()
 				result.append_fmt( "%s ", Attributes->to_string() );
 
 			if ( Specs )
-				result.append_fmt( "%s\n", Specs->to_string() );
+				result.append_fmt( "%s", Specs->to_string() );
 
 			if ( ReturnType )
 				result.append_fmt( "%s %s(", ReturnType->to_string(), Name );
@@ -320,9 +410,7 @@ String AST::to_string()
 
 			if ( Specs )
 			{
-				CodeSpecifiers specs = cast<CodeSpecifiers>();
-
-				for ( SpecifierT spec : specs )
+				for ( SpecifierT spec : Specs->cast<CodeSpecifiers>() )
 				{
 					if ( ESpecifier::is_trailing( spec ) )
 						result.append_fmt( " %s", (char const*)ESpecifier::to_str( spec ) );
@@ -347,7 +435,7 @@ String AST::to_string()
 			if ( bitfield_is_equal( u32, ModuleFlags, ModuleFlag::Export ))
 				result.append( "export " );
 
-			result.append_fmt( "namespace %s\n{\n%s}"
+			result.append_fmt( "namespace %s\n{\n%s\n}"
 				, Name
 				, Body->to_string()
 			);
@@ -376,9 +464,7 @@ String AST::to_string()
 
 			if ( Specs )
 			{
-				CodeSpecifiers specs = cast<CodeSpecifiers>();
-
-				for ( SpecifierT spec : specs )
+				for ( SpecifierT spec : Specs->cast<CodeSpecifiers>() )
 				{
 					if ( ESpecifier::is_trailing( spec ) )
 						result.append_fmt( " %s", (char const*)ESpecifier::to_str( spec ) );
@@ -413,9 +499,7 @@ String AST::to_string()
 
 			if ( Specs )
 			{
-				CodeSpecifiers specs = cast<CodeSpecifiers>();
-
-				for ( SpecifierT spec : specs )
+				for ( SpecifierT spec : Specs->cast<CodeSpecifiers>() )
 				{
 					if ( ESpecifier::is_trailing( spec ) )
 						result.append_fmt( " %s", (char const*)ESpecifier::to_str( spec ) );
@@ -430,11 +514,12 @@ String AST::to_string()
 		{
 			if ( Specs )
 			{
-				result.append_fmt( "operator %s()" );
+				if ( Name && Name.length() )
+					result.append_fmt( "%.*soperator %s()", Name.length(), Name, ValueType->to_string() );
+				else
+					result.append_fmt( "operator %s()", ValueType->to_string() );
 
-				CodeSpecifiers specs = cast<CodeSpecifiers>();
-
-				for ( SpecifierT spec : specs )
+				for ( SpecifierT spec : Specs->cast<CodeSpecifiers>() )
 				{
 					if ( ESpecifier::is_trailing( spec ) )
 						result.append_fmt( " %s", (char const*)ESpecifier::to_str( spec ) );
@@ -444,24 +529,25 @@ String AST::to_string()
 				break;
 			}
 
-			result.append_fmt("operator %s()\n{\n%s\n}", ValueType->to_string(), Body->to_string() );
+			if ( Name && Name.length() )
+				result.append_fmt("%.*soperator %s()\n{\n%s\n}", Name.length(), Name, ValueType->to_string(), Body->to_string() );
+			else
+				result.append_fmt("operator %s()\n{\n%s\n}", ValueType->to_string(), Body->to_string() );
 		}
 		break;
 
 		case Operator_Cast_Fwd:
 			if ( Specs )
 			{
-				result.append_fmt( "operator %s()" );
+				result.append_fmt( "operator %s()", ValueType->to_string() );
 
-				CodeSpecifiers specs = cast<CodeSpecifiers>();
-
-				for ( SpecifierT spec : specs )
+				for ( SpecifierT spec : Specs->cast<CodeSpecifiers>() )
 				{
 					if ( ESpecifier::is_trailing( spec ) )
 						result.append_fmt( " %s", (char const*)ESpecifier::to_str( spec ) );
 				}
 
-				result.append_fmt( ";", Body->to_string() );
+				result.append( ";" );
 				break;
 			}
 
@@ -470,6 +556,12 @@ String AST::to_string()
 
 		case Parameters:
 		{
+			if ( ValueType == nullptr )
+			{
+				result.append_fmt( "%s", Name );
+				break;
+			}
+
 			if ( Name )
 				result.append_fmt( "%s %s", ValueType->to_string(), Name );
 
@@ -488,9 +580,40 @@ String AST::to_string()
 			}
 		}
 		break;
+		case Preprocess_Define:
+			result.append_fmt( "#define %s %s", Name, Content );
+		break;
 
-		case Preprocessor_Include:
-			result.append_fmt( "#include \"%s\"", Name );
+		case Preprocess_If:
+			result.append_fmt( "#if %s", Content );
+		break;
+
+		case Preprocess_IfDef:
+			result.append_fmt( "#ifdef %s", Content );
+		break;
+
+		case Preprocess_IfNotDef:
+			result.append_fmt( "#ifndef %s", Content );
+		break;
+
+		case Preprocess_Include:
+			result.append_fmt( "#include \"%s\"\n", Content );
+		break;
+
+		case Preprocess_ElIf:
+			result.append_fmt( "#elif %s", Content );
+		break;
+
+		case Preprocess_Else:
+			result.append_fmt( "\n#else" );
+		break;
+
+		case Preprocess_EndIf:
+			result.append_fmt( "#endif" );
+		break;
+
+		case Preprocess_Pragma:
+			result.append_fmt( "#pragma %s", Content );
 		break;
 
 		case Specifiers:
@@ -499,7 +622,7 @@ String AST::to_string()
 			s32 left = NumEntries;
 			while ( left-- )
 			{
-				if ( ESpecifier::is_trailing( ArrSpecs[idx])  )
+				if ( ESpecifier::is_trailing( ArrSpecs[idx]) && ArrSpecs[idx] != ESpecifier::Const )
 				{
 					idx++;
 					continue;
@@ -518,7 +641,7 @@ String AST::to_string()
 
 			if ( Name == nullptr)
 			{
-				result.append( "struct\n{\n%s\n};", Body->to_string() );
+				result.append_fmt( "struct\n{\n%s\n};", Body->to_string() );
 				break;
 			}
 
@@ -555,13 +678,16 @@ String AST::to_string()
 				{
 					if ( Name )
 
-					result.append_fmt( "%s \n{\n%s\n};", Name, Body->to_string() );
+					result.append_fmt( "%s \n{\n%s\n}", Name, Body->to_string() );
 				}
 			}
 			else
 			{
-				result.append_fmt( "struct %s\n{\n%s\n};", Name, Body->to_string() );
+				result.append_fmt( "struct %s\n{\n%s\n}", Name, Body->to_string() );
 			}
+
+			if ( Parent == nullptr || ( Parent->Type != ECode::Typedef && Parent->Type != ECode::Variable ) )
+				result.append(";");
 		}
 		break;
 
@@ -571,9 +697,12 @@ String AST::to_string()
 				result.append( "export " );
 
 			if ( Attributes )
-				result.append_fmt( "struct %s %s;", Attributes->to_string(), Name );
+				result.append_fmt( "struct %s %s", Attributes->to_string(), Name );
 
-			else result.append_fmt( "struct %s;", Name );
+			else result.append_fmt( "struct %s", Name );
+
+			if ( Parent == nullptr || ( Parent->Type != ECode::Typedef && Parent->Type != ECode::Variable ) )
+				result.append(";");
 		}
 		break;
 
@@ -593,7 +722,10 @@ String AST::to_string()
 
 			result.append( "typedef ");
 
-			result.append_fmt( "%s %s", UnderlyingType->to_string(), Name );
+			if ( IsFunction )
+				result.append( UnderlyingType->to_string() );
+			else
+				result.append_fmt( "%s %s", UnderlyingType->to_string(), Name );
 
 			if ( UnderlyingType->Type == Typename && UnderlyingType->ArrExpr )
 			{
@@ -638,7 +770,7 @@ String AST::to_string()
 
 			if ( Name )
 			{
-				result.append_fmt( "%s\n{\n%s\n};"
+				result.append_fmt( "%s\n{\n%s\n}"
 					, Name
 					, Body->to_string()
 				);
@@ -646,10 +778,13 @@ String AST::to_string()
 			else
 			{
 				// Anonymous union
-				result.append_fmt( "\n{\n%s\n};"
+				result.append_fmt( "\n{\n%s\n}"
 					, Body->to_string()
 				);
 			}
+
+			if ( Parent == nullptr || ( Parent->Type != ECode::Typedef && Parent->Type != ECode::Variable ) )
+				result.append(";");
 		}
 		break;
 
@@ -697,6 +832,9 @@ String AST::to_string()
 				if ( ValueType->ArrExpr )
 					result.append_fmt( "[%s]", ValueType->ArrExpr->to_string() );
 
+				if ( BitfieldSize )
+					result.append_fmt( " : %s", BitfieldSize->to_string() );
+
 				if ( Value )
 					result.append_fmt( " = %s", Value->to_string() );
 
@@ -705,7 +843,10 @@ String AST::to_string()
 				break;
 			}
 
-			if ( UnderlyingType->ArrExpr )
+			if ( BitfieldSize )
+				result.append_fmt( "%s : %s", ValueType->to_string(), BitfieldSize->to_string() );
+
+			else if ( UnderlyingType->ArrExpr )
 				result.append_fmt( "%s %s[%s];", UnderlyingType->to_string(), Name, UnderlyingType->ArrExpr->to_string() );
 
 			else
@@ -713,8 +854,21 @@ String AST::to_string()
 		}
 		break;
 
-		case Class_Body:
+#if 0
+		{
+			Code curr = Front->cast<Code>();
+			s32  left = NumEntries;
+			while ( left -- )
+			{
+				result.append_fmt( "%s", curr.to_string() );
+				++curr;
+			}
+		}
+		break;
+#endif
+
 		case Enum_Body:
+		case Class_Body:
 		case Extern_Linkage_Body:
 		case Function_Body:
 		case Global_Body:
@@ -726,7 +880,11 @@ String AST::to_string()
 			s32  left = NumEntries;
 			while ( left -- )
 			{
-				result.append_fmt( "%s\n", curr.to_string() );
+				result.append_fmt( "%s", curr.to_string() );
+
+				if ( curr->Type != ECode::NewLine )
+					result.append( "\n" );
+
 				++curr;
 			}
 		}
@@ -803,7 +961,31 @@ bool AST::validate_body()
 			CheckEntries( GEN_AST_BODY_FUNCTION_UNALLOWED_TYPES );
 		break;
 		case Global_Body:
-			CheckEntries( GEN_AST_BODY_GLOBAL_UNALLOWED_TYPES );
+			for (Code entry : cast<CodeBody>())
+			{
+				switch (entry->Type)
+				{
+					case Access_Public:
+					case Access_Protected:
+					case Access_Private:
+					case PlatformAttributes:
+					case Class_Body:
+					case Enum_Body:
+					case Execution:
+					case Friend:
+					case Function_Body:
+					case Global_Body:
+					case Namespace_Body:
+					case Operator_Member:
+					case Operator_Member_Fwd:
+					case Parameters:
+					case Specifiers:
+					case Struct_Body:
+					case Typename:
+						log_failure("AST::validate_body: Invalid entry in body %s", entry.debug_str());
+					return false;
+				}
+			}
 		break;
 		case Namespace_Body:
 			CheckEntries( GEN_AST_BODY_NAMESPACE_UNALLOWED_TYPES );
@@ -831,5 +1013,3 @@ bool AST::validate_body()
 
 #undef CheckEntries
 }
-
-#pragma endregion AST

project/components/ast.hpp

@@ -0,0 +1,577 @@
+struct AST;
+struct AST_Body;
+struct AST_Attributes;
+struct AST_Comment;
+struct AST_Constructor;
+struct AST_Class;
+struct AST_Define;
+struct AST_Destructor;
+struct AST_Enum;
+struct AST_Exec;
+struct AST_Extern;
+struct AST_Include;
+struct AST_Friend;
+struct AST_Fn;
+struct AST_Module;
+struct AST_NS;
+struct AST_Operator;
+struct AST_OpCast;
+struct AST_Param;
+struct AST_Pragma;
+struct AST_PreprocessCond;
+struct AST_Specifiers;
+struct AST_Struct;
+struct AST_Template;
+struct AST_Type;
+struct AST_Typedef;
+struct AST_Union;
+struct AST_Using;
+struct AST_Var;
+
+struct Code;
+struct CodeBody;
+// These are to offer ease of use and optionally strong type safety for the AST.
+struct CodeAttributes;
+struct CodeComment;
+struct CodeConstructor;
+struct CodeDestructor;
+struct CodeClass;
+struct CodeDefine;
+struct CodeEnum;
+struct CodeExec;
+struct CodeExtern;
+struct CodeInclude;
+struct CodeFriend;
+struct CodeFn;
+struct CodeModule;
+struct CodeNS;
+struct CodeOperator;
+struct CodeOpCast;
+struct CodeParam;
+struct CodePreprocessCond;
+struct CodePragma;
+struct CodeSpecifiers;
+struct CodeStruct;
+struct CodeTemplate;
+struct CodeType;
+struct CodeTypedef;
+struct CodeUnion;
+struct CodeUsing;
+struct CodeVar;
+
+/*
+	AST* wrapper
+	- Not constantly have to append the '*' as this is written often..
+	- Allows for implicit conversion to any of the ASTs (raw or filtered).
+*/
+struct Code
+{
+#	pragma region Statics
+	// Used to identify ASTs that should always be duplicated. (Global constant ASTs)
+	static Code Global;
+
+	// Used to identify invalid generated code.
+	static Code Invalid;
+#	pragma endregion Statics
+
+	#define Using_Code( Typename )         \
+	char const* debug_str();               \
+	Code        duplicate();			   \
+	bool        is_equal( Code other );    \
+	bool        is_valid();                \
+	void        set_global();              \
+	String      to_string();               \
+	Typename&   operator = ( AST* other ); \
+	Typename&   operator = ( Code other ); \
+	bool        operator ==( Code other ); \
+	bool        operator !=( Code other ); \
+	operator bool();
+
+	Using_Code( Code );
+
+	template< class Type >
+	Type cast()
+	{
+		return * rcast( Type*, this );
+	}
+
+	AST* operator ->()
+	{
+		return ast;
+	}
+	Code& operator ++();
+	Code& operator*()
+	{
+		return *this;
+	}
+
+	AST* ast;
+
+#ifdef GEN_ENFORCE_STRONG_CODE_TYPES
+#	define operator explicit operator
+#endif
+	operator CodeAttributes() const;
+	operator CodeComment() const;
+	operator CodeConstructor() const;
+	operator CodeDestructor() const;
+	operator CodeClass() const;
+	operator CodeDefine() const;
+	operator CodeExec() const;
+	operator CodeEnum() const;
+	operator CodeExtern() const;
+	operator CodeInclude() const;
+	operator CodeFriend() const;
+	operator CodeFn() const;
+	operator CodeModule() const;
+	operator CodeNS() const;
+	operator CodeOperator() const;
+	operator CodeOpCast() const;
+	operator CodeParam() const;
+	operator CodePragma() const;
+	operator CodePreprocessCond() const;
+	operator CodeSpecifiers() const;
+	operator CodeStruct() const;
+	operator CodeTemplate() const;
+	operator CodeType() const;
+	operator CodeTypedef() const;
+	operator CodeUnion() const;
+	operator CodeUsing() const;
+	operator CodeVar() const;
+	operator CodeBody() const;
+	#undef operator
+};
+
+struct Code_POD
+{
+	AST* ast;
+};
+
+static_assert( sizeof(Code) == sizeof(Code_POD), "ERROR: Code is not POD" );
+
+// Desired width of the AST data structure.
+constexpr u32 AST_POD_Size = 128;
+
+/*
+	Simple AST POD with functionality to seralize into C++ syntax.
+*/
+struct AST
+{
+#	pragma region Member Functions
+	void        append     ( AST* other );
+	char const* debug_str  ();
+	AST*        duplicate  ();
+	Code&       entry      ( u32 idx );
+	bool        has_entries();
+	bool        is_equal   ( AST* other );
+	String      to_string  ();
+	char const* type_str();
+	bool        validate_body();
+
+	template< class Type >
+	Type cast()
+	{
+		return * this;
+	}
+
+	operator Code();
+	operator CodeBody();
+	operator CodeAttributes();
+	operator CodeComment();
+	operator CodeConstructor();
+	operator CodeDestructor();
+	operator CodeClass();
+	operator CodeDefine();
+	operator CodeEnum();
+	operator CodeExec();
+	operator CodeExtern();
+	operator CodeInclude();
+	operator CodeFriend();
+	operator CodeFn();
+	operator CodeModule();
+	operator CodeNS();
+	operator CodeOperator();
+	operator CodeOpCast();
+	operator CodeParam();
+	operator CodePragma();
+	operator CodePreprocessCond();
+	operator CodeSpecifiers();
+	operator CodeStruct();
+	operator CodeTemplate();
+	operator CodeType();
+	operator CodeTypedef();
+	operator CodeUnion();
+	operator CodeUsing();
+	operator CodeVar();
+#	pragma endregion Member Functions
+
+	constexpr static
+	uw ArrSpecs_Cap =
+	(
+			AST_POD_Size
+			- sizeof(AST*) * 3
+			- sizeof(StringCached)
+			- sizeof(CodeT)
+			- sizeof(ModuleFlag)
+			- sizeof(u32)
+	)
+	/ sizeof(SpecifierT) -1; // -1 for 4 extra bytes
+
+	union {
+		struct
+		{
+			AST*      Attributes;     // Class, Enum, Function, Struct, Typedef, Union, Using, Variable
+			AST*      Specs;          // Function, Operator, Type symbol, Variable
+			union {
+				AST*  InitializerList; // Constructor, Destructor
+				AST*  ParentType;      // Class, Struct
+				AST*  ReturnType;      // Function, Operator
+				AST*  UnderlyingType;  // Enum, Typedef
+				AST*  ValueType;       // Parameter, Variable
+			};
+			union {
+				AST*  BitfieldSize;    // Varaiable (Class/Struct Data Member)
+				AST*  Params;          // Function, Operator, Template
+			};
+			union {
+				AST*  ArrExpr;        // Type Symbol
+				AST*  Body;           // Class, Constructr, Destructor, Enum, Function, Namespace, Struct, Union
+				AST*  Declaration;    // Friend, Template
+				AST*  Value;          // Parameter, Variable
+			};
+		};
+		StringCached  Content;        // Attributes, Comment, Execution, Include
+		SpecifierT    ArrSpecs[AST::ArrSpecs_Cap]; // Specifiers
+	};
+	union {
+		AST* Prev;
+		AST* Front;
+		AST* Last;
+	};
+	union {
+		AST* Next;
+		AST* Back;
+	};
+	AST*              Parent;
+	StringCached      Name;
+	CodeT             Type;
+	ModuleFlag        ModuleFlags;
+	union {
+		b32           IsFunction; // Used by typedef to not serialize the name field.
+		OperatorT     Op;
+		AccessSpec    ParentAccess;
+		s32           NumEntries;
+	};
+};
+
+struct AST_POD
+{
+	union {
+		struct
+		{
+			AST*      Attributes;     // Class, Enum, Function, Struct, Typename, Union, Using, Variable
+			AST*      Specs;          // Function, Operator, Type symbol, Variable
+			union {
+				AST*  InitializerList; // Constructor, Destructor
+				AST*  ParentType;      // Class, Struct
+				AST*  ReturnType;      // Function, Operator
+				AST*  UnderlyingType;  // Enum, Typedef
+				AST*  ValueType;       // Parameter, Variable
+			};
+			union {
+				AST*  BitfieldSize;    // Varaiable (Class/Struct Data Member)
+				AST*  Params;          // Function, Operator, Template
+			};
+			union {
+				AST*  ArrExpr;        // Type Symbol
+				AST*  Body;           // Class, Constructr, Destructor, Enum, Function, Namespace, Struct, Union
+				AST*  Declaration;    // Friend, Template
+				AST*  Value;          // Parameter, Variable
+			};
+		};
+		StringCached  Content;        // Attributes, Comment, Execution, Include
+		SpecifierT    ArrSpecs[AST::ArrSpecs_Cap]; // Specifiers
+	};
+	union {
+		AST* Prev;
+		AST* Front;
+		AST* Last;
+	};
+	union {
+		AST* Next;
+		AST* Back;
+	};
+	AST*              Parent;
+	StringCached      Name;
+	CodeT             Type;
+	ModuleFlag        ModuleFlags;
+	union {
+		b32           IsFunction; // Used by typedef to not serialize the name field.
+		OperatorT     Op;
+		AccessSpec    ParentAccess;
+		s32           NumEntries;
+	};
+};
+
+// Its intended for the AST to have equivalent size to its POD.
+// All extra functionality within the AST namespace should just be syntatic sugar.
+static_assert( sizeof(AST)     == sizeof(AST_POD), "ERROR: AST IS NOT POD" );
+static_assert( sizeof(AST_POD) == AST_POD_Size,    "ERROR: AST POD is not size of AST_POD_Size" );
+
+// Used when the its desired when omission is allowed in a definition.
+#define NoCode      { nullptr }
+#define CodeInvalid (* Code::Invalid.ast) // Uses an implicitly overloaded cast from the AST to the desired code type.
+
+#pragma region Code Types
+
+struct CodeBody
+{
+	Using_Code( CodeBody );
+
+	void append( Code other )
+	{
+		raw()->append( other.ast );
+	}
+	void append( CodeBody body )
+	{
+		for ( Code entry : body )
+		{
+			append( entry );
+		}
+	}
+	bool has_entries()
+	{
+		return rcast( AST*, ast )->has_entries();
+	}
+	AST* raw()
+	{
+		return rcast( AST*, ast );
+	}
+	AST_Body* operator->()
+	{
+		return ast;
+	}
+	operator Code()
+	{
+		return * rcast( Code*, this );
+	}
+#pragma region Iterator
+	Code begin()
+	{
+		if ( ast )
+			return { rcast( AST*, ast)->Front };
+
+		return { nullptr };
+	}
+	Code end()
+	{
+		return { rcast(AST*, ast)->Back->Next };
+	}
+#pragma endregion Iterator
+
+	AST_Body* ast;
+};
+
+struct CodeClass
+{
+	Using_Code( CodeClass );
+
+	void add_interface( CodeType interface );
+
+	AST* raw()
+	{
+		return rcast( AST*, ast );
+	}
+	operator Code()
+	{
+		return * rcast( Code*, this );
+	}
+	AST_Class* operator->()
+	{
+		if ( ast == nullptr )
+		{
+			log_failure("Attempt to dereference a nullptr");
+			return nullptr;
+		}
+		return ast;
+	}
+	AST_Class* ast;
+};
+
+struct CodeParam
+{
+	Using_Code( CodeParam );
+
+	void append( CodeParam other );
+
+	CodeParam get( s32 idx );
+	bool has_entries();
+	AST* raw()
+	{
+		return rcast( AST*, ast );
+	}
+	AST_Param* operator->()
+	{
+		if ( ast == nullptr )
+		{
+			log_failure("Attempt to dereference a nullptr!");
+			return nullptr;
+		}
+		return ast;
+	}
+	operator Code()
+	{
+		return { (AST*)ast };
+	}
+#pragma region Iterator
+	CodeParam begin()
+	{
+		if ( ast )
+			return { ast };
+
+		return { nullptr };
+	}
+	CodeParam end()
+	{
+		return { (AST_Param*) rcast( AST*, ast)->Last };
+	}
+	CodeParam& operator++();
+	CodeParam operator*()
+	{
+		return * this;
+	}
+#pragma endregion Iterator
+
+	AST_Param* ast;
+};
+
+struct CodeSpecifiers
+{
+	Using_Code( CodeSpecifiers );
+
+	bool append( SpecifierT spec )
+	{
+		if ( ast == nullptr )
+		{
+			log_failure("CodeSpecifiers: Attempted to append to a null specifiers AST!");
+			return false;
+		}
+
+		if ( raw()->NumEntries == AST::ArrSpecs_Cap )
+		{
+			log_failure("CodeSpecifiers: Attempted to append over %d specifiers to a specifiers AST!", AST::ArrSpecs_Cap );
+			return false;
+		}
+
+		raw()->ArrSpecs[ raw()->NumEntries ] = spec;
+		raw()->NumEntries++;
+		return true;
+	}
+	s32 has( SpecifierT spec )
+	{
+		for ( s32 idx = 0; idx < raw()->NumEntries; idx++ )
+		{
+			if ( raw()->ArrSpecs[ raw()->NumEntries ] == spec )
+				return idx;
+		}
+
+		return -1;
+	}
+	AST* raw()
+	{
+		return rcast( AST*, ast );
+	}
+	AST_Specifiers* operator->()
+	{
+		if ( ast == nullptr )
+		{
+			log_failure("Attempt to dereference a nullptr!");
+			return nullptr;
+		}
+		return ast;
+	}
+	operator Code()
+	{
+		return { (AST*) ast };
+	}
+#pragma region Iterator
+	SpecifierT* begin()
+	{
+		if ( ast )
+			return & raw()->ArrSpecs[0];
+
+		return nullptr;
+	}
+	SpecifierT* end()
+	{
+		return raw()->ArrSpecs + raw()->NumEntries;
+	}
+#pragma endregion Iterator
+
+	AST_Specifiers* ast;
+};
+
+struct CodeStruct
+{
+	Using_Code( CodeStruct );
+
+	void add_interface( CodeType interface );
+
+	AST* raw()
+	{
+		return rcast( AST*, ast );
+	}
+	operator Code()
+	{
+		return * rcast( Code*, this );
+	}
+	AST_Struct* operator->()
+	{
+		if ( ast == nullptr )
+		{
+			log_failure("Attempt to dereference a nullptr");
+			return nullptr;
+		}
+		return ast;
+	}
+	AST_Struct* ast;
+};
+
+#define Define_CodeType( Typename )     \
+	struct Code##Typename               \
+	{                                   \
+		Using_Code( Code ## Typename ); \
+		AST*            raw();          \
+		operator        Code();         \
+		AST_##Typename* operator->();   \
+		AST_##Typename* ast;            \
+	}
+
+Define_CodeType( Attributes );
+Define_CodeType( Comment );
+Define_CodeType( Constructor );
+Define_CodeType( Define );
+Define_CodeType( Destructor );
+Define_CodeType( Enum );
+Define_CodeType( Exec );
+Define_CodeType( Extern );
+Define_CodeType( Include );
+Define_CodeType( Friend );
+Define_CodeType( Fn );
+Define_CodeType( Module );
+Define_CodeType( NS );
+Define_CodeType( Operator );
+Define_CodeType( OpCast );
+Define_CodeType( Pragma );
+Define_CodeType( PreprocessCond );
+Define_CodeType( Template );
+Define_CodeType( Type );
+Define_CodeType( Typedef );
+Define_CodeType( Union );
+Define_CodeType( Using );
+Define_CodeType( Var );
+
+#undef Define_CodeType
+#undef Using_Code
+
+#pragma endregion Code Types
+

project/components/ast_case_macros.cpp

@@ -49,7 +49,6 @@
 	case Execution: 					       \
 	case Friend: 						       \
 	case Function_Body: 				       \
-	case Global_Body: 					       \
 	case Namespace_Body: 				       \
 	case Operator_Member: 				       \
 	case Operator_Member_Fwd: 			       \
@@ -77,3 +76,4 @@
 	case Specifiers: 					          \
 	case Struct_Body: 					          \
 	case Typename:
+

project/components/ast_types.hpp

@@ -0,0 +1,542 @@
+#pragma region AST Types
+/*
+	Show only relevant members of the AST for its type.
+	AST* fields are replaced with Code types.
+		- Guards assignemnts to AST* fields to ensure the AST is duplicated if assigned to another parent.
+*/
+
+struct AST_Body
+{
+	char              _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+	Code              Front;
+	Code              Back;
+	Code              Parent;
+	StringCached      Name;
+	CodeT             Type;
+	char              _PAD_UNUSED_[ sizeof(ModuleFlag) ];
+	s32 			  NumEntries;
+};
+static_assert( sizeof(AST_Body) == sizeof(AST), "ERROR: AST_Filtered is not the same size as AST");
+
+struct AST_Attributes
+{
+	union {
+		char          _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		StringCached  Content;
+	};
+	Code              Prev;
+	Code              Next;
+	Code              Parent;
+	StringCached      Name;
+	CodeT             Type;
+	char              _PAD_UNUSED_[ sizeof(ModuleFlag) + sizeof(u32) ];
+};
+static_assert( sizeof(AST_Attributes) == sizeof(AST), "ERROR: AST_Attributes is not the same size as AST");
+
+struct AST_Comment
+{
+	union {
+		char          _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		StringCached  Content;
+	};
+	Code              Prev;
+	Code              Next;
+	Code              Parent;
+	StringCached      Name;
+	CodeT             Type;
+	char              _PAD_UNUSED_[ sizeof(ModuleFlag) + sizeof(u32) ];
+};
+static_assert( sizeof(AST_Comment) == sizeof(AST), "ERROR: AST_Comment is not the same size as AST");
+
+struct AST_Class
+{
+	union {
+		char                _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		struct
+		{
+			CodeAttributes  Attributes;
+			char 	        _PAD_SPECS_ [ sizeof(AST*) ];
+			CodeType        ParentType;
+			char 	        _PAD_PARAMS_[ sizeof(AST*) ];
+			CodeBody        Body;
+		};
+	};
+	CodeType                Last;
+	CodeType                Next;
+	Code                    Parent;
+	StringCached            Name;
+	CodeT                   Type;
+	ModuleFlag              ModuleFlags;
+	AccessSpec              ParentAccess;
+};
+static_assert( sizeof(AST_Class) == sizeof(AST), "ERROR: AST_Class is not the same size as AST");
+
+struct AST_Constructor
+{
+	union {
+		char          _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		struct
+		{
+			char      _PAD_PROPERTIES_ [ sizeof(AST*) * 3 ];
+			Code      InitializerList;
+			CodeParam Params;
+			Code      Body;
+		};
+	};
+	Code              Prev;
+	Code              Next;
+	Code              Parent;
+	StringCached      Name;
+	CodeT             Type;
+	char _PAD_UNUSED_[ sizeof(ModuleFlag) + sizeof(u32) ];
+};
+static_assert( sizeof(AST_Constructor) == sizeof(AST), "ERROR: AST_Constructor is not the same size as AST");
+
+struct AST_Define
+{
+	union {
+		char 		  _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		StringCached  Content;
+	};
+	Code              Prev;
+	Code              Next;
+	Code              Parent;
+	StringCached      Name;
+	CodeT             Type;
+	char 			  _PAD_UNUSED_[ sizeof(ModuleFlag) + sizeof(u32) ];
+};
+static_assert( sizeof(AST_Define) == sizeof(AST), "ERROR: AST_Define is not the same size as AST");
+
+struct AST_Destructor
+{
+	union {
+		char               _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		struct
+		{
+			char           _PAD_PROPERTIES_ [ sizeof(AST*) * 1 ];
+			CodeSpecifiers Specs;
+			char           _PAD_PROPERTIES_2_ [ sizeof(AST*) * 2 ];
+			Code           Body;
+		};
+	};
+	Code                   Prev;
+	Code                   Next;
+	Code                   Parent;
+	StringCached           Name;
+	CodeT                  Type;
+	char                   _PAD_UNUSED_[ sizeof(ModuleFlag) + sizeof(u32) ];
+};
+static_assert( sizeof(AST_Destructor) == sizeof(AST), "ERROR: AST_Destructor is not the same size as AST");
+
+struct AST_Enum
+{
+	union {
+		char                _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		struct
+		{
+			CodeAttributes Attributes;
+			char           _PAD_SPEC_  [ sizeof(AST*) ];
+			CodeType       UnderlyingType;
+			char	       _PAD_PARAMS_[ sizeof(AST*) ];
+			CodeBody       Body;
+		};
+	};
+	Code                   Prev;
+	Code                   Next;
+	Code                   Parent;
+	StringCached           Name;
+	CodeT                  Type;
+	ModuleFlag             ModuleFlags;
+	char 			       _PAD_UNUSED_[ sizeof(u32) ];
+};
+static_assert( sizeof(AST_Enum) == sizeof(AST), "ERROR: AST_Enum is not the same size as AST");
+
+struct AST_Exec
+{
+	union {
+		char          _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		struct
+		{
+			char      _PAD_PROPERTIES_[ sizeof(AST*) * 5 ];
+		};
+	};
+	Code              Prev;
+	Code              Next;
+	Code              Parent;
+	StringCached      Name;
+	CodeT             Type;
+	char              _PAD_UNUSED_[ sizeof(ModuleFlag) + sizeof(u32) ];
+};
+static_assert( sizeof(AST_Exec) == sizeof(AST), "ERROR: AST_Exec is not the same size as AST");
+
+struct AST_Extern
+{
+	union {
+		char          _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		struct
+		{
+			char      _PAD_PROPERTIES_[ sizeof(AST*) * 4 ];
+			CodeBody  Body;
+		};
+	};
+	Code              Prev;
+	Code              Next;
+	Code              Parent;
+	StringCached      Name;
+	CodeT             Type;
+	char 			  _PAD_UNUSED_[ sizeof(ModuleFlag) + sizeof(u32) ];
+};
+static_assert( sizeof(AST_Extern) == sizeof(AST), "ERROR: AST_Extern is not the same size as AST");
+
+struct AST_Include
+{
+	union {
+		char          _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		StringCached  Content;
+	};
+	Code              Prev;
+	Code              Next;
+	Code              Parent;
+	StringCached      Name;
+	CodeT             Type;
+	char 			  _PAD_UNUSED_[ sizeof(ModuleFlag) + sizeof(u32) ];
+};
+static_assert( sizeof(AST_Include) == sizeof(AST), "ERROR: AST_Include is not the same size as AST");
+
+struct AST_Friend
+{
+	union {
+		char          _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		struct
+		{
+			char      _PAD_PROPERTIES_[ sizeof(AST*) * 4 ];
+			Code      Declaration;
+		};
+	};
+	Code              Prev;
+	Code              Next;
+	Code              Parent;
+	StringCached      Name;
+	CodeT             Type;
+	char 			  _PAD_UNUSED_[ sizeof(ModuleFlag) + sizeof(u32) ];
+};
+static_assert( sizeof(AST_Friend) == sizeof(AST), "ERROR: AST_Friend is not the same size as AST");
+
+struct AST_Fn
+{
+	union {
+		char                _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		struct
+		{
+			CodeAttributes  Attributes;
+			CodeSpecifiers  Specs;
+			CodeType        ReturnType;
+			CodeParam 	    Params;
+			CodeBody        Body;
+		};
+	};
+	Code                    Prev;
+	Code                    Parent;
+	Code                    Next;
+	StringCached            Name;
+	CodeT                   Type;
+	ModuleFlag              ModuleFlags;
+	char 			        _PAD_UNUSED_[ sizeof(u32) ];
+};
+static_assert( sizeof(AST_Fn) == sizeof(AST), "ERROR: AST_Fn is not the same size as AST");
+
+struct AST_Module
+{
+	char              _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+	Code              Prev;
+	Code              Next;
+	Code              Parent;
+	StringCached      Name;
+	CodeT             Type;
+	ModuleFlag        ModuleFlags;
+	char 			  _PAD_UNUSED_[ sizeof(u32) ];
+};
+static_assert( sizeof(AST_Module) == sizeof(AST), "ERROR: AST_Module is not the same size as AST");
+
+struct AST_NS
+{
+	union {
+		char          _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		struct {
+			char 	  _PAD_PROPERTIES_[ sizeof(AST*) * 4 ];
+			CodeBody  Body;
+		};
+	};
+	Code              Prev;
+	Code              Next;
+	Code              Parent;
+	StringCached      Name;
+	CodeT             Type;
+	ModuleFlag        ModuleFlags;
+	char 			  _PAD_UNUSED_[ sizeof(u32) ];
+};
+static_assert( sizeof(AST_NS) == sizeof(AST), "ERROR: AST_NS is not the same size as AST");
+
+struct AST_Operator
+{
+	union {
+		char                _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		struct
+		{
+			CodeAttributes  Attributes;
+			CodeSpecifiers  Specs;
+			CodeType        ReturnType;
+			CodeParam 	    Params;
+			CodeBody        Body;
+		};
+	};
+	Code                    Prev;
+	Code                    Next;
+	Code                    Parent;
+	StringCached            Name;
+	CodeT                   Type;
+	ModuleFlag              ModuleFlags;
+	OperatorT               Op;
+};
+static_assert( sizeof(AST_Operator) == sizeof(AST), "ERROR: AST_Operator is not the same size as AST");
+
+struct AST_OpCast
+{
+	union {
+		char          _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		struct
+		{
+			char 	       _PAD_PROPERTIES_[ sizeof(AST*)  ];
+			CodeSpecifiers Specs;
+			CodeType       ValueType;
+			char 	       _PAD_PROPERTIES_2_[ sizeof(AST*) ];
+			CodeBody       Body;
+		};
+	};
+	Code              Prev;
+	Code              Next;
+	Code              Parent;
+	StringCached      Name;
+	CodeT             Type;
+	char 			  _PAD_UNUSED_[ sizeof(ModuleFlag) + sizeof(u32) ];
+};
+static_assert( sizeof(AST_OpCast) == sizeof(AST), "ERROR: AST_OpCast is not the same size as AST");
+
+struct AST_Param
+{
+	union {
+		char 		  _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		struct
+		{
+			char 	  _PAD_PROPERTIES_2_[ sizeof(AST*) * 2 ];
+			CodeType  ValueType;
+			char 	  _PAD_PROPERTIES_[ sizeof(AST*) ];
+			Code      Value;
+		};
+	};
+	CodeParam         Last;
+	CodeParam         Next;
+	Code              Parent;
+	StringCached      Name;
+	CodeT             Type;
+	char 			  _PAD_UNUSED_[ sizeof(ModuleFlag) ];
+	s32               NumEntries;
+};
+static_assert( sizeof(AST_Param) == sizeof(AST), "ERROR: AST_Param is not the same size as AST");
+
+struct AST_Pragma
+{
+	union {
+		char 		  _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		StringCached  Content;
+	};
+	Code              Prev;
+	Code              Next;
+	Code              Parent;
+	StringCached      Name;
+	CodeT             Type;
+	char 			  _PAD_UNUSED_[ sizeof(ModuleFlag) + sizeof(u32) ];
+};
+static_assert( sizeof(AST_Pragma) == sizeof(AST), "ERROR: AST_Pragma is not the same size as AST");
+
+struct AST_PreprocessCond
+{
+	union {
+		char 		  _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		StringCached  Content;
+	};
+	Code              Prev;
+	Code              Next;
+	Code              Parent;
+	StringCached      Name;
+	CodeT             Type;
+	char 			  _PAD_UNUSED_[ sizeof(ModuleFlag) + sizeof(u32) ];
+};
+static_assert( sizeof(AST_PreprocessCond) == sizeof(AST), "ERROR: AST_PreprocessCond is not the same size as AST");
+
+struct AST_Specifiers
+{
+	SpecifierT        ArrSpecs[ AST::ArrSpecs_Cap ];
+	Code              Prev;
+	Code              Next;
+	Code              Parent;
+	StringCached      Name;
+	CodeT             Type;
+	char 			  _PAD_UNUSED_[ sizeof(ModuleFlag) ];
+	s32               NumEntries;
+};
+	static_assert( sizeof(AST_Specifiers) == sizeof(AST), "ERROR: AST_Specifier is not the same size as AST");
+
+struct AST_Struct
+{
+	union {
+		char               _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		struct
+		{
+			CodeAttributes Attributes;
+			char 	       _PAD_SPECS_ [ sizeof(AST*) ];
+			CodeType       ParentType;
+			char 	       _PAD_PARAMS_[ sizeof(AST*) ];
+			CodeBody       Body;
+		};
+	};
+	CodeType               Last;
+	CodeType               Next;
+	Code                   Parent;
+	StringCached           Name;
+	CodeT                  Type;
+	ModuleFlag             ModuleFlags;
+	AccessSpec             ParentAccess;
+};
+static_assert( sizeof(AST_Struct) == sizeof(AST), "ERROR: AST_Struct is not the same size as AST");
+
+struct AST_Template
+{
+	union {
+		char 		       _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		struct
+		{
+			char 	       _PAD_PROPERTIES_[ sizeof(AST*) * 3 ];
+			CodeParam 	   Params;
+			Code           Declaration;
+		};
+	};
+	Code                   Prev;
+	Code                   Next;
+	Code                   Parent;
+	StringCached           Name;
+	CodeT                  Type;
+	ModuleFlag             ModuleFlags;
+	char 			       _PAD_UNUSED_[ sizeof(u32) ];
+};
+static_assert( sizeof(AST_Template) == sizeof(AST), "ERROR: AST_Template is not the same size as AST");
+
+struct AST_Type
+{
+	union {
+		char 		       _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		struct
+		{
+			CodeAttributes Attributes;
+			CodeSpecifiers Specs;
+			char 	       _PAD_PROPERTIES_[ sizeof(AST*) * 2 ];
+			Code           ArrExpr;
+		};
+	};
+	Code                   Prev;
+	Code                   Next;
+	Code                   Parent;
+	StringCached           Name;
+	CodeT                  Type;
+	char 			       _PAD_UNUSED_[ sizeof(ModuleFlag) + sizeof(u32) ];
+};
+static_assert( sizeof(AST_Type) == sizeof(AST), "ERROR: AST_Type is not the same size as AST");
+
+struct AST_Typedef
+{
+	union {
+		char 		       _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		struct
+		{
+			char 	       _PAD_PROPERTIES_[ sizeof(AST*) * 2 ];
+			Code           UnderlyingType;
+			char 	       _PAD_PROPERTIES_2_[ sizeof(AST*) * 2 ];
+		};
+	};
+	Code                   Prev;
+	Code                   Next;
+	Code                   Parent;
+	StringCached           Name;
+	CodeT                  Type;
+	ModuleFlag             ModuleFlags;
+	b32                    IsFunction;
+};
+static_assert( sizeof(AST_Typedef) == sizeof(AST), "ERROR: AST_Typedef is not the same size as AST");
+
+struct AST_Union
+{
+	union {
+		char 		       _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		struct
+		{
+			CodeAttributes Attributes;
+			char 	       _PAD_PROPERTIES_[ sizeof(AST*) * 3 ];
+			CodeBody       Body;
+		};
+	};
+	Code                   Prev;
+	Code                   Next;
+	Code                   Parent;
+	StringCached           Name;
+	CodeT                  Type;
+	ModuleFlag             ModuleFlags;
+	char 			       _PAD_UNUSED_[ sizeof(u32) ];
+};
+static_assert( sizeof(AST_Union) == sizeof(AST), "ERROR: AST_Union is not the same size as AST");
+
+struct AST_Using
+{
+	union {
+		char 		        _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		struct
+		{
+			CodeAttributes  Attributes;
+			char 	        _PAD_SPECS_     [ sizeof(AST*) ];
+			CodeType        UnderlyingType;
+			char 	        _PAD_PROPERTIES_[ sizeof(AST*) * 2 ];
+		};
+	};
+	Code                    Prev;
+	Code                    Next;
+	Code                    Parent;
+	StringCached            Name;
+	CodeT                   Type;
+	ModuleFlag              ModuleFlags;
+	char 			        _PAD_UNUSED_[ sizeof(u32) ];
+};
+static_assert( sizeof(AST_Using) == sizeof(AST), "ERROR: AST_Using is not the same size as AST");
+
+struct AST_Var
+{
+	union {
+		char               _PAD_[ sizeof(SpecifierT) * AST::ArrSpecs_Cap ];
+		struct
+		{
+			CodeAttributes Attributes;
+			CodeSpecifiers Specs;
+			CodeType       ValueType;
+			Code           BitfieldSize;
+			Code           Value;
+		};
+	};
+	Code                   Prev;
+	Code                   Next;
+	Code                   Parent;
+	StringCached           Name;
+	CodeT                  Type;
+	ModuleFlag             ModuleFlags;
+	char 			       _PAD_UNUSED_[ sizeof(u32) ];
+};
+static_assert( sizeof(AST_Var) == sizeof(AST), "ERROR: AST_Var is not the same size as AST");
+#pragma endregion AST Types
+

project/components/etoktype.cpp

@@ -1,151 +0,0 @@
-namespace Parser
-{
-/*
-	This is a simple lexer that focuses on tokenizing only tokens relevant to the library.
-	It will not be capable of lexing C++ code with unsupported features.
-
-	For the sake of scanning files, it can scan preprocessor directives
-
-	Attributes_Start is only used to indicate the start of the user_defined attribute list.
-*/
-
-#ifndef GEN_DEFINE_ATTRIBUTE_TOKENS
-#	define GEN_DEFINE_ATTRIBUTE_TOKENS         \
-	Entry( API_Export, "GEN_API_Export_Code" ) \
-	Entry( API_Import, "GEN_API_Import_Code" )
-#endif
-
-#	define Define_TokType \
-	Entry( Invalid,                "INVALID" )          \
-	Entry( Access_Private,         "private" )          \
-	Entry( Access_Protected,       "protected" )        \
-	Entry( Access_Public,          "public" )           \
-	Entry( Access_MemberSymbol,    "." )                \
-	Entry( Access_StaticSymbol,    "::")                \
-	Entry( Ampersand,              "&" )                \
-	Entry( Ampersand_DBL,          "&&" )               \
-	Entry( Assign_Classifer,       ":" )                \
-	Entry( Attribute_Open, 	       "[[" )               \
-	Entry( Attribute_Close, 	   "]]" )               \
-	Entry( BraceCurly_Open,        "{" )                \
-	Entry( BraceCurly_Close,       "}" )                \
-	Entry( BraceSquare_Open,       "[" )                \
-	Entry( BraceSquare_Close,      "]" )                \
-	Entry( Capture_Start,          "(" )                \
-	Entry( Capture_End,            ")" )                \
-	Entry( Comment,                "comment" )          \
-	Entry( Char,                   "character" )        \
-	Entry( Comma,                  "," )                \
-	Entry( Decl_Class,             "class" )            \
-	Entry( Decl_GNU_Attribute,    "__attribute__" )     \
-	Entry( Decl_MSVC_Attribute,    "__declspec" )       \
-	Entry( Decl_Enum,              "enum" )             \
-	Entry( Decl_Extern_Linkage,    "extern" )           \
-	Entry( Decl_Friend,            "friend" )           \
-	Entry( Decl_Module,            "module" )           \
-	Entry( Decl_Namespace,         "namespace" )        \
-	Entry( Decl_Operator,          "operator" )         \
-	Entry( Decl_Struct,            "struct" )           \
-	Entry( Decl_Template,          "template" )         \
-	Entry( Decl_Typedef,           "typedef" )          \
-	Entry( Decl_Using,             "using" )            \
-	Entry( Decl_Union,             "union" )            \
-	Entry( Identifier,             "identifier" )       \
-	Entry( Module_Import,          "import" )           \
-	Entry( Module_Export,          "export" )           \
-	Entry( Number,                 "number" )           \
-	Entry( Operator,               "operator" )         \
-	Entry( Preprocess_Define,      "#define")           \
-	Entry( Preproces_Include,      "include" )          \
-	Entry( Preprocess_If,          "#if")               \
-	Entry( Preprocess_Elif,        "#elif")             \
-	Entry( Preprocess_Else,        "#else")             \
-	Entry( Preprocess_EndIf,       "#endif")            \
-	Entry( Spec_Alignas,           "alignas" )          \
-	Entry( Spec_Const,             "const" )            \
-	Entry( Spec_Consteval,         "consteval" )        \
-	Entry( Spec_Constexpr,         "constexpr" )        \
-	Entry( Spec_Constinit,         "constinit" )        \
-	Entry( Spec_Explicit, 		   "explicit" )         \
-	Entry( Spec_Extern,            "extern" )           \
-	Entry( Spec_Final, 		       "final" )            \
-	Entry( Spec_Global, 		   "global" )           \
-	Entry( Spec_Inline,            "inline" )           \
-	Entry( Spec_Internal_Linkage,  "internal" )         \
-	Entry( Spec_LocalPersist,      "local_persist" )    \
-	Entry( Spec_Mutable,           "mutable" )          \
-	Entry( Spec_Override,          "override" )         \
-	Entry( Spec_Static,            "static" )           \
-	Entry( Spec_ThreadLocal,       "thread_local" )     \
-	Entry( Spec_Volatile,          "volatile")          \
-	Entry( Star,                   "*" )                \
-	Entry( Statement_End,          ";" )                \
-	Entry( String,                 "string" )           \
-	Entry( Type_Unsigned, 	       "unsigned" )         \
-	Entry( Type_Signed,            "signed" )           \
-	Entry( Type_Short,             "short" )            \
-	Entry( Type_Long,              "long" )             \
-	Entry( Type_char, 			   "char" )             \
-	Entry( Type_int, 			   "int" )              \
-	Entry( Type_double, 		   "double" )           \
-	Entry( Varadic_Argument,       "..." )              \
-	Entry( Attributes_Start,       "__attrib_start__" )
-
-	namespace ETokType
-	{
-		enum Type : u32
-		{
-		#	define Entry( Name_, Str_ ) Name_,
-			Define_TokType
-			GEN_DEFINE_ATTRIBUTE_TOKENS
-		#	undef Entry
-			NumTokens,
-		};
-
-		internal inline
-		Type to_type( StrC str_tok )
-		{
-			local_persist
-			StrC lookup[(u32)NumTokens] =
-			{
-			#	define Entry( Name_, Str_ ) { sizeof(Str_), Str_ },
-				Define_TokType
-				GEN_DEFINE_ATTRIBUTE_TOKENS
-			#	undef Entry
-			};
-
-			for ( u32 index = 0; index < (u32)NumTokens; index++ )
-			{
-				s32         lookup_len = lookup[index].Len - 1;
-				char const* lookup_str = lookup[index].Ptr;
-
-				if ( lookup_len != str_tok.Len )
-					continue;
-
-				if ( str_compare( str_tok.Ptr, lookup_str, lookup_len ) == 0 )
-					return scast(Type, index);
-			}
-
-			return Invalid;
-		}
-
-		internal inline
-		char const* to_str( Type type )
-		{
-			local_persist
-			char const* lookup[(u32)NumTokens] =
-			{
-			#	define Entry( Name_, Str_ ) Str_,
-				Define_TokType
-				GEN_DEFINE_ATTRIBUTE_TOKENS
-			#	undef Entry
-			};
-
-			return lookup[(u32)type];
-		}
-	#	undef Define_TokType
-	};
-
-	using TokType = ETokType::Type;
-
-} // Parser

project/components/header_end.hpp

@@ -1,395 +1,5 @@
-#pragma region Inlines
-
-void AST::append( AST* other )
-{
-	if ( other->Parent )
-		other = other->duplicate();
-
-	other->Parent = this;
-
-	if ( Front == nullptr )
-	{
-		Front = other;
-		Back  = other;
-
-		NumEntries++;
-		return;
-	}
-
-	AST*
-		Current       = Back;
-	Current->Next = other;
-	other->Prev   = Current;
-	Back          = other;
-	NumEntries++;
-}
-
-char const* AST::debug_str()
-{
-	char const* fmt = stringize(
-		\nCode Debug:
-		\nType    : %s
-		\nParent  : %s
-		\nName    : %s
-		\nComment : %s
-	);
-
-	// These should be used immediately in a log.
-	// Thus if its desired to keep the debug str
-	// for multiple calls to bprintf,
-	// allocate this to proper string.
-	return str_fmt_buf( fmt
-		,	type_str()
-		,	Parent   ? Parent->Name : ""
-		,	Name     ? Name         : ""
-	);
-}
-
-Code& AST::entry( u32 idx )
-{
-	AST** current = & Front;
-	while ( idx >= 0 && current != nullptr )
-	{
-		if ( idx == 0 )
-			return * rcast( Code*, current);
-
-		current = & ( * current )->Next;
-		idx--;
-	}
-
-	return * rcast( Code*, current);
-}
-
-bool AST::has_entries()
-{
-	return NumEntries;
-}
-
-char const* AST::type_str()
-{
-	return ECode::to_str( Type );
-}
-
-AST::operator Code()
-{
-	return { this };
-}
-
-Code& Code::operator ++()
-{
-	if ( ast )
-		ast = ast->Next;
-
-	return *this;
-}
-
-#pragma region AST & Code Gen Common
-
-#define Define_CodeImpl( Typename )                                                  \
-char const* Typename::debug_str()                                                    \
-{                                                                                    \
-	if ( ast == nullptr )                                                            \
-		return "Code::debug_str: AST is null!";                                      \
-	                                                                                 \
-	return rcast(AST*, ast)->debug_str();                                            \
-}                                                                                    \
-Code Typename::duplicate()														     \
-{                                                                                    \
-	if ( ast == nullptr )                                                            \
-	{                                                                                \
-		log_failure("Code::duplicate: Cannot duplicate code, AST is null!");         \
-		return Code::Invalid;                                                        \
-	}                                                                                \
-	                                                                                 \
-	return { rcast(AST*, ast)->duplicate() };                                        \
-}                                                                                    \
-bool Typename::is_equal( Code other )                                                \
-{                                                                                    \
-	if ( ast == nullptr || other.ast == nullptr )                                    \
-	{                                                                                \
-		log_failure("Code::is_equal: Cannot compare code, AST is null!");            \
-		return false;                                                                \
-	}                                                                                \
-                                                                                     \
-	return rcast(AST*, ast)->is_equal( other.ast );                                  \
-}                                                                                    \
-bool Typename::is_valid()                                                            \
-{                                                                                    \
-	return (AST*) ast != nullptr && rcast( AST*, ast)->Type != CodeT::Invalid;       \
-}                                                                                    \
-void Typename::set_global()                                                          \
-{                                                                                    \
-	if ( ast == nullptr )                                                            \
-	{                                                                                \
-		log_failure("Code::set_global: Cannot set code as global, AST is null!");    \
-		return;                                                                      \
-	}                                                                                \
-	                                                                                 \
-	rcast(AST*, ast)->Parent = Code::Global.ast;                                     \
-}                                                                                    \
-String Typename::to_string()													     \
-{                                                                                    \
-	if ( ast == nullptr )                                                            \
-	{                                                                                \
-	log_failure("Code::to_string: Cannot convert code to string, AST is null!");     \
-	return { nullptr };                                                              \
-	}                                                                                \
-	                                                                                 \
-	return rcast(AST*, ast)->to_string();                                            \
-}                                                                                    \
-Typename& Typename::operator =( Code other )                                         \
-{                                                                                    \
-	if ( other.ast && other->Parent )                                                \
-	{                                                                                \
-		ast = rcast( decltype(ast), other.ast->duplicate() );                        \
-		rcast( AST*, ast)->Parent = nullptr;                                         \
-	}                                                                                \
-                                                                                     \
-	ast = rcast( decltype(ast), other.ast );                                         \
-	return *this;                                                                    \
-}                                                                                    \
-bool Typename::operator ==( Code other )                                             \
-{                                                                                    \
-	return (AST*) ast == other.ast;                                                  \
-}                                                                                    \
-bool Typename::operator !=( Code other )                                             \
-{                                                                                    \
-	return (AST*) ast != other.ast;                                                  \
-}
-
-Define_CodeImpl( Code );
-Define_CodeImpl( CodeBody );
-Define_CodeImpl( CodeAttributes );
-Define_CodeImpl( CodeComment );
-Define_CodeImpl( CodeClass );
-Define_CodeImpl( CodeEnum );
-Define_CodeImpl( CodeExec );
-Define_CodeImpl( CodeExtern );
-Define_CodeImpl( CodeInclude );
-Define_CodeImpl( CodeFriend );
-Define_CodeImpl( CodeFn );
-Define_CodeImpl( CodeModule );
-Define_CodeImpl( CodeNamespace );
-Define_CodeImpl( CodeOperator );
-Define_CodeImpl( CodeOpCast );
-Define_CodeImpl( CodeParam );
-Define_CodeImpl( CodeSpecifiers );
-Define_CodeImpl( CodeStruct );
-Define_CodeImpl( CodeTemplate );
-Define_CodeImpl( CodeType );
-Define_CodeImpl( CodeTypedef );
-Define_CodeImpl( CodeUnion );
-Define_CodeImpl( CodeUsing );
-Define_CodeImpl( CodeVar );
-#undef Define_CodeImpl
-
-#define Define_AST_Cast( typename )              \
-AST::operator Code ## typename()                 \
-{                                                \
-	return { rcast( AST_ ## typename*, this ) }; \
-}
-
-Define_AST_Cast( Body );
-Define_AST_Cast( Attributes );
-Define_AST_Cast( Comment );
-Define_AST_Cast( Class );
-Define_AST_Cast( Enum );
-Define_AST_Cast( Exec );
-Define_AST_Cast( Extern );
-Define_AST_Cast( Include );
-Define_AST_Cast( Friend );
-Define_AST_Cast( Fn );
-Define_AST_Cast( Module );
-Define_AST_Cast( Namespace );
-Define_AST_Cast( Operator );
-Define_AST_Cast( OpCast );
-Define_AST_Cast( Param );
-Define_AST_Cast( Struct );
-Define_AST_Cast( Specifiers );
-Define_AST_Cast( Template );
-Define_AST_Cast( Type );
-Define_AST_Cast( Typedef );
-Define_AST_Cast( Union );
-Define_AST_Cast( Using );
-Define_AST_Cast( Var );
-#undef Define_AST_Cast
-
-#define Define_CodeCast( type )     \
-Code::operator Code ## type() const \
-{                                   \
-	return { (AST_ ## type*) ast }; \
-}
-
-Define_CodeCast( Attributes );
-Define_CodeCast( Comment );
-Define_CodeCast( Class );
-Define_CodeCast( Exec );
-Define_CodeCast( Enum );
-Define_CodeCast( Extern );
-Define_CodeCast( Include );
-Define_CodeCast( Friend );
-Define_CodeCast( Fn );
-Define_CodeCast( Module );
-Define_CodeCast( Namespace );
-Define_CodeCast( Operator );
-Define_CodeCast( OpCast );
-Define_CodeCast( Param );
-Define_CodeCast( Specifiers );
-Define_CodeCast( Struct );
-Define_CodeCast( Template );
-Define_CodeCast( Type );
-Define_CodeCast( Typedef );
-Define_CodeCast( Union );
-Define_CodeCast( Using );
-Define_CodeCast( Var );
-Define_CodeCast( Body);
-#undef Define_CodeCast
-
-#pragma endregion AST & Code Gen Common
-
-void CodeClass::add_interface( CodeType type )
-{
-	if ( ! ast->Next )
-	{
-		ast->Next = type;
-		ast->Last = ast->Next;
-		return;
-	}
-
-	ast->Next->Next = type;
-	ast->Last       = ast->Next->Next;
-}
-
-void CodeParam::append( CodeParam other )
-{
-	AST* self  = (AST*) ast;
-	AST* entry = (AST*) other.ast;
-
-	if ( entry->Parent )
-		entry = entry->duplicate();
-
-	entry->Parent = self;
-
-	if ( self->Last == nullptr )
-	{
-		self->Last = entry;
-		self->Next = entry;
-		self->NumEntries++;
-		return;
-	}
-
-	self->Last->Next = entry;
-	self->Last       = entry;
-	self->NumEntries++;
-}
-
-CodeParam CodeParam::get( s32 idx )
-{
-	CodeParam param = *this;
-	do
-	{
-		if ( ! ++ param )
-			return { nullptr };
-
-		return { (AST_Param*) param.raw()->Next };
-	}
-	while ( --idx );
-
-	return { nullptr };
-}
-
-bool CodeParam::has_entries()
-{
-	return ast->NumEntries > 0;
-}
-
-CodeParam& CodeParam::operator ++()
-{
-	ast = ast->Next.ast;
-	return * this;
-}
-
-void CodeStruct::add_interface( CodeType type )
-{
-	if ( ! ast->Next )
-	{
-		ast->Next = type;
-		ast->Last = ast->Next;
-	}
-
-	ast->Next->Next = type;
-	ast->Last       = ast->Next->Next;
-}
-
-CodeBody def_body( CodeT type )
-{
-	switch ( type )
-	{
-		using namespace ECode;
-		case Class_Body:
-		case Enum_Body:
-		case Export_Body:
-		case Extern_Linkage:
-		case Function_Body:
-		case Global_Body:
-		case Namespace_Body:
-		case Struct_Body:
-		case Union_Body:
-			break;
-
-		default:
-			log_failure( "def_body: Invalid type %s", (char const*)ECode::to_str(type) );
-			return (CodeBody)Code::Invalid;
-	}
-
-	Code
-		result       = make_code();
-	result->Type = type;
-	return (CodeBody)result;
-}
-
-//! Do not use directly. Use the token_fmt macro instead.
-// Takes a format string (char const*) and a list of tokens (StrC) and returns a StrC of the formatted string.
-StrC token_fmt_impl( sw num, ... )
-{
-	local_persist thread_local
-	char buf[GEN_PRINTF_MAXLEN] = { 0 };
-	mem_set( buf, 0, GEN_PRINTF_MAXLEN );
-
-	va_list va;
-	va_start(va, num );
-	sw result = token_fmt_va(buf, GEN_PRINTF_MAXLEN, num, va);
-	va_end(va);
-
-	return { result, buf };
-}
-
-#pragma endregion Inlines
-
 #pragma region Constants
 
-#ifdef GEN_DEFINE_LIBRARY_CODE_CONSTANTS
-	// Predefined typename codes. Are set to readonly and are setup during gen::init()
-
-	extern CodeType t_b32;
-
-	extern CodeType t_s8;
-	extern CodeType t_s16;
-	extern CodeType t_s32;
-	extern CodeType t_s64;
-
-	extern CodeType t_u8;
-	extern CodeType t_u16;
-	extern CodeType t_u32;
-	extern CodeType t_u64;
-
-	extern CodeType t_sw;
-	extern CodeType t_uw;
-
-	extern CodeType t_f32;
-	extern CodeType t_f64;
-#endif
-
 #ifndef GEN_GLOBAL_BUCKET_SIZE
 #	define GEN_GLOBAL_BUCKET_SIZE megabytes(10)
 #endif
@@ -437,29 +47,25 @@ constexpr s32 TokenFmt_TokenMap_MemSize	= GEN_TOKEN_FMT_TOKEN_MAP_MEM_SIZE;
 constexpr s32 LexAllocator_Size         = GEN_LEX_ALLOCATOR_SIZE;
 constexpr s32 Builder_StrBufferReserve  = GEN_BUILDER_STR_BUFFER_RESERVE;
 
-extern CodeType t_empty; // Used with varaidc parameters. (Exposing just in case its useful for another circumstance)
-extern CodeType t_auto;
-extern CodeType t_void;
-extern CodeType t_int;
-extern CodeType t_bool;
-extern CodeType t_char;
-extern CodeType t_wchar_t;
-extern CodeType t_class;
-extern CodeType t_typename;
-
-extern CodeParam param_varadic;
-
-extern CodeAttributes attrib_api_export;
-extern CodeAttributes attrib_api_import;
-
 extern Code access_public;
 extern Code access_protected;
 extern Code access_private;
 
+extern CodeAttributes attrib_api_export;
+extern CodeAttributes attrib_api_import;
+
 extern Code module_global_fragment;
 extern Code module_private_fragment;
 
-extern Code pragma_once;
+// Exposed, but this is really used for parsing.
+extern Code fmt_newline;
+
+extern CodePragma pragma_once;
+
+extern CodeParam param_varadic;
+
+extern CodePreprocessCond preprocess_else;
+extern CodePreprocessCond preprocess_endif;
 
 extern CodeSpecifiers spec_const;
 extern CodeSpecifiers spec_consteval;
@@ -472,8 +78,10 @@ extern CodeSpecifiers spec_inline;
 extern CodeSpecifiers spec_internal_linkage;
 extern CodeSpecifiers spec_local_persist;
 extern CodeSpecifiers spec_mutable;
+extern CodeSpecifiers spec_neverinline;
 extern CodeSpecifiers spec_override;
 extern CodeSpecifiers spec_ptr;
+extern CodeSpecifiers spec_pure;
 extern CodeSpecifiers spec_ref;
 extern CodeSpecifiers spec_register;
 extern CodeSpecifiers spec_rvalue;
@@ -482,6 +90,38 @@ extern CodeSpecifiers spec_thread_local;
 extern CodeSpecifiers spec_virtual;
 extern CodeSpecifiers spec_volatile;
 
+extern CodeType t_empty; // Used with varaidc parameters. (Exposing just in case its useful for another circumstance)
+extern CodeType t_auto;
+extern CodeType t_void;
+extern CodeType t_int;
+extern CodeType t_bool;
+extern CodeType t_char;
+extern CodeType t_wchar_t;
+extern CodeType t_class;
+extern CodeType t_typename;
+
+#ifdef GEN_DEFINE_LIBRARY_CODE_CONSTANTS
+	// Predefined typename codes. Are set to readonly and are setup during gen::init()
+
+	extern CodeType t_b32;
+
+	extern CodeType t_s8;
+	extern CodeType t_s16;
+	extern CodeType t_s32;
+	extern CodeType t_s64;
+
+	extern CodeType t_u8;
+	extern CodeType t_u16;
+	extern CodeType t_u32;
+	extern CodeType t_u64;
+
+	extern CodeType t_sw;
+	extern CodeType t_uw;
+
+	extern CodeType t_f32;
+	extern CodeType t_f64;
+#endif
+
 #pragma endregion Constants
 
 #pragma region Macros
@@ -512,6 +152,7 @@ extern CodeSpecifiers spec_volatile;
 	// Global allocator used for data with process lifetime.
 	extern AllocatorInfo  GlobalAllocator;
 	extern Array< Arena > Global_AllocatorBuckets;
+
 	extern Array< Pool >  CodePools;
 	extern Array< Arena > StringArenas;
 
@@ -527,3 +168,4 @@ extern CodeSpecifiers spec_volatile;
 	extern AllocatorInfo Allocator_TypeTable;
 
 #endif
+

project/components/header_start.hpp

@@ -15,3 +15,12 @@
 #ifndef GEN_ROLL_OWN_DEPENDENCIES
 #	include "gen.dep.hpp"
 #endif
+
+#ifdef GEN_DONT_USE_NAMESPACE
+#	define GEN_NS_BEGIN
+#	define GEN_NS_END
+#else
+#	define GEN_NS_BEGIN namespace gen {
+#	define GEN_NS_END   }
+#endif
+

project/components/inlines.hpp

@@ -0,0 +1,214 @@
+void AST::append( AST* other )
+{
+	if ( other->Parent )
+		other = other->duplicate();
+
+	other->Parent = this;
+
+	if ( Front == nullptr )
+	{
+		Front = other;
+		Back  = other;
+
+		NumEntries++;
+		return;
+	}
+
+	AST*
+		Current       = Back;
+	Current->Next = other;
+	other->Prev   = Current;
+	Back          = other;
+	NumEntries++;
+}
+
+char const* AST::debug_str()
+{
+	if ( Parent )
+	{
+		char const* fmt = stringize(
+			\nType    : %s
+			\nParent  : %s %s
+			\nName    : %s
+		);
+
+		// These should be used immediately in a log.
+		// Thus if its desired to keep the debug str
+		// for multiple calls to bprintf,
+		// allocate this to proper string.
+		return str_fmt_buf( fmt
+			,	type_str()
+			,	Parent->Name
+			,   Parent->type_str()
+			,	Name     ? Name         : ""
+		);
+	}
+
+	char const* fmt = stringize(
+		\nType    : %s
+		\nName    : %s
+	);
+
+	// These should be used immediately in a log.
+	// Thus if its desired to keep the debug str
+	// for multiple calls to bprintf,
+	// allocate this to proper string.
+	return str_fmt_buf( fmt
+		,	type_str()
+		,	Name     ? Name         : ""
+	);
+}
+
+Code& AST::entry( u32 idx )
+{
+	AST** current = & Front;
+	while ( idx >= 0 && current != nullptr )
+	{
+		if ( idx == 0 )
+			return * rcast( Code*, current);
+
+		current = & ( * current )->Next;
+		idx--;
+	}
+
+	return * rcast( Code*, current);
+}
+
+bool AST::has_entries()
+{
+	return NumEntries;
+}
+
+char const* AST::type_str()
+{
+	return ECode::to_str( Type );
+}
+
+AST::operator Code()
+{
+	return { this };
+}
+
+Code& Code::operator ++()
+{
+	if ( ast )
+		ast = ast->Next;
+
+	return *this;
+}
+
+void CodeClass::add_interface( CodeType type )
+{
+	if ( ! ast->Next )
+	{
+		ast->Next = type;
+		ast->Last = ast->Next;
+		return;
+	}
+
+	ast->Next->Next = type;
+	ast->Last       = ast->Next->Next;
+}
+
+void CodeParam::append( CodeParam other )
+{
+	AST* self  = (AST*) ast;
+	AST* entry = (AST*) other.ast;
+
+	if ( entry->Parent )
+		entry = entry->duplicate();
+
+	entry->Parent = self;
+
+	if ( self->Last == nullptr )
+	{
+		self->Last = entry;
+		self->Next = entry;
+		self->NumEntries++;
+		return;
+	}
+
+	self->Last->Next = entry;
+	self->Last       = entry;
+	self->NumEntries++;
+}
+
+CodeParam CodeParam::get( s32 idx )
+{
+	CodeParam param = *this;
+	do
+	{
+		if ( ! ++ param )
+			return { nullptr };
+
+		return { (AST_Param*) param.raw()->Next };
+	}
+	while ( --idx );
+
+	return { nullptr };
+}
+
+bool CodeParam::has_entries()
+{
+	return ast->NumEntries > 0;
+}
+
+CodeParam& CodeParam::operator ++()
+{
+	ast = ast->Next.ast;
+	return * this;
+}
+
+void CodeStruct::add_interface( CodeType type )
+{
+	if ( ! ast->Next )
+	{
+		ast->Next = type;
+		ast->Last = ast->Next;
+	}
+
+	ast->Next->Next = type;
+	ast->Last       = ast->Next->Next;
+}
+
+CodeBody def_body( CodeT type )
+{
+	switch ( type )
+	{
+		using namespace ECode;
+		case Class_Body:
+		case Enum_Body:
+		case Export_Body:
+		case Extern_Linkage:
+		case Function_Body:
+		case Global_Body:
+		case Namespace_Body:
+		case Struct_Body:
+		case Union_Body:
+			break;
+
+		default:
+			log_failure( "def_body: Invalid type %s", (char const*)ECode::to_str(type) );
+			return (CodeBody)Code::Invalid;
+	}
+
+	Code
+	result       = make_code();
+	result->Type = type;
+	return (CodeBody)result;
+}
+
+StrC token_fmt_impl( sw num, ... )
+{
+	local_persist thread_local
+	char buf[GEN_PRINTF_MAXLEN] = { 0 };
+	mem_set( buf, 0, GEN_PRINTF_MAXLEN );
+
+	va_list va;
+	va_start(va, num );
+	sw result = token_fmt_va(buf, GEN_PRINTF_MAXLEN, num, va);
+	va_end(va);
+
+	return { result, buf };
+}
+

project/components/interface.cpp

@@ -1,3 +1,6 @@
+internal void init_parser();
+internal void deinit_parser();
+
 internal
 void* Global_Allocator_Proc( void* allocator_data, AllocType type, sw size, sw alignment, void* old_memory, sw old_size, u64 flags )
 {
@@ -71,6 +74,68 @@ void define_constants()
 	Code::Invalid = make_code();
 	Code::Invalid.set_global();
 
+	t_empty          = (CodeType) make_code();
+	t_empty->Type    = ECode::Typename;
+	t_empty->Name    = get_cached_string( txt_StrC("") );
+	t_empty.set_global();
+
+	access_private       = make_code();
+	access_private->Type = ECode::Access_Private;
+	access_private->Name = get_cached_string( txt_StrC("private:") );
+	access_private.set_global();
+
+	access_protected       = make_code();
+	access_protected->Type = ECode::Access_Protected;
+	access_protected->Name = get_cached_string( txt_StrC("protected:") );
+	access_protected.set_global();
+
+	access_public       = make_code();
+	access_public->Type = ECode::Access_Public;
+	access_public->Name = get_cached_string( txt_StrC("public:") );
+	access_public.set_global();
+
+	attrib_api_export = def_attributes( code(GEN_API_Export_Code));
+	attrib_api_export.set_global();
+
+	attrib_api_import = def_attributes( code(GEN_API_Import_Code));
+	attrib_api_import.set_global();
+
+	module_global_fragment          = make_code();
+	module_global_fragment->Type    = ECode::Untyped;
+	module_global_fragment->Name    = get_cached_string( txt_StrC("module;") );
+	module_global_fragment->Content = module_global_fragment->Name;
+	module_global_fragment.set_global();
+
+	module_private_fragment          = make_code();
+	module_private_fragment->Type    = ECode::Untyped;
+	module_private_fragment->Name    = get_cached_string( txt_StrC("module : private;") );
+	module_private_fragment->Content = module_private_fragment->Name;
+	module_private_fragment.set_global();
+
+	fmt_newline = make_code();
+	fmt_newline->Type = ECode::NewLine;
+	fmt_newline.set_global();
+
+	pragma_once          = (CodePragma) make_code();
+	pragma_once->Type    = ECode::Untyped;
+	pragma_once->Name    = get_cached_string( txt_StrC("once") );
+	pragma_once->Content = pragma_once->Name;
+	pragma_once.set_global();
+
+	param_varadic            = (CodeType) make_code();
+	param_varadic->Type      = ECode::Parameters;
+	param_varadic->Name      = get_cached_string( txt_StrC("...") );
+	param_varadic->ValueType = t_empty;
+	param_varadic.set_global();
+
+	preprocess_else = (CodePreprocessCond) make_code();
+	preprocess_else->Type = ECode::Preprocess_Else;
+	preprocess_else.set_global();
+
+	preprocess_endif = (CodePreprocessCond) make_code();
+	preprocess_endif->Type = ECode::Preprocess_EndIf;
+	preprocess_endif.set_global();
+
 #	define def_constant_code_type( Type_ )   \
 		t_##Type_ = def_type( name(Type_) ); \
 		t_##Type_.set_global();
@@ -105,62 +170,14 @@ void define_constants()
 #endif
 #	undef def_constant_code_type
 
-	t_empty          = (CodeType) make_code();
-	t_empty->Type    = ECode::Typename;
-	t_empty->Name    = get_cached_string( txt_StrC("") );
-	t_empty.set_global();
-
-	param_varadic            = (CodeType) make_code();
-	param_varadic->Type      = ECode::Parameters;
-	param_varadic->Name      = get_cached_string( txt_StrC("...") );
-	param_varadic->ValueType = t_empty;
-	param_varadic.set_global();
-
-	attrib_api_export = def_attributes( code(GEN_API_Export_Code));
-	attrib_api_export.set_global();
-
-	attrib_api_import = def_attributes( code(GEN_API_Import_Code));
-	attrib_api_import.set_global();
-
-	access_private       = make_code();
-	access_private->Type = ECode::Access_Private;
-	access_private->Name = get_cached_string( txt_StrC("private:") );
-	access_private.set_global();
-
-	access_protected       = make_code();
-	access_protected->Type = ECode::Access_Protected;
-	access_protected->Name = get_cached_string( txt_StrC("protected:") );
-	access_protected.set_global();
-
-	access_public       = make_code();
-	access_public->Type = ECode::Access_Public;
-	access_public->Name = get_cached_string( txt_StrC("public:") );
-	access_public.set_global();
-
-	module_global_fragment          = make_code();
-	module_global_fragment->Type    = ECode::Untyped;
-	module_global_fragment->Name    = get_cached_string( txt_StrC("module;") );
-	module_global_fragment->Content = module_global_fragment->Name;
-	module_global_fragment.set_global();
-
-	module_private_fragment          = make_code();
-	module_private_fragment->Type    = ECode::Untyped;
-	module_private_fragment->Name    = get_cached_string( txt_StrC("module : private;") );
-	module_private_fragment->Content = module_private_fragment->Name;
-	module_private_fragment.set_global();
-
-	pragma_once          = make_code();
-	pragma_once->Type    = ECode::Untyped;
-	pragma_once->Name    = get_cached_string( txt_StrC("#pragma once") );
-	pragma_once->Content = pragma_once->Name;
-	pragma_once.set_global();
-
 #	pragma push_macro( "global" )
 #	pragma push_macro( "internal" )
 #	pragma push_macro( "local_persist" )
+#	pragma push_macro( "neverinline" )
 #	undef global
 #	undef internal
 #	undef local_persist
+#	undef neverinline
 
 #	define def_constant_spec( Type_, ... )                                  \
 		spec_##Type_ = def_specifiers( num_args(__VA_ARGS__), __VA_ARGS__); \
@@ -177,8 +194,10 @@ void define_constants()
 	def_constant_spec( internal_linkage, ESpecifier::Internal_Linkage );
 	def_constant_spec( local_persist,    ESpecifier::Local_Persist );
 	def_constant_spec( mutable,          ESpecifier::Mutable );
+	def_constant_spec( neverinline,      ESpecifier::NeverInline );
 	def_constant_spec( override,         ESpecifier::Override );
 	def_constant_spec( ptr,              ESpecifier::Ptr );
+	def_constant_spec( pure,             ESpecifier::Pure )
 	def_constant_spec( ref,              ESpecifier::Ref );
 	def_constant_spec( register,         ESpecifier::Register );
 	def_constant_spec( rvalue,           ESpecifier::RValue );
@@ -193,6 +212,7 @@ void define_constants()
 #	pragma pop_macro( "global" )
 #	pragma pop_macro( "internal" )
 #	pragma pop_macro( "local_persist" )
+#	pragma pop_macro( "neverinline" )
 
 #	undef def_constant_spec
 }
@@ -258,6 +278,7 @@ void init()
 	}
 
 	define_constants();
+	init_parser();
 }
 
 void deinit()
@@ -300,6 +321,7 @@ void deinit()
 	while ( left--, left );
 
 	Global_AllocatorBuckets.free();
+	deinit_parser();
 }
 
 void reset()
@@ -366,9 +388,7 @@ StringCached get_cached_string( StrC str )
 	return result;
 }
 
-/*
-	Used internally to retireve a Code object form the CodePool.
-	*/
+// Used internally to retireve a Code object form the CodePool.
 Code make_code()
 {
 	Pool* allocator = & CodePools.back();
@@ -423,3 +443,4 @@ void set_allocator_string_table( AllocatorInfo allocator )
 {
 	Allocator_StringArena = allocator;
 }
+

project/components/interface.hpp

@@ -45,6 +45,12 @@ CodeClass def_class( StrC name
 	, ModuleFlag     mflags       = ModuleFlag::None
 	, CodeType*      interfaces   = nullptr, s32 num_interfaces = 0 );
 
+CodeConstructor def_constructor( CodeParam params = NoCode, Code initializer_list = NoCode, Code body = NoCode );
+
+CodeDefine def_define( StrC name, StrC content );
+
+CodeDestructor def_destructor( Code body = NoCode, CodeSpecifiers specifiers = NoCode );
+
 CodeEnum def_enum( StrC name
 	, Code         body      = NoCode,      CodeType       type       = NoCode
 	, EnumT        specifier = EnumRegular, CodeAttributes attributes = NoCode
@@ -61,16 +67,20 @@ CodeFn def_function( StrC name
 
 CodeInclude   def_include  ( StrC content );
 CodeModule    def_module   ( StrC name,            ModuleFlag mflags = ModuleFlag::None );
-CodeNamespace def_namespace( StrC name, Code body, ModuleFlag mflags = ModuleFlag::None );
+CodeNS        def_namespace( StrC name, Code body, ModuleFlag mflags = ModuleFlag::None );
 
-CodeOperator def_operator( OperatorT op
+CodeOperator def_operator( OperatorT op, StrC nspace
 	, CodeParam      params     = NoCode, CodeType       ret_type   = NoCode, Code body = NoCode
 	, CodeSpecifiers specifiers = NoCode, CodeAttributes attributes = NoCode
 	, ModuleFlag     mflags     = ModuleFlag::None );
 
 CodeOpCast def_operator_cast( CodeType type, Code body = NoCode, CodeSpecifiers specs = NoCode );
 
-CodeParam      def_param    ( CodeType type, StrC name, Code value = NoCode );
+CodeParam  def_param ( CodeType type, StrC name, Code value = NoCode );
+CodePragma def_pragma( StrC directive );
+
+CodePreprocessCond def_preprocess_cond( EPreprocessCond type, StrC content );
+
 CodeSpecifiers def_specifier( SpecifierT specifier );
 
 CodeStruct def_struct( StrC name
@@ -130,29 +140,32 @@ CodeBody       def_union_body      ( s32 num, Code* codes );
 
 #pragma region Parsing
 
-CodeClass     parse_class        ( StrC class_def     );
-CodeEnum      parse_enum         ( StrC enum_def      );
-CodeBody      parse_export_body  ( StrC export_def    );
-CodeExtern    parse_extern_link  ( StrC exten_link_def);
-CodeFriend    parse_friend       ( StrC friend_def    );
-CodeFn        parse_function     ( StrC fn_def        );
-CodeBody      parse_global_body  ( StrC body_def      );
-CodeNamespace parse_namespace    ( StrC namespace_def );
-CodeOperator  parse_operator     ( StrC operator_def  );
-CodeOpCast    parse_operator_cast( StrC operator_def  );
-CodeStruct    parse_struct       ( StrC struct_def    );
-CodeTemplate  parse_template     ( StrC template_def  );
-CodeType      parse_type         ( StrC type_def      );
-CodeTypedef   parse_typedef      ( StrC typedef_def   );
-CodeUnion     parse_union        ( StrC union_def     );
-CodeUsing     parse_using        ( StrC using_def     );
-CodeVar       parse_variable     ( StrC var_def       );
+CodeClass       parse_class        ( StrC class_def       );
+CodeConstructor parse_constructor  ( StrC constructor_def );
+CodeDestructor  parse_destructor   ( StrC destructor_def  );
+CodeEnum        parse_enum         ( StrC enum_def        );
+CodeBody        parse_export_body  ( StrC export_def      );
+CodeExtern      parse_extern_link  ( StrC exten_link_def  );
+CodeFriend      parse_friend       ( StrC friend_def      );
+CodeFn          parse_function     ( StrC fn_def          );
+CodeBody        parse_global_body  ( StrC body_def        );
+CodeNS          parse_namespace    ( StrC namespace_def   );
+CodeOperator    parse_operator     ( StrC operator_def    );
+CodeOpCast      parse_operator_cast( StrC operator_def    );
+CodeStruct      parse_struct       ( StrC struct_def      );
+CodeTemplate    parse_template     ( StrC template_def    );
+CodeType        parse_type         ( StrC type_def        );
+CodeTypedef     parse_typedef      ( StrC typedef_def     );
+CodeUnion       parse_union        ( StrC union_def       );
+CodeUsing       parse_using        ( StrC using_def       );
+CodeVar         parse_variable     ( StrC var_def         );
 
 #pragma endregion Parsing
 
 #pragma region Untyped text
 
 sw   token_fmt_va( char* buf, uw buf_size, s32 num_tokens, va_list va );
+//! Do not use directly. Use the token_fmt macro instead.
 StrC token_fmt_impl( sw, ... );
 
 Code untyped_str      ( StrC content);
@@ -162,3 +175,4 @@ Code untyped_token_fmt( char const* fmt, s32 num_tokens, ... );
 #pragma endregion Untyped text
 
 #pragma endregion Gen Interface
+

project/components/interface.upfront.cpp

@@ -1,3 +1,5 @@
+#pragma region Upfront
+
 enum class OpValidateResult : u32
 {
 	Fail,
@@ -375,7 +377,7 @@ OpValidateResult operator__validate( OperatorT op, CodeParam params_code, CodeTy
 
 
 /*
-The implementaiton of the upfront constructors involves bascially doing three things:
+The implementaiton of the upfront constructors involves doing three things:
 * Validate the arguments given to construct the intended type of AST is valid.
 * Construct said AST type.
 * Lock the AST (set to readonly) and return the valid object.
@@ -420,6 +422,53 @@ CodeComment def_comment( StrC content )
 	return (CodeComment) result;
 }
 
+CodeConstructor def_constructor( CodeParam params, Code initializer_list, Code body )
+{
+	using namespace ECode;
+
+	if ( params && params->Type != Parameters )
+	{
+		log_failure("gen::def_constructor: params must be of Parameters type - %s", params.debug_str());
+		return CodeInvalid;
+	}
+
+	CodeConstructor
+	result = (CodeConstructor) make_code();
+
+	if ( params )
+	{
+		result->Params = params;
+	}
+
+	if ( initializer_list )
+	{
+		result->InitializerList = initializer_list;
+	}
+
+	if ( body )
+	{
+		switch ( body->Type )
+		{
+			case Function_Body:
+			case Untyped:
+			break;
+
+			default:
+				log_failure("gen::def_constructor: body must be either of Function_Body or Untyped type - %s", body.debug_str());
+				return CodeInvalid;
+		}
+
+		result->Type = Constructor;
+		result->Body = body;
+	}
+	else
+	{
+		result->Type = Constructor_Fwd;
+	}
+
+	return result;
+}
+
 CodeClass def_class( StrC name
 	, Code           body
 	, CodeType       parent, AccessSpec parent_access
@@ -489,6 +538,66 @@ CodeClass def_class( StrC name
 	return result;
 }
 
+CodeDefine def_define( StrC name, StrC content )
+{
+	using namespace ECode;
+
+	name_check( def_define, name );
+
+	if ( content.Len <= 0 || content.Ptr == nullptr )
+	{
+		log_failure( "gen::def_define: Invalid value provided" );
+		return CodeInvalid;
+	}
+
+	CodeDefine
+	result          = (CodeDefine) make_code();
+	result->Type    = Preprocess_Define;
+	result->Name    = get_cached_string( name );
+	result->Content = get_cached_string( content );
+
+	return result;
+}
+
+CodeDestructor def_destructor( Code body, CodeSpecifiers specifiers )
+{
+	using namespace ECode;
+
+	if ( specifiers && specifiers->Type != Specifiers )
+	{
+		log_failure( "gen::def_destructor: specifiers was not a 'Specifiers' type: %s", specifiers.debug_str() );
+		return CodeInvalid;
+	}
+
+	CodeDestructor result = (CodeDestructor) make_code();
+
+	if ( specifiers )
+		result->Specs = specifiers;
+
+	if ( body )
+	{
+		switch ( body->Type )
+		{
+			case Function_Body:
+			case Untyped:
+			break;
+
+			default:
+				log_failure("gen::def_destructor: body must be either of Function_Body or Untyped type - %s", body.debug_str());
+				return CodeInvalid;
+		}
+
+		result->Type = Destructor;
+		result->Body = body;
+	}
+	else
+	{
+		result->Type = Destructor_Fwd;
+	}
+
+	return result;
+}
+
 CodeEnum def_enum( StrC name
 	, Code       body,      CodeType       type
 	, EnumT      specifier, CodeAttributes attributes
@@ -719,7 +828,7 @@ CodeInclude def_include ( StrC path )
 
 	Code
 	result          = make_code();
-	result->Type    = ECode::Preprocessor_Include;
+	result->Type    = ECode::Preprocess_Include;
 	result->Name    = get_cached_string( path );
 	result->Content = result->Name;
 
@@ -740,7 +849,7 @@ CodeModule def_module( StrC name, ModuleFlag mflags )
 	return (CodeModule) result;
 }
 
-CodeNamespace def_namespace( StrC name, Code body, ModuleFlag mflags )
+CodeNS def_namespace( StrC name, Code body, ModuleFlag mflags )
 {
 	using namespace ECode;
 
@@ -753,8 +862,8 @@ CodeNamespace def_namespace( StrC name, Code body, ModuleFlag mflags )
 		return CodeInvalid;
 	}
 
-	CodeNamespace
-	result              = (CodeNamespace) make_code();
+	CodeNS
+	result              = (CodeNS) make_code();
 	result->Type        = Namespace;
 	result->Name        = get_cached_string( name );
 	result->ModuleFlags = mflags;
@@ -763,7 +872,7 @@ CodeNamespace def_namespace( StrC name, Code body, ModuleFlag mflags )
 	return result;
 }
 
-CodeOperator def_operator( OperatorT op
+CodeOperator def_operator( OperatorT op, StrC nspace
 	, CodeParam      params_code, CodeType       ret_type, Code body
 	, CodeSpecifiers specifiers,  CodeAttributes attributes
 	, ModuleFlag     mflags )
@@ -789,8 +898,13 @@ CodeOperator def_operator( OperatorT op
 		return CodeInvalid;
 	}
 
-	char const* name = str_fmt_buf( "operator %s", to_str(op) );
+	char const* name = nullptr;
 
+	StrC op_str = to_str( op );
+	if ( nspace.Len > 0 )
+		name = str_fmt_buf( "%.*soperator %.*s", nspace.Len, nspace.Ptr, op_str.Len, op_str.Ptr );
+	else
+		name = str_fmt_buf( "operator %.*s", op_str.Len, op_str.Ptr );
 	CodeOperator
 	result              = (CodeOperator) make_code();
 	result->Name        = get_cached_string( { str_len(name), name } );
@@ -910,6 +1024,53 @@ CodeParam def_param( CodeType type, StrC name, Code value )
 	return result;
 }
 
+CodePragma def_pragma( StrC directive )
+{
+	using namespace ECode;
+
+	if ( directive.Len <= 0 || directive.Ptr == nullptr )
+	{
+		log_failure( "gen::def_comment: Invalid comment provided:" );
+		return CodeInvalid;
+	}
+
+	CodePragma
+	result          = (CodePragma) make_code();
+	result->Type    = Preprocess_Pragma;
+	result->Content = get_cached_string( directive );
+
+	return result;
+}
+
+CodePreprocessCond def_preprocess_cond( EPreprocessCond type, StrC expr )
+{
+	using namespace ECode;
+
+	if ( expr.Len <= 0 || expr.Ptr == nullptr )
+	{
+		log_failure( "gen::def_comment: Invalid comment provided:" );
+		return CodeInvalid;
+	}
+
+	CodePreprocessCond
+	result          = (CodePreprocessCond) make_code();
+	result->Content = get_cached_string( expr );
+
+	switch (type)
+	{
+		case EPreprocessCond::If:
+			result->Type = ECode::Preprocess_If;
+		case EPreprocessCond::IfDef:
+			result->Type = Preprocess_IfDef;
+		case EPreprocessCond::IfNotDef:
+			result->Type = Preprocess_IfNotDef;
+		case EPreprocessCond::ElIf:
+			result->Type = Preprocess_ElIf;
+	}
+
+	return result;
+}
+
 CodeSpecifiers def_specifier( SpecifierT spec )
 {
 	CodeSpecifiers
@@ -1060,7 +1221,6 @@ CodeTypedef def_typedef( StrC name, Code type, CodeAttributes attributes, Module
 {
 	using namespace ECode;
 
-	name_check( def_typedef, name );
 	null_check( def_typedef, type );
 
 	switch ( type->Type )
@@ -1099,12 +1259,28 @@ CodeTypedef def_typedef( StrC name, Code type, CodeAttributes attributes, Module
 
 	CodeTypedef
 	result              = (CodeTypedef) make_code();
-	result->Name        = get_cached_string( name );
 	result->Type        = ECode::Typedef;
 	result->ModuleFlags = mflags;
 
 	result->UnderlyingType = type;
 
+	if ( name.Len <= 0  )
+	{
+		if (type->Type != Untyped)
+		{
+			log_failure( "gen::def_typedef: name was empty and type was not untyped (indicating its a function typedef) - %s", type.debug_str() );
+			return CodeInvalid;
+		}
+
+		result->Name       = get_cached_string( type->Name );
+		result->IsFunction = true;
+	}
+	else
+	{
+		result->Name       = get_cached_string( name );
+		result->IsFunction = false;
+	}
+
 	return result;
 }
 
@@ -1239,27 +1415,6 @@ CodeVar def_variable( CodeType type, StrC name, Code value
 	return result;
 }
 
-/*
-Body related functions typically follow the same implementation pattern.
-Opted to use inline helper macros to get the implementaiton done.
-
-The implementation pattern is as follows:
-* Validate a valid parameter num was provided, or code array
-	def_body_start or def_body_code_array_start( <name of function >)
-
-* Begin the code entry do-while loop, make sure each entry is valid processing its type in the switc
-	def_body_code_validation_start( <name of function> )
-
-* Define the switch case statements between the macros.
-
-* Add the code entry, finish the closing implemenation for the do-while loop.
-	def_body_code_validation_end( <name of function> )
-
-* Lock the body AST and return it.
-
-If a function's implementation deviates from the macros then its just writen it out.
-*/
-
 #pragma region Helper Macros for def_**_body functions
 #define def_body_start( Name_ )                                               \
 using namespace ECode;                                                        \
@@ -1285,61 +1440,43 @@ if ( codes == nullptr )                                                        \
 	return CodeInvalid;                                                        \
 }
 
-#define def_body_code_validation_start( Name_ )                               \
-do                                                                            \
-{                                                                             \
-	Code_POD pod   = va_arg(va, Code_POD);                                    \
-	Code     entry = pcast(Code, pod);                                        \
-																			  \
-	if ( ! entry )                                                            \
-	{                                                                         \
-		log_failure("gen::" stringize(Name_) ": Provided an null entry");     \
-		return CodeInvalid;                                                   \
-	}                                                                         \
-																			  \
-	switch ( entry->Type )                                                    \
-	{
-
-#define def_body_code_array_validation_start( Name_ )                         \
-do                                                                            \
-{                                                                             \
-	Code entry = *codes; codes++;                                             \
-																			  \
-	if ( ! entry )                                                            \
-	{                                                                         \
-		log_failure("gen::" stringize(Name_) ": Provided an null entry");     \
-		return CodeInvalid;                                                   \
-	}                                                                         \
-																			  \
-	switch ( entry->Type )                                                    \
-	{
-
-#define def_body_code_validation_end( Name_ )                                                             \
-			log_failure("gen::" stringize(Name_) ": Entry type is not allowed: %s", entry.debug_str() );  \
-			return CodeInvalid;                                                                           \
-																										  \
-		default:                                                                                          \
-			break;                                                                                        \
-	}                                                                                                     \
-																										  \
-	result.append( entry );                                                                               \
-}                                                                                                         \
-while ( num--, num > 0 )
 #pragma endregion Helper Macros for def_**_body functions
 
 CodeBody def_class_body( s32 num, ... )
 {
 	def_body_start( def_class_body );
 
-	CodeBody
-	result       = (CodeBody) make_code();
-	result->Type = Class_Body;
+	CodeBody result = ( CodeBody )make_code();
+	result->Type    = Class_Body;
 
 	va_list va;
-	va_start(va, num);
-	def_body_code_validation_start( def_class_body );
-		GEN_AST_BODY_CLASS_UNALLOWED_TYPES
-	def_body_code_validation_end( def_class_body );
+	va_start( va, num );
+	do
+	{
+		Code_POD pod   = va_arg(va, Code_POD);
+		Code     entry = pcast(Code, pod);
+
+		if (!entry)
+		{
+			log_failure("gen::"
+						"def_class_body"
+						": Provided an null entry");
+			return CodeInvalid;
+		}
+
+		switch (entry->Type)
+		{
+			GEN_AST_BODY_CLASS_UNALLOWED_TYPES
+				log_failure("gen::" "def_class_body" ": Entry type is not allowed: %s", entry.debug_str());
+				return CodeInvalid;
+
+			default:
+			break;
+		}
+
+		result.append(entry);
+	}
+	while (num--, num > 0);
 	va_end(va);
 
 	return result;
@@ -1353,9 +1490,30 @@ CodeBody def_class_body( s32 num, Code* codes )
 	result       = (CodeBody) make_code();
 	result->Type = Function_Body;
 
-	def_body_code_array_validation_start( def_class_body );
-		GEN_AST_BODY_CLASS_UNALLOWED_TYPES
-	def_body_code_validation_end( def_class_body );
+	do
+	{
+		Code entry = *codes;
+		codes++;
+
+		if (!entry)
+		{
+			log_failure("gen::" "def_class_body" ": Provided an null entry");
+			return CodeInvalid;
+		}
+
+		switch (entry->Type)
+		{
+			GEN_AST_BODY_CLASS_UNALLOWED_TYPES
+				log_failure("gen::" "def_class_body" ": Entry type is not allowed: %s", entry.debug_str());
+				return CodeInvalid;
+
+			default:
+			break;
+		}
+
+		result.append(entry);
+	}
+	while (num--, num > 0);
 
 	return result;
 }
@@ -1383,7 +1541,7 @@ CodeBody def_enum_body( s32 num, ... )
 
 		if ( entry->Type != Untyped && entry->Type != Comment )
 		{
-			log_failure("gen::def_enum_body: Entry type is not allowed - %s. Must be of untyped or comment type.", entry.debug_str() ); \
+			log_failure("gen::def_enum_body: Entry type is not allowed - %s. Must be of untyped or comment type.", entry.debug_str() );
 			return CodeInvalid;
 		}
 
@@ -1415,7 +1573,7 @@ CodeBody def_enum_body( s32 num, Code* codes )
 
 		if ( entry->Type != Untyped && entry->Type != Comment )
 		{
-			log_failure("gen::def_enum_body: Entry type is not allowed: %s", entry.debug_str() ); \
+			log_failure("gen::def_enum_body: Entry type is not allowed: %s", entry.debug_str() );
 			return CodeInvalid;
 		}
 
@@ -1436,9 +1594,30 @@ CodeBody def_export_body( s32 num, ... )
 
 	va_list va;
 	va_start(va, num);
-	def_body_code_validation_start( def_export_body );
-		GEN_AST_BODY_EXPORT_UNALLOWED_TYPES
-	def_body_code_validation_end( def_export_body );
+	do
+	{
+		Code_POD pod = va_arg(va, Code_POD);
+		Code     entry = pcast(Code, pod);
+
+		if (!entry)
+		{
+			log_failure("gen::" "def_export_body" ": Provided an null entry");
+			return CodeInvalid;
+		}
+
+		switch (entry->Type)
+		{
+			GEN_AST_BODY_EXPORT_UNALLOWED_TYPES
+				log_failure("gen::" "def_export_body" ": Entry type is not allowed: %s", entry.debug_str());
+				return CodeInvalid;
+
+			default:
+			break;
+		}
+
+		result.append(entry);
+	}
+	while (num--, num > 0);
 	va_end(va);
 
 	return result;
@@ -1452,9 +1631,30 @@ CodeBody def_export_body( s32 num, Code* codes )
 	result       = (CodeBody) make_code();
 	result->Type = Export_Body;
 
-	def_body_code_array_validation_start( def_export_body );
-		GEN_AST_BODY_EXPORT_UNALLOWED_TYPES
-	def_body_code_validation_end( def_export_body );
+	do
+	{
+		Code entry = *codes;
+		codes++;
+
+		if (!entry)
+		{
+			log_failure("gen::" "def_export_body" ": Provided an null entry");
+			return CodeInvalid;
+		}
+
+		switch (entry->Type)
+		{
+			GEN_AST_BODY_EXPORT_UNALLOWED_TYPES
+				log_failure("gen::" "def_export_body" ": Entry type is not allowed: %s", entry.debug_str());
+				return CodeInvalid;
+
+			default:
+			break;
+		}
+
+		result.append(entry);
+	}
+	while (num--, num > 0);
 
 	return result;
 }
@@ -1469,9 +1669,30 @@ CodeBody def_extern_link_body( s32 num, ... )
 
 	va_list va;
 	va_start(va, num);
-	def_body_code_validation_start( def_extern_linkage_body );
-		GEN_AST_BODY_EXTERN_LINKAGE_UNALLOWED_TYPES
-	def_body_code_validation_end( def_extern_linkage_body );
+	do
+	{
+		Code_POD pod = va_arg(va, Code_POD);
+		Code entry = pcast(Code, pod);
+
+		if (!entry)
+		{
+			log_failure("gen::" "def_extern_linkage_body" ": Provided an null entry");
+			return CodeInvalid;
+		}
+
+		switch (entry->Type)
+		{
+			GEN_AST_BODY_EXTERN_LINKAGE_UNALLOWED_TYPES
+				log_failure("gen::" "def_extern_linkage_body" ": Entry type is not allowed: %s", entry.debug_str());
+				return CodeInvalid;
+
+			default:
+			break;
+		}
+
+		result.append(entry);
+	}
+	while (num--, num > 0);
 	va_end(va);
 
 	return result;
@@ -1485,9 +1706,31 @@ CodeBody def_extern_link_body( s32 num, Code* codes )
 	result       = (CodeBody) make_code();
 	result->Type = Extern_Linkage_Body;
 
-	def_body_code_array_validation_start( def_extern_linkage_body );
-		GEN_AST_BODY_EXTERN_LINKAGE_UNALLOWED_TYPES
-	def_body_code_validation_end( def_extern_linkage_body );
+	do
+	{
+		Code entry = *codes;
+		codes++;
+
+		if (!entry)
+		{
+			log_failure("gen::" "def_extern_linkage_body" ": Provided an null entry");
+			return CodeInvalid;
+		}
+
+		switch (entry->Type)
+		{
+			GEN_AST_BODY_EXTERN_LINKAGE_UNALLOWED_TYPES
+				log_failure("gen::" "def_extern_linkage_body" ": Entry type is not allowed: %s", entry.debug_str());
+				return CodeInvalid;
+
+			default:
+			break;
+		}
+
+		result.append(entry);
+
+	}
+	while (num--, num > 0);
 
 	return result;
 }
@@ -1502,9 +1745,31 @@ CodeBody def_function_body( s32 num, ... )
 
 	va_list va;
 	va_start(va, num);
-	def_body_code_validation_start( def_function_body );
-		GEN_AST_BODY_FUNCTION_UNALLOWED_TYPES
-	def_body_code_validation_end( def_function_body );
+	do
+	{
+		Code_POD pod   = va_arg(va, Code_POD);
+		Code     entry = pcast(Code, pod);
+
+		if (!entry)
+		{
+			log_failure("gen::" stringize(def_function_body) ": Provided an null entry");
+			return CodeInvalid;
+		}
+
+		switch (entry->Type)
+		{
+
+			GEN_AST_BODY_FUNCTION_UNALLOWED_TYPES
+				log_failure("gen::" stringize(def_function_body) ": Entry type is not allowed: %s", entry.debug_str());
+				return CodeInvalid;
+
+			default:
+			break;
+		}
+
+		result.append(entry);
+	}
+	while (num--, num > 0);
 	va_end(va);
 
 	return result;
@@ -1518,9 +1783,29 @@ CodeBody def_function_body( s32 num, Code* codes )
 	result       = (CodeBody) make_code();
 	result->Type = Function_Body;
 
-	def_body_code_array_validation_start( def_function_body );
-		GEN_AST_BODY_FUNCTION_UNALLOWED_TYPES
-	def_body_code_validation_end( def_function_body );
+	do
+	{
+		Code entry = *codes;
+		codes++;
+
+		if (!entry)
+		{
+			log_failure("gen::" "def_function_body" ": Provided an null entry");
+			return CodeInvalid;
+		}
+
+		switch (entry->Type)
+		{
+			GEN_AST_BODY_FUNCTION_UNALLOWED_TYPES
+				log_failure("gen::" "def_function_body" ": Entry type is not allowed: %s", entry.debug_str());
+				return CodeInvalid;
+
+			default:
+			break;
+		}
+		result.append(entry);
+	}
+	while (num--, num > 0);
 
 	return result;
 }
@@ -1535,9 +1820,34 @@ CodeBody def_global_body( s32 num, ... )
 
 	va_list va;
 	va_start(va, num);
-	def_body_code_validation_start( def_global_body );
-		GEN_AST_BODY_GLOBAL_UNALLOWED_TYPES
-	def_body_code_validation_end( def_global_body );
+	do
+	{
+		Code_POD pod   = va_arg(va, Code_POD);
+		Code     entry = pcast(Code, pod);
+
+		if (!entry)
+		{
+			log_failure("gen::" "def_global_body" ": Provided an null entry");
+			return CodeInvalid;
+		}
+
+		switch (entry->Type)
+		{
+			case Global_Body:
+				result.append( entry.cast<CodeBody>() ) ;
+				continue;
+
+			GEN_AST_BODY_GLOBAL_UNALLOWED_TYPES
+				log_failure("gen::" "def_global_body" ": Entry type is not allowed: %s", entry.debug_str());
+				return (*Code::Invalid.ast);
+
+			default:
+			break;
+		}
+
+		result.append(entry);
+	}
+	while (num--, num > 0);
 	va_end(va);
 
 	return result;
@@ -1551,9 +1861,34 @@ CodeBody def_global_body( s32 num, Code* codes )
 	result       = (CodeBody) make_code();
 	result->Type = Global_Body;
 
-	def_body_code_array_validation_start( def_global_body );
-		GEN_AST_BODY_GLOBAL_UNALLOWED_TYPES
-	def_body_code_validation_end( def_global_body );
+	do
+	{
+		Code entry = *codes;
+		codes++;
+
+		if (!entry)
+		{
+			log_failure("gen::" "def_global_body" ": Provided an null entry");
+			return CodeInvalid;
+		}
+
+		switch (entry->Type)
+		{
+			case Global_Body:
+				result.append( entry.cast<CodeBody>() ) ;
+				continue;
+
+			GEN_AST_BODY_GLOBAL_UNALLOWED_TYPES
+				log_failure("gen::" "def_global_body" ": Entry type is not allowed: %s", entry.debug_str());
+				return CodeInvalid;
+
+			default:
+			break;
+		}
+
+		result.append(entry);
+	}
+	while (num--, num > 0);
 
 	return result;
 }
@@ -1568,9 +1903,30 @@ CodeBody def_namespace_body( s32 num, ... )
 
 	va_list va;
 	va_start(va, num);
-	def_body_code_validation_start( def_namespace_body );
-		GEN_AST_BODY_NAMESPACE_UNALLOWED_TYPES
-	def_body_code_validation_end( def_namespace_body );
+	do
+	{
+		Code_POD pod   = va_arg(va, Code_POD);
+		Code     entry = pcast(Code, pod);
+
+		if (!entry)
+		{
+			log_failure("gen::" "def_namespace_body" ": Provided an null entry");
+			return CodeInvalid;
+		}
+
+		switch (entry->Type)
+		{
+			GEN_AST_BODY_NAMESPACE_UNALLOWED_TYPES
+				log_failure("gen::" "def_namespace_body" ": Entry type is not allowed: %s", entry.debug_str());
+				return CodeInvalid;
+
+			default:
+			break;
+		}
+
+		result.append(entry);
+	}
+	while (num--, num > 0);
 	va_end(va);
 
 	return result;
@@ -1584,9 +1940,29 @@ CodeBody def_namespace_body( s32 num, Code* codes )
 	result       = (CodeBody) make_code();
 	result->Type = Global_Body;
 
-	def_body_code_array_validation_start( def_namespace_body );
-		GEN_AST_BODY_NAMESPACE_UNALLOWED_TYPES
-	def_body_code_validation_end( def_namespace_body );
+	do
+	{
+		Code entry = *codes;
+		codes++;
+
+		if (!entry)
+		{
+			log_failure("gen::" "def_namespace_body" ": Provided an null entry");
+			return CodeInvalid;
+		}
+
+		switch (entry->Type)
+		{
+			GEN_AST_BODY_NAMESPACE_UNALLOWED_TYPES
+				log_failure("gen::" "def_namespace_body" ": Entry type is not allowed: %s", entry.debug_str() );
+				return CodeInvalid;
+
+			default: break;
+		}
+
+		result.append(entry);
+	}
+	while (num--, num > 0);
 
 	return result;
 }
@@ -1736,9 +2112,30 @@ CodeBody def_struct_body( s32 num, ... )
 
 	va_list va;
 	va_start(va, num);
-	def_body_code_validation_start( def_struct_body );
-		GEN_AST_BODY_STRUCT_UNALLOWED_TYPES
-	def_body_code_validation_end( def_struct_body );
+	do
+	{
+		Code_POD pod   = va_arg(va, Code_POD);
+		Code     entry = pcast(Code, pod);
+
+		if (!entry)
+		{
+			log_failure("gen::" "def_struct_body" ": Provided an null entry");
+			return CodeInvalid;
+		}
+
+		switch (entry->Type)
+		{
+			GEN_AST_BODY_STRUCT_UNALLOWED_TYPES
+				log_failure("gen::" "def_struct_body" ": Entry type is not allowed: %s", entry.debug_str());
+				return CodeInvalid;
+
+			default:
+			break;
+		}
+
+		result.append(entry);
+	}
+	while (num--, num > 0);
 	va_end(va);
 
 	return result;
@@ -1752,9 +2149,30 @@ CodeBody def_struct_body( s32 num, Code* codes )
 	result       = (CodeBody) make_code();
 	result->Type = Struct_Body;
 
-	def_body_code_array_validation_start( def_struct_body );
-		GEN_AST_BODY_STRUCT_UNALLOWED_TYPES
-	def_body_code_validation_end( def_struct_body );
+	do
+	{
+		Code entry = *codes;
+		codes++;
+
+		if (!entry)
+		{
+			log_failure("gen::" "def_struct_body" ": Provided an null entry");
+			return CodeInvalid;
+		}
+
+		switch (entry->Type)
+		{
+			GEN_AST_BODY_STRUCT_UNALLOWED_TYPES
+				log_failure("gen::" "def_struct_body" ": Entry type is not allowed: %s", entry.debug_str() );
+				return CodeInvalid;
+
+			default:
+			break;
+		}
+
+		result.append(entry);
+	}
+	while (num--, num > 0);
 
 	return result;
 }
@@ -1782,7 +2200,7 @@ CodeBody def_union_body( s32 num, ... )
 
 		if ( entry->Type != Untyped && entry->Type != Comment )
 		{
-			log_failure("gen::def_union_body: Entry type is not allowed - %s. Must be of untyped or comment type.", entry.debug_str() ); \
+			log_failure("gen::def_union_body: Entry type is not allowed - %s. Must be of untyped or comment type.", entry.debug_str() );
 			return CodeInvalid;
 		}
 
@@ -1828,3 +2246,9 @@ CodeBody def_union_body( s32 num, CodeUnion* codes )
 #	undef name_check
 #	undef null_check
 #	undef null_or_invalid_check
+#	undef def_body_start
+#	undef def_body_code_array_start
+
+
+#pragma endregion Upfront
+

project/components/src_start.cpp

@@ -2,8 +2,11 @@
 #	error Gen.hpp : GEN_TIME not defined
 #endif
 
+#include "gen.hpp"
+
 //! If its desired to roll your own dependencies, define GEN_ROLL_OWN_DEPENDENCIES before including this file.
 //! Dependencies are derived from the c-zpl library: https://github.com/zpl-c/zpl
 #ifndef GEN_ROLL_OWN_DEPENDENCIES
 #	include "gen.dep.cpp"
 #endif
+

project/components/static_data.cpp

@@ -22,6 +22,48 @@ global AllocatorInfo Allocator_TypeTable   = heap();
 
 #pragma region Constants
 
+global Code access_public;
+global Code access_protected;
+global Code access_private;
+
+global CodeAttributes attrib_api_export;
+global CodeAttributes attrib_api_import;
+
+global Code module_global_fragment;
+global Code module_private_fragment;
+
+global Code fmt_newline;
+
+global CodeParam param_varadic;
+
+global CodePragma pragma_once;
+
+global CodePreprocessCond preprocess_else;
+global CodePreprocessCond preprocess_endif;
+
+global CodeSpecifiers spec_const;
+global CodeSpecifiers spec_consteval;
+global CodeSpecifiers spec_constexpr;
+global CodeSpecifiers spec_constinit;
+global CodeSpecifiers spec_extern_linkage;
+global CodeSpecifiers spec_final;
+global CodeSpecifiers spec_global;
+global CodeSpecifiers spec_inline;
+global CodeSpecifiers spec_internal_linkage;
+global CodeSpecifiers spec_local_persist;
+global CodeSpecifiers spec_mutable;
+global CodeSpecifiers spec_neverinline;
+global CodeSpecifiers spec_override;
+global CodeSpecifiers spec_ptr;
+global CodeSpecifiers spec_pure;
+global CodeSpecifiers spec_ref;
+global CodeSpecifiers spec_register;
+global CodeSpecifiers spec_rvalue;
+global CodeSpecifiers spec_static_member;
+global CodeSpecifiers spec_thread_local;
+global CodeSpecifiers spec_virtual;
+global CodeSpecifiers spec_volatile;
+
 global CodeType t_empty;
 global CodeType t_auto;
 global CodeType t_void;
@@ -52,39 +94,5 @@ global CodeType t_f32;
 global CodeType t_f64;
 #endif
 
-global CodeParam param_varadic;
-
-global CodeAttributes attrib_api_export;
-global CodeAttributes attrib_api_import;
-
-global Code access_public;
-global Code access_protected;
-global Code access_private;
-
-global Code module_global_fragment;
-global Code module_private_fragment;
-
-global Code pragma_once;
-
-global CodeSpecifiers spec_const;
-global CodeSpecifiers spec_consteval;
-global CodeSpecifiers spec_constexpr;
-global CodeSpecifiers spec_constinit;
-global CodeSpecifiers spec_extern_linkage;
-global CodeSpecifiers spec_final;
-global CodeSpecifiers spec_global;
-global CodeSpecifiers spec_inline;
-global CodeSpecifiers spec_internal_linkage;
-global CodeSpecifiers spec_local_persist;
-global CodeSpecifiers spec_mutable;
-global CodeSpecifiers spec_override;
-global CodeSpecifiers spec_ptr;
-global CodeSpecifiers spec_ref;
-global CodeSpecifiers spec_register;
-global CodeSpecifiers spec_rvalue;
-global CodeSpecifiers spec_static_member;
-global CodeSpecifiers spec_thread_local;
-global CodeSpecifiers spec_virtual;
-global CodeSpecifiers spec_volatile;
-
 #pragma endregion Constants
+

project/components/temp/Readme.md

@@ -0,0 +1,8 @@
+# Temporary Code
+
+These are heavy macro code used throughout the library thats intended to be replaced with codegen done with the library itself.
+
+The reason for this is to minimize macro generation to only trivial cases.  
+This makes the library more verbose but makes it easier to debug which is of higher priority.
+
+Any sort of verbosity cost will be mitigated with better docs and heavy usage of pragma regions.

project/components/temp/ast_inlines.hpp

@@ -0,0 +1,230 @@
+// This is the non-bootstraped version of the Common AST Implementation. This will be obsolete once bootstrap is stress tested.
+
+#pragma region AST Common
+
+#define Define_CodeImpl( Typename )                                                  \
+char const* Typename::debug_str()                                                    \
+{                                                                                    \
+	if ( ast == nullptr )                                                            \
+		return "Code::debug_str: AST is null!";                                      \
+	                                                                                 \
+	return rcast(AST*, ast)->debug_str();                                            \
+}                                                                                    \
+Code Typename::duplicate()														     \
+{                                                                                    \
+	if ( ast == nullptr )                                                            \
+	{                                                                                \
+		log_failure("Code::duplicate: Cannot duplicate code, AST is null!");         \
+		return Code::Invalid;                                                        \
+	}                                                                                \
+	                                                                                 \
+	return { rcast(AST*, ast)->duplicate() };                                        \
+}                                                                                    \
+bool Typename::is_equal( Code other )                                                \
+{                                                                                    \
+	if ( ast == nullptr || other.ast == nullptr )                                    \
+	{                                                                                \
+		log_failure("Code::is_equal: Cannot compare code, AST is null!");            \
+		return false;                                                                \
+	}                                                                                \
+                                                                                     \
+	return rcast(AST*, ast)->is_equal( other.ast );                                  \
+}                                                                                    \
+bool Typename::is_valid()                                                            \
+{                                                                                    \
+	return (AST*) ast != nullptr && rcast( AST*, ast)->Type != CodeT::Invalid;       \
+}                                                                                    \
+void Typename::set_global()                                                          \
+{                                                                                    \
+	if ( ast == nullptr )                                                            \
+	{                                                                                \
+		log_failure("Code::set_global: Cannot set code as global, AST is null!");    \
+		return;                                                                      \
+	}                                                                                \
+	                                                                                 \
+	rcast(AST*, ast)->Parent = Code::Global.ast;                                     \
+}                                                                                    \
+String Typename::to_string()													     \
+{                                                                                    \
+	if ( ast == nullptr )                                                            \
+	{                                                                                \
+	log_failure("Code::to_string: Cannot convert code to string, AST is null!");     \
+	return { nullptr };                                                              \
+	}                                                                                \
+	                                                                                 \
+	return rcast(AST*, ast)->to_string();                                            \
+}                                                                                    \
+Typename& Typename::operator =( Code other )                                         \
+{                                                                                    \
+	if ( other.ast && other->Parent )                                                \
+	{                                                                                \
+		ast = rcast( decltype(ast), other.ast->duplicate() );                        \
+		rcast( AST*, ast)->Parent = nullptr;                                         \
+	}                                                                                \
+                                                                                     \
+	ast = rcast( decltype(ast), other.ast );                                         \
+	return *this;                                                                    \
+}                                                                                    \
+bool Typename::operator ==( Code other )                                             \
+{                                                                                    \
+	return (AST*) ast == other.ast;                                                  \
+}                                                                                    \
+bool Typename::operator !=( Code other )                                             \
+{                                                                                    \
+	return (AST*) ast != other.ast;                                                  \
+}                                                                                    \
+Typename::operator bool()                                                            \
+{                                                                                    \
+	return ast != nullptr;                                                           \
+}
+
+#define Define_CodeType_Impl( Typename )                    \
+AST* Code##Typename::raw()                                  \
+{                                                           \
+	return rcast( AST*, ast );                              \
+}                                                           \
+Code##Typename::operator Code()                             \
+{                                                           \
+	return *rcast( Code*, this );                           \
+}                                                           \
+AST_##Typename* Code##Typename::operator->()                \
+{                                                           \
+	if ( ast == nullptr )                                   \
+	{                                                       \
+		log_failure( "Attempt to dereference a nullptr!" ); \
+		return nullptr;                                     \
+	}                                                       \
+	return ast;                                             \
+}                                                           \
+
+Define_CodeImpl( Code );
+Define_CodeImpl( CodeBody );
+Define_CodeImpl( CodeAttributes );
+Define_CodeImpl( CodeComment );
+Define_CodeImpl( CodeClass );
+Define_CodeImpl( CodeConstructor );
+Define_CodeImpl( CodeDefine );
+Define_CodeImpl( CodeDestructor );
+Define_CodeImpl( CodeEnum );
+Define_CodeImpl( CodeExec );
+Define_CodeImpl( CodeExtern );
+Define_CodeImpl( CodeInclude );
+Define_CodeImpl( CodeFriend );
+Define_CodeImpl( CodeFn );
+Define_CodeImpl( CodeModule );
+Define_CodeImpl( CodeNS );
+Define_CodeImpl( CodeOperator );
+Define_CodeImpl( CodeOpCast );
+Define_CodeImpl( CodeParam );
+Define_CodeImpl( CodePragma );
+Define_CodeImpl( CodePreprocessCond );
+Define_CodeImpl( CodeSpecifiers );
+Define_CodeImpl( CodeStruct );
+Define_CodeImpl( CodeTemplate );
+Define_CodeImpl( CodeType );
+Define_CodeImpl( CodeTypedef );
+Define_CodeImpl( CodeUnion );
+Define_CodeImpl( CodeUsing );
+Define_CodeImpl( CodeVar );
+
+Define_CodeType_Impl( Attributes );
+Define_CodeType_Impl( Comment );
+Define_CodeType_Impl( Constructor );
+Define_CodeType_Impl( Define );
+Define_CodeType_Impl( Destructor );
+Define_CodeType_Impl( Enum );
+Define_CodeType_Impl( Exec );
+Define_CodeType_Impl( Extern );
+Define_CodeType_Impl( Include );
+Define_CodeType_Impl( Friend );
+Define_CodeType_Impl( Fn );
+Define_CodeType_Impl( Module );
+Define_CodeType_Impl( NS );
+Define_CodeType_Impl( Operator );
+Define_CodeType_Impl( OpCast );
+Define_CodeType_Impl( Pragma );
+Define_CodeType_Impl( PreprocessCond );
+Define_CodeType_Impl( Template );
+Define_CodeType_Impl( Type );
+Define_CodeType_Impl( Typedef );
+Define_CodeType_Impl( Union );
+Define_CodeType_Impl( Using );
+Define_CodeType_Impl( Var );
+
+#undef Define_CodeImpl
+#undef Define_CodeType_Impl
+
+#define Define_AST_Cast( typename )              \
+AST::operator Code ## typename()                 \
+{                                                \
+	return { rcast( AST_ ## typename*, this ) }; \
+}
+
+Define_AST_Cast( Body );
+Define_AST_Cast( Attributes );
+Define_AST_Cast( Comment );
+Define_AST_Cast( Constructor );
+Define_AST_Cast( Class );
+Define_AST_Cast( Define );
+Define_AST_Cast( Destructor );
+Define_AST_Cast( Enum );
+Define_AST_Cast( Exec );
+Define_AST_Cast( Extern );
+Define_AST_Cast( Include );
+Define_AST_Cast( Friend );
+Define_AST_Cast( Fn );
+Define_AST_Cast( Module );
+Define_AST_Cast( NS );
+Define_AST_Cast( Operator );
+Define_AST_Cast( OpCast );
+Define_AST_Cast( Param );
+Define_AST_Cast( Pragma );
+Define_AST_Cast( PreprocessCond );
+Define_AST_Cast( Struct );
+Define_AST_Cast( Specifiers );
+Define_AST_Cast( Template );
+Define_AST_Cast( Type );
+Define_AST_Cast( Typedef );
+Define_AST_Cast( Union );
+Define_AST_Cast( Using );
+Define_AST_Cast( Var );
+#undef Define_AST_Cast
+
+#define Define_CodeCast( type )     \
+Code::operator Code ## type() const \
+{                                   \
+	return { (AST_ ## type*) ast }; \
+}
+
+Define_CodeCast( Attributes );
+Define_CodeCast( Comment );
+Define_CodeCast( Constructor );
+Define_CodeCast( Class );
+Define_CodeCast( Define );
+Define_CodeCast( Destructor );
+Define_CodeCast( Exec );
+Define_CodeCast( Enum );
+Define_CodeCast( Extern );
+Define_CodeCast( Include );
+Define_CodeCast( Friend );
+Define_CodeCast( Fn );
+Define_CodeCast( Module );
+Define_CodeCast( NS );
+Define_CodeCast( Operator );
+Define_CodeCast( OpCast );
+Define_CodeCast( Param );
+Define_CodeCast( Pragma );
+Define_CodeCast( PreprocessCond );
+Define_CodeCast( Specifiers );
+Define_CodeCast( Struct );
+Define_CodeCast( Template );
+Define_CodeCast( Type );
+Define_CodeCast( Typedef );
+Define_CodeCast( Union );
+Define_CodeCast( Using );
+Define_CodeCast( Var );
+Define_CodeCast( Body);
+#undef Define_CodeCast
+
+#pragma endregion AST Common
+

project/components/temp/ecode.hpp

@@ -5,6 +5,7 @@ namespace ECode
 #	define Define_Types           \
 	Entry( Invalid )              \
 	Entry( Untyped )              \
+	Entry( NewLine )              \
 	Entry( Comment )              \
 	Entry( Access_Private )       \
 	Entry( Access_Protected )     \
@@ -13,6 +14,10 @@ namespace ECode
 	Entry( Class )                \
 	Entry( Class_Fwd )            \
 	Entry( Class_Body )           \
+	Entry( Constructor )          \
+	Entry( Constructor_Fwd )      \
+	Entry( Destructor )		      \
+	Entry( Destructor_Fwd )       \
 	Entry( Enum )                 \
 	Entry( Enum_Fwd )             \
 	Entry( Enum_Body )            \
@@ -37,7 +42,15 @@ namespace ECode
 	Entry( Operator_Cast )		  \
 	Entry( Operator_Cast_Fwd )    \
 	Entry( Parameters )           \
-	Entry( Preprocessor_Include ) \
+	Entry( Preprocess_Define )    \
+	Entry( Preprocess_If )        \
+	Entry( Preprocess_IfDef )     \
+	Entry( Preprocess_IfNotDef )  \
+	Entry( Preprocess_ElIf )      \
+	Entry( Preprocess_Else )      \
+	Entry( Preprocess_EndIf )     \
+	Entry( Preprocess_Include )   \
+	Entry( Preprocess_Pragma )    \
 	Entry( Specifiers )           \
 	Entry( Struct )               \
 	Entry( Struct_Fwd )           \
@@ -45,8 +58,8 @@ namespace ECode
 	Entry( Template )             \
 	Entry( Typedef )              \
 	Entry( Typename )             \
-	Entry( Union )			      \
-	Entry( Union_Body) 		      \
+	Entry( Union )                \
+	Entry( Union_Body)            \
 	Entry( Using )                \
 	Entry( Using_Namespace )      \
 	Entry( Variable )
@@ -76,3 +89,4 @@ namespace ECode
 #	undef Define_Types
 }
 using CodeT = ECode::Type;
+

project/components/temp/eoperator.hpp

@@ -57,14 +57,14 @@ namespace EOperator
 	};
 
 	inline
-	char const* to_str( Type op )
+	StrC to_str( Type op )
 	{
 		local_persist
-		char const* lookup[ Num_Ops ] = {
-		#	define Entry( Type_, Token_ ) stringize(Token_),
+		StrC lookup[ Num_Ops ] = {
+		#	define Entry( Type_, Token_ ) { sizeof(stringize(Token_)), stringize(Token_) },
 			Define_Operators
 		#	undef Entry
-			","
+			txt_StrC(",")
 		};
 
 		return lookup[ op ];
@@ -73,3 +73,4 @@ namespace EOperator
 #	undef Define_Operators
 }
 using OperatorT = EOperator::Type;
+

project/components/temp/especifier.hpp

@@ -20,6 +20,7 @@ namespace ESpecifier
 	Entry( Internal_Linkage, internal )          \
 	Entry( Local_Persist,    local_persist )     \
 	Entry( Mutable,          mutable )           \
+	Entry( NeverInline,      neverinline )       \
 	Entry( Ptr,              * )                 \
 	Entry( Ref,              & )                 \
 	Entry( Register,         register )          \
@@ -30,7 +31,8 @@ namespace ESpecifier
 	Entry( Virtual,          virtual )           \
 	Entry( Const,            const )             \
 	Entry( Final,            final )             \
-	Entry( Override,         override )
+	Entry( Override,         override )          \
+	Entry( Pure,  		     = 0 )
 
 	enum Type : u32
 	{
@@ -56,9 +58,11 @@ namespace ESpecifier
 		#	pragma push_macro( "global" )
 		#	pragma push_macro( "internal" )
 		#	pragma push_macro( "local_persist" )
+		#	pragma push_macro( "neverinline" )
 		#	undef global
 		#	undef internal
 		#	undef local_persist
+		#	undef neverinline
 
 		#	define Entry( Spec_, Code_ ) { sizeof(stringize(Code_)), stringize(Code_) },
 			Define_Specifiers
@@ -67,6 +71,7 @@ namespace ESpecifier
 		#	pragma pop_macro( "global" )
 		#	pragma pop_macro( "internal" )
 		#	pragma pop_macro( "local_persist" )
+		#	pragma pop_macro( "neverinline" )
 		};
 
 		return lookup[ specifier ];
@@ -102,3 +107,4 @@ namespace ESpecifier
 #	undef Define_Specifiers
 }
 using SpecifierT = ESpecifier::Type;
+

project/components/temp/etoktype.cpp

@@ -0,0 +1,170 @@
+namespace Parser
+{
+/*
+	This is a simple lexer that focuses on tokenizing only tokens relevant to the library.
+	It will not be capable of lexing C++ code with unsupported features.
+
+	For the sake of scanning files, it can scan preprocessor directives
+
+	__Attributes_Start is only used to indicate the start of the user_defined attribute list.
+*/
+
+#ifndef GEN_DEFINE_ATTRIBUTE_TOKENS
+#	define GEN_DEFINE_ATTRIBUTE_TOKENS         \
+	Entry( API_Export, "GEN_API_Export_Code" ) \
+	Entry( API_Import, "GEN_API_Import_Code" )
+#endif
+
+#	define Define_TokType                                \
+	Entry( Invalid,                "INVALID" )           \
+	Entry( Access_Private,         "private" )           \
+	Entry( Access_Protected,       "protected" )         \
+	Entry( Access_Public,          "public" )            \
+	Entry( Access_MemberSymbol,    "." )                 \
+	Entry( Access_StaticSymbol,    "::")                 \
+	Entry( Ampersand,              "&" )                 \
+	Entry( Ampersand_DBL,          "&&" )                \
+	Entry( Assign_Classifer,       ":" )                 \
+	Entry( Attribute_Open, 	       "[[" )                \
+	Entry( Attribute_Close,        "]]" )                \
+	Entry( BraceCurly_Open,        "{" )                 \
+	Entry( BraceCurly_Close,       "}" )                 \
+	Entry( BraceSquare_Open,       "[" )                 \
+	Entry( BraceSquare_Close,      "]" )                 \
+	Entry( Capture_Start,          "(" )                 \
+	Entry( Capture_End,            ")" )                 \
+	Entry( Comment,                "__comment__" )       \
+	Entry( Comment_End,            "__comment_end__" )   \
+	Entry( Comment_Start,          "__comment start__" ) \
+	Entry( Char,                   "__character__" )     \
+	Entry( Comma,                  "," )                 \
+	Entry( Decl_Class,             "class" )             \
+	Entry( Decl_GNU_Attribute,     "__attribute__" )     \
+	Entry( Decl_MSVC_Attribute,    "__declspec" )        \
+	Entry( Decl_Enum,              "enum" )              \
+	Entry( Decl_Extern_Linkage,    "extern" )            \
+	Entry( Decl_Friend,            "friend" )            \
+	Entry( Decl_Module,            "module" )            \
+	Entry( Decl_Namespace,         "namespace" )         \
+	Entry( Decl_Operator,          "operator" )          \
+	Entry( Decl_Struct,            "struct" )            \
+	Entry( Decl_Template,          "template" )          \
+	Entry( Decl_Typedef,           "typedef" )           \
+	Entry( Decl_Using,             "using" )             \
+	Entry( Decl_Union,             "union" )             \
+	Entry( Identifier,             "__identifier__" )    \
+	Entry( Module_Import,          "import" )            \
+	Entry( Module_Export,          "export" )            \
+	Entry( NewLine,                "__NewLine__" )       \
+	Entry( Number,                 "__number__" )        \
+	Entry( Operator,               "__operator__" )      \
+	Entry( Preprocess_Hash,        "#" )                 \
+	Entry( Preprocess_Define,      "define")             \
+	Entry( Preprocess_If,          "if")                 \
+	Entry( Preprocess_IfDef,       "ifdef")              \
+	Entry( Preprocess_IfNotDef,    "ifndef")             \
+	Entry( Preprocess_ElIf,        "elif")               \
+	Entry( Preprocess_Else,        "else")               \
+	Entry( Preprocess_EndIf,       "endif")              \
+	Entry( Preprocess_Include,     "include" )           \
+	Entry( Preprocess_Pragma,      "pragma")             \
+	Entry( Preprocess_Content,     "__macro_content__")  \
+	Entry( Preprocess_Macro,       "__macro__")          \
+	Entry( Preprocess_Unsupported, "__unsupported__" )   \
+	Entry( Spec_Alignas,           "alignas" )           \
+	Entry( Spec_Const,             "const" )             \
+	Entry( Spec_Consteval,         "consteval" )         \
+	Entry( Spec_Constexpr,         "constexpr" )         \
+	Entry( Spec_Constinit,         "constinit" )         \
+	Entry( Spec_Explicit,          "explicit" )          \
+	Entry( Spec_Extern,            "extern" )            \
+	Entry( Spec_Final,             "final" )             \
+	Entry( Spec_Global,            "global" )            \
+	Entry( Spec_Inline,            "inline" )            \
+	Entry( Spec_Internal_Linkage,  "internal" )          \
+	Entry( Spec_LocalPersist,      "local_persist" )     \
+	Entry( Spec_Mutable,           "mutable" )           \
+	Entry( Spec_NeverInline,       "neverinline" )       \
+	Entry( Spec_Override,          "override" )          \
+	Entry( Spec_Static,            "static" )            \
+	Entry( Spec_ThreadLocal,       "thread_local" )      \
+	Entry( Spec_Virtual, 		   "virtual" )           \
+	Entry( Spec_Volatile,          "volatile")           \
+	Entry( Star,                   "*" )                 \
+	Entry( Statement_End,          ";" )                 \
+	Entry( StaticAssert,           "static_assert" )     \
+	Entry( String,                 "__string__" )        \
+	Entry( Type_Unsigned,          "unsigned" )          \
+	Entry( Type_Signed,            "signed" )            \
+	Entry( Type_Short,             "short" )             \
+	Entry( Type_Long,              "long" )              \
+	Entry( Type_char,              "char" )              \
+	Entry( Type_int,               "int" )               \
+	Entry( Type_double,            "double" )            \
+	Entry( Type_MS_int8,           "__int8" )            \
+	Entry( Type_MS_int16,          "__int16" )           \
+	Entry( Type_MS_int32,          "__int32" )           \
+	Entry( Type_MS_int64,          "__int64" )           \
+	Entry( Type_MS_W64,            "_W64" )              \
+	Entry( Varadic_Argument,       "..." )               \
+	Entry( __Attributes_Start,     "__attrib_start__" )
+
+	namespace ETokType
+	{
+		enum Type : u32
+		{
+		#	define Entry( Name_, Str_ ) Name_,
+			Define_TokType
+			GEN_DEFINE_ATTRIBUTE_TOKENS
+		#	undef Entry
+			NumTokens,
+		};
+
+		internal inline
+		Type to_type( StrC str_tok )
+		{
+			local_persist
+			StrC lookup[(u32)NumTokens] =
+			{
+			#	define Entry( Name_, Str_ ) { sizeof(Str_), Str_ },
+				Define_TokType
+				GEN_DEFINE_ATTRIBUTE_TOKENS
+			#	undef Entry
+			};
+
+			for ( u32 index = 0; index < (u32)NumTokens; index++ )
+			{
+				s32         lookup_len = lookup[index].Len - 1;
+				char const* lookup_str = lookup[index].Ptr;
+
+				if ( lookup_len != str_tok.Len )
+					continue;
+
+				if ( str_compare( str_tok.Ptr, lookup_str, lookup_len ) == 0 )
+					return scast(Type, index);
+			}
+
+			return Invalid;
+		}
+
+		internal inline
+		StrC to_str( Type type )
+		{
+			local_persist
+			StrC lookup[(u32)NumTokens] =
+			{
+			#	define Entry( Name_, Str_ ) { sizeof(Str_), Str_ },
+				Define_TokType
+				GEN_DEFINE_ATTRIBUTE_TOKENS
+			#	undef Entry
+			};
+
+			return lookup[(u32)type];
+		}
+	#	undef Define_TokType
+	};
+
+	using TokType = ETokType::Type;
+
+} // Parser
+

project/components/types.hpp

@@ -3,21 +3,11 @@ using LogFailType = sw(*)(char const*, ...);
 // By default this library will either crash or exit if an error is detected while generating codes.
 // Even if set to not use fatal, fatal will still be used for memory failures as the library is unusable when they occur.
 #ifdef GEN_DONT_USE_FATAL
-	constexpr LogFailType log_failure = log_fmt;
+	#define log_failure log_fmt
 #else
-	constexpr LogFailType log_failure = fatal;
+	#define log_failure fatal
 #endif
 
-// Used to indicate if enum definitoin is an enum class or regular enum.
-enum class EnumT : u8
-{
-	Regular,
-	Class
-};
-
-constexpr EnumT EnumClass   = EnumT::Class;
-constexpr EnumT EnumRegular = EnumT::Regular;
-
 enum class AccessSpec : u32
 {
 	Default,
@@ -46,6 +36,17 @@ char const* to_str( AccessSpec type )
 	return lookup[ (u32)type ];
 }
 
+// Used to indicate if enum definitoin is an enum class or regular enum.
+enum class EnumT : u8
+{
+	Regular,
+	Class
+};
+
+constexpr EnumT EnumClass   = EnumT::Class;
+constexpr EnumT EnumRegular = EnumT::Regular;
+
+
 enum class ModuleFlag : u32
 {
 	None    = 0,
@@ -62,6 +63,19 @@ ModuleFlag operator|( ModuleFlag A, ModuleFlag B)
 	return (ModuleFlag)( (u32)A | (u32)B );
 }
 
+enum class EPreprocessCond : u32
+{
+	If,
+	IfDef,
+	IfNotDef,
+	ElIf
+};
+
+constexpr EPreprocessCond PreprocessCond_If       = EPreprocessCond::If;
+constexpr EPreprocessCond PreprocessCond_IfDef    = EPreprocessCond::IfDef;
+constexpr EPreprocessCond PreprocessCond_IfNotDef = EPreprocessCond::IfNotDef;
+constexpr EPreprocessCond PreprocessCond_ElIf     = EPreprocessCond::ElIf;
+
 /*
 	Predefined attributes
 	Used for the parser constructors to identify non-standard attributes
@@ -99,4 +113,13 @@ constexpr char const* Attribute_Keyword = stringize( GEN_Attribute_Keyword );
 #endif
 
 constexpr char const* Attribute_Keyword = "";
+
 #endif
+
+// Implements basic string interning. Data structure is based off the ZPL Hashtable.
+using StringTable = HashTable<String const>;
+
+// Represents strings cached with the string table.
+// Should never be modified, if changed string is desired, cache_string( str ) another.
+using StringCached = String const;
+

project/components/untyped.cpp

@@ -99,17 +99,35 @@ sw token_fmt_va( char* buf, uw buf_size, s32 num_tokens, va_list va )
 
 Code untyped_str( StrC content )
 {
+	if ( content.Len == 0 )
+	{
+		log_failure( "untyped_str: empty string" );
+		return CodeInvalid;
+	}
+
 	Code
 	result          = make_code();
 	result->Name    = get_cached_string( content );
 	result->Type    = ECode::Untyped;
 	result->Content = result->Name;
 
+	if ( result->Name == nullptr )
+	{
+		log_failure( "untyped_str: could not cache string" );
+		return CodeInvalid;
+	}
+
 	return result;
 }
 
 Code untyped_fmt( char const* fmt, ...)
 {
+	if ( fmt == nullptr )
+	{
+		log_failure( "untyped_fmt: null format string" );
+		return CodeInvalid;
+	}
+
 	local_persist thread_local
 	char buf[GEN_PRINTF_MAXLEN] = { 0 };
 
@@ -124,11 +142,23 @@ Code untyped_fmt( char const* fmt, ...)
 	result->Type    = ECode::Untyped;
 	result->Content = get_cached_string( { length, buf } );
 
+	if ( result->Name == nullptr )
+	{
+		log_failure( "untyped_fmt: could not cache string" );
+		return CodeInvalid;
+	}
+
 	return result;
 }
 
 Code untyped_token_fmt( s32 num_tokens, ... )
 {
+	if ( num_tokens == 0 )
+	{
+		log_failure( "untyped_token_fmt: zero tokens" );
+		return CodeInvalid;
+	}
+
 	local_persist thread_local
 	char buf[GEN_PRINTF_MAXLEN] = { 0 };
 
@@ -143,5 +173,12 @@ Code untyped_token_fmt( s32 num_tokens, ... )
 	result->Type    = ECode::Untyped;
 	result->Content = result->Name;
 
+	if ( result->Name == nullptr )
+	{
+		log_failure( "untyped_fmt: could not cache string" );
+		return CodeInvalid;
+	}
+
 	return result;
 }
+

project/dependencies/basic_types.hpp

@@ -117,4 +117,5 @@ typedef s8  b8;
 typedef s16 b16;
 typedef s32 b32;
 
-#pragma region Basic Types
+#pragma endregion Basic Types
+

project/dependencies/containers.hpp

@@ -424,9 +424,16 @@ struct HashTable
 
 		for ( idx = 0; idx < Entries.num(); idx++ )
 		{
-			Entry* entry;
-
+			Entry*     entry;
 			FindResult find_result;
+
+			entry       = & Entries[ idx ];
+			find_result = find( entry->Key );
+
+			if ( find_result.PrevIndex < 0 )
+				Hashes[ find_result.HashIndex ] = idx;
+			else
+				Entries[ find_result.PrevIndex ].Next = idx;
 		}
 	}
 
@@ -533,3 +540,4 @@ protected:
 };
 
 #pragma endregion Containers
+

project/dependencies/debug.cpp

@@ -1,4 +1,4 @@
-#pragma endregion Debug
+#pragma region Debug
 
 void assert_handler( char const* condition, char const* file, s32 line, char const* msg, ... )
 {
@@ -39,3 +39,4 @@ s32 assert_crash( char const* condition )
 #endif
 
 #pragma endregion Debug
+

project/dependencies/debug.hpp

@@ -1,4 +1,4 @@
-#pragma endregion Debug
+#pragma region Debug
 
 #if defined( _MSC_VER )
 #	if _MSC_VER < 1300
@@ -33,4 +33,27 @@ void assert_handler( char const* condition, char const* file, s32 line, char con
 s32  assert_crash( char const* condition );
 void process_exit( u32 code );
 
+#if Build_Debug
+	#define fatal( fmt, ... )                              \
+	do                                                     \
+	{                                                      \
+		local_persist thread_local                         \
+		char buf[GEN_PRINTF_MAXLEN] = { 0 };               \
+													       \
+		str_fmt(buf, GEN_PRINTF_MAXLEN, fmt, __VA_ARGS__); \
+		GEN_PANIC(buf);                                    \
+	}                                                      \
+	while (0)
+#else
+
+#	define fatal( fmt, ... )						 \
+	do                                               \
+	{												 \
+		str_fmt_out_err_va( fmt, __VA_ARGS__ );      \
+		process_exit(1);                             \
+	}             					                 \
+	while (0)
+#endif
+
 #pragma endregion Debug
+

project/dependencies/file_handling.cpp

@@ -224,7 +224,7 @@ internal GEN_FILE_CLOSE_PROC( _posix_file_close )
 
 FileOperations const default_file_operations = { _posix_file_read, _posix_file_write, _posix_file_seek, _posix_file_close };
 
-GEN_NEVER_INLINE GEN_FILE_OPEN_PROC( _posix_file_open )
+neverinline GEN_FILE_OPEN_PROC( _posix_file_open )
 {
 	s32 os_mode;
 	switch ( mode & GEN_FILE_MODES )
@@ -634,3 +634,4 @@ internal GEN_FILE_CLOSE_PROC( _memory_file_close )
 FileOperations const memory_file_operations = { _memory_file_read, _memory_file_write, _memory_file_seek, _memory_file_close };
 
 #pragma endregion File Handling
+

project/dependencies/file_handling.hpp

@@ -370,3 +370,4 @@ u8* file_stream_buf( FileInfo* file, sw* size );
 extern FileOperations const memory_file_operations;
 
 #pragma endregion File Handling
+

project/dependencies/hashing.cpp

@@ -82,4 +82,5 @@ u64 crc64( void const* data, sw len )
 	return result;
 }
 
-#pragma region Hashing
+#pragma endregion Hashing
+

project/dependencies/hashing.hpp

@@ -4,3 +4,4 @@ u32 crc32( void const* data, sw len );
 u64 crc64( void const* data, sw len );
 
 #pragma endregion Hashing
+

project/dependencies/header_start.hpp

@@ -122,10 +122,21 @@
 #pragma endregion Platform Detection
 
 #pragma region Mandatory Includes
+
 #	include <stdarg.h>
 #	include <stddef.h>
 
 #	if defined( GEN_SYSTEM_WINDOWS )
 #		include <intrin.h>
 #	endif
+
 #pragma endregion Mandatory Includes
+
+#ifdef GEN_DONT_USE_NAMESPACE
+#	define GEN_NS_BEGIN
+#	define GEN_NS_END
+#else
+#	define GEN_NS_BEGIN namespace gen {
+#	define GEN_NS_END   }
+#endif
+

project/dependencies/macros.hpp

@@ -14,6 +14,7 @@
 #define bitfield_is_equal( Type, Field, Mask ) ( (Type(Mask) & Type(Field)) == Type(Mask) )
 
 // Casting
+
 #define ccast( Type, Value ) ( * const_cast< Type* >( & (Value) ) )
 #define pcast( Type, Value ) ( * reinterpret_cast< Type* >( & ( Value ) ) )
 #define rcast( Type, Value ) reinterpret_cast< Type >( Value )
@@ -21,38 +22,66 @@
 
 // Num Arguments (Varadics)
 #if defined(__GNUC__) || defined(__clang__)
-// Supports 0-10 arguments
-#define num_args_impl( _0,                                \
-		_1,  _2,  _3,  _4,  _5,  _6,  _7,  _8,  _9, _10,  \
-		_11, _12, _13, _14, _15, _16, _17, _18, _19, _20, \
-		N, ...                                            \
+// Supports 0-50 arguments
+#define num_args_impl( _0,                                 \
+		_1,  _2,  _3,  _4,  _5,  _6,  _7,  _8,  _9, _10,   \
+		_11, _12, _13, _14, _15, _16, _17, _18, _19, _20,  \
+		_21, _22, _23, _24, _25, _26, _27, _28, _29, _30,  \
+		_31, _32, _33, _34, _35, _36, _37, _38, _39, _40,  \
+		_41, _42, _43, _44, _45, _46, _47, _48, _49, _50,  \
+		_51, _52, _53, _54, _55, _56, _57, _58, _59, _60,  \
+		_61, _62, _63, _64, _65, _66, _67, _68, _69, _70,  \
+		_71, _72, _73, _74, _75, _76, _77, _78, _79, _80,  \
+		_81, _82, _83, _84, _85, _86, _87, _88, _89, _90,  \
+		_91, _92, _93, _94, _95, _96, _97, _98, _99, _100, \
+		N, ...                                             \
 	) N
-	// _21, _22, _23, _24, _25, _26, _27, _28, _29, _30, \
-	// _31, _32, _33, _34, _35, _36, _37, _38, _39, _40, \
-	// _41, _42, _43, _44, _45, _46, _47, _48, _49, _50,
 
 	// ## deletes preceding comma if _VA_ARGS__ is empty (GCC, Clang)
-#define num_args(...)                           \
-	num_args_impl(_, ## __VA_ARGS__,            \
-		20, 19, 18, 17, 16, 15, 14, 13, 12, 11, \
-		10,  9,  8,  7,  6,  5,  4,  3,  2,  1, \
-		0                                       \
+#define num_args(...)                            \
+	num_args_impl(_, ## __VA_ARGS__,             \
+		100, 99, 98, 97, 96, 95, 94, 93, 92, 91, \
+		 90, 89, 88, 87, 86, 85, 84, 83, 82, 81, \
+		 80, 79, 78, 77, 76, 75, 74, 73, 72, 71, \
+		 70, 69, 68, 67, 66, 65, 64, 63, 62, 61, \
+		 60, 59, 58, 57, 56, 55, 54, 53, 52, 51, \
+		 50, 49, 48, 47, 46, 45, 44, 43, 42, 41, \
+		 40, 39, 38, 37, 36, 35, 34, 33, 32, 31, \
+		 30, 29, 28, 27, 26, 25, 24, 23, 22, 21, \
+		 20, 19, 18, 17, 16, 15, 14, 13, 12, 11, \
+		 10,  9,  8,  7,  6,  5,  4,  3,  2,  1, \
+		 0                                       \
 	)
-	// 50, 49, 48, 47, 46, 45, 44, 43, 42, 41,              \
-	// 40, 39, 38, 37, 36, 35, 34, 33, 32, 31,              \
-	// 30, 29, 28, 27, 26, 25, 24, 23, 22, 21,
+
 #else
-// Supports 1-10 arguments
-#define num_args_impl(                                    \
-		_1,  _2,  _3,  _4,  _5,  _6,  _7,  _8,  _9, _10,  \
-		_11, _12, _13, _14, _15, _16, _17, _18, _19, _20, \
-		N, ...                                            \
+// Supports 1-50 arguments
+#define num_args_impl(                                     \
+		_1,  _2,  _3,  _4,  _5,  _6,  _7,  _8,  _9, _10,   \
+		_11, _12, _13, _14, _15, _16, _17, _18, _19, _20,  \
+		_21, _22, _23, _24, _25, _26, _27, _28, _29, _30,  \
+		_31, _32, _33, _34, _35, _36, _37, _38, _39, _40,  \
+		_41, _42, _43, _44, _45, _46, _47, _48, _49, _50,  \
+		_51, _52, _53, _54, _55, _56, _57, _58, _59, _60,  \
+		_61, _62, _63, _64, _65, _66, _67, _68, _69, _70,  \
+		_71, _72, _73, _74, _75, _76, _77, _78, _79, _80,  \
+		_81, _82, _83, _84, _85, _86, _87, _88, _89, _90,  \
+		_91, _92, _93, _94, _95, _96, _97, _98, _99, _100, \
+		N, ...                                             \
 	) N
 
-#define num_args(...)                           \
-	num_args_impl( __VA_ARGS__,                 \
-		20, 19, 18, 17, 16, 15, 14, 13, 12, 11, \
-		10,  9,  8,  7,  6,  5,  4,  3,  2,  1  \
+#define num_args(...)                            \
+	num_args_impl( __VA_ARGS__,                  \
+		100, 99, 98, 97, 96, 95, 94, 93, 92, 91, \
+		 90, 89, 88, 87, 86, 85, 84, 83, 82, 81, \
+		 80, 79, 78, 77, 76, 75, 74, 73, 72, 71, \
+		 70, 69, 68, 67, 66, 65, 64, 63, 62, 61, \
+		 60, 59, 58, 57, 56, 55, 54, 53, 52, 51, \
+		 50, 49, 48, 47, 46, 45, 44, 43, 42, 41, \
+		 50, 49, 48, 47, 46, 45, 44, 43, 42, 41, \
+		 40, 39, 38, 37, 36, 35, 34, 33, 32, 31, \
+		 30, 29, 28, 27, 26, 25, 24, 23, 22, 21, \
+		 20, 19, 18, 17, 16, 15, 14, 13, 12, 11, \
+		 10,  9,  8,  7,  6,  5,  4,  3,  2,  1  \
 	)
 #endif
 
@@ -86,6 +115,9 @@
 	}                      \
 	while(0);
 
+#define labeled_scope_start if ( false ) {
+#define labeled_scope_end   }
+
 #define clamp( x, lower, upper )      min( max( ( x ), ( lower ) ), ( upper ) )
 #define count_of( x )                 ( ( size_of( x ) / size_of( 0 [ x ] ) ) / ( ( sw )( ! ( size_of( x ) % size_of( 0 [ x ] ) ) ) ) )
 #define is_between( x, lower, upper ) ( ( ( lower ) <= ( x ) ) && ( ( x ) <= ( upper ) ) )
@@ -102,3 +134,4 @@ void swap( Type& a, Type& b )
 }
 
 #pragma endregion Macros
+

project/dependencies/memory.cpp

@@ -387,3 +387,4 @@ void Pool::clear()
 }
 
 #pragma endregion Memory
+

project/dependencies/memory.hpp

@@ -484,3 +484,4 @@ struct Pool
 };
 
 #pragma endregion Memory
+

project/dependencies/parsing.cpp

@@ -799,7 +799,6 @@ ADT_Error adt_str_to_number_strict( ADT_Node* node )
 #	define GEN_CSV_ASSERT( msg )
 #endif
 
-
 u8 csv_parse_delimiter( CSV_Object* root, char* text, AllocatorInfo allocator, b32 has_header, char delim )
 {
 	CSV_Error error = ECSV_Error__NONE;
@@ -1104,3 +1103,4 @@ String csv_write_string_delimiter( AllocatorInfo a, CSV_Object* obj, char delimi
 }
 
 #pragma endregion CSV
+

project/dependencies/parsing.hpp

@@ -423,3 +423,4 @@ GEN_IMPL_INLINE String csv_write_string( AllocatorInfo a, CSV_Object* obj )
 }
 
 #pragma endregion CSV
+

project/dependencies/printing.cpp

@@ -541,6 +541,16 @@ sw str_fmt_file( struct FileInfo* f, char const* fmt, ... )
 	return res;
 }
 
+sw str_fmt( char* str, sw n, char const* fmt, ... )
+{
+	sw      res;
+	va_list va;
+	va_start( va, fmt );
+	res = str_fmt_va( str, n, fmt, va );
+	va_end( va );
+	return res;
+}
+
 sw str_fmt_out_va( char const* fmt, va_list va )
 {
 	return str_fmt_file_va( file_get_standard( EFileStandard_OUTPUT ), fmt, va );
@@ -562,3 +572,4 @@ sw str_fmt_out_err( char const* fmt, ... )
 }
 
 #pragma endregion Printing
+

project/dependencies/printing.hpp

@@ -9,13 +9,11 @@ struct FileInfo;
 // NOTE: A locally persisting buffer is used internally
 char* str_fmt_buf       ( char const* fmt, ... );
 char* str_fmt_buf_va    ( char const* fmt, va_list va );
+sw    str_fmt           ( char* str, sw n, char const* fmt, ... );
 sw    str_fmt_va        ( char* str, sw n, char const* fmt, va_list va );
 sw    str_fmt_out_va    ( char const* fmt, va_list va );
 sw    str_fmt_out_err   ( char const* fmt, ... );
 sw    str_fmt_out_err_va( char const* fmt, va_list va );
-
-// TODO : Move these to file handling.
-
 sw    str_fmt_file      ( FileInfo* f, char const* fmt, ... );
 sw    str_fmt_file_va   ( FileInfo* f, char const* fmt, va_list va );
 
@@ -35,29 +33,5 @@ sw log_fmt(char const* fmt, ...)
 	return res;
 }
 
-inline
-sw fatal(char const* fmt, ...)
-{
-	local_persist thread_local
-	char buf[GEN_PRINTF_MAXLEN] = { 0 };
-
-	va_list va;
-
-#if Build_Debug
-	va_start(va, fmt);
-	str_fmt_va(buf, GEN_PRINTF_MAXLEN, fmt, va);
-	va_end(va);
-
-	assert_crash(buf);
-	return -1;
-#else
-	va_start(va, fmt);
-	str_fmt_out_err_va( fmt, va);
-	va_end(va);
-
-	exit(1);
-	return -1;
-#endif
-}
-
 #pragma endregion Printing
+

project/dependencies/src_start.cpp

@@ -78,3 +78,4 @@
 #endif
 
 #pragma endregion Macros and Includes
+

project/dependencies/string.cpp

@@ -37,3 +37,4 @@ bool String::append_fmt( char const* fmt, ... )
 }
 
 #pragma endregion String
+

project/dependencies/string.hpp

@@ -373,3 +373,4 @@ struct String_POD
 static_assert( sizeof( String_POD ) == sizeof( String ), "String is not a POD" );
 
 #pragma endregion String
+

project/dependencies/string_ops.cpp

@@ -207,3 +207,4 @@ f64 str_to_f64( const char* str, char** end_ptr )
 }
 
 #pragma endregion String Ops
+

project/dependencies/string_ops.hpp

@@ -260,3 +260,4 @@ GEN_IMPL_INLINE void str_to_upper( char* str )
 }
 
 #pragma endregion String Ops
+

project/dependencies/timing.cpp

@@ -160,3 +160,4 @@
 #endif
 
 #pragma endregion Timing
+

project/dependencies/timing.hpp

@@ -12,3 +12,4 @@ u64 time_rel_ms( void );
 #endif
 
 #pragma endregion Timing
+

project/enums/ECode.csv

@@ -1,5 +1,6 @@
 Invalid
 Untyped
+NewLine
 Comment
 Access_Private
 Access_Protected
@@ -8,6 +9,10 @@ PlatformAttributes
 Class
 Class_Fwd
 Class_Body
+Constructor
+Constructor_Fwd
+Destructor
+Destructor_Fwd
 Enum
 Enum_Fwd
 Enum_Body
@@ -32,7 +37,15 @@ Operator_Member_Fwd
 Operator_Cast
 Operator_Cast_Fwd
 Parameters
-Preprocessor_Include
+Preprocess_Define
+Preprocess_Include
+Preprocess_If
+Preprocess_IfDef
+Preprocess_IfNotDef
+Preprocess_ElIf
+Preprocess_Else
+Preprocess_EndIf
+Preprocess_Pragma
 Specifiers
 Struct
 Struct_Fwd

project/enums/ESpecifier.csv

@@ -9,6 +9,7 @@ Inline,           inline
 Internal_Linkage, internal
 Local_Persist,    local_persist
 Mutable,          mutable
+NeverInline,      neverinline
 Ptr,              *
 Ref,              &
 Register,         register
@@ -20,3 +21,4 @@ Virtual,          virtual
 Const,            const
 Final,            final
 Override,         override
+Pure,             = 0

project/enums/ETokType.csv

@@ -7,16 +7,18 @@ Access_StaticSymbol,    "::"
 Ampersand,              "&"
 Ampersand_DBL,          "&&"
 Assign_Classifer,       ":"
-Attribute_Open, 	    "[["
-Attribute_Close, 	    "]]"
+Attribute_Open,         "[["
+Attribute_Close,        "]]"
 BraceCurly_Open,        "{"
 BraceCurly_Close,       "}"
 BraceSquare_Open,       "["
 BraceSquare_Close,      "]"
 Capture_Start,          "("
 Capture_End,            ")"
-Comment,                "comemnt"
-Char,                   "character"
+Comment,                "__comemnt__"
+Comment_End,            "__comment_end__"
+Comment_Start,          "__comment_start__"
+Char,                   "__character__"
 Comma,                  ","
 Decl_Class,             "class"
 Decl_GNU_Attribute,     "__attribute__"
@@ -32,43 +34,59 @@ Decl_Template,          "template"
 Decl_Typedef,           "typedef"
 Decl_Using,             "using"
 Decl_Union,             "union"
-Identifier,             "identifier"
+Identifier,             "__identifier__"
 Module_Import,          "import"
 Module_Export,          "export"
-Number,                 "number"
-Operator,               "operator"
-Preprocess_Define,      "#define"
-Preprocess_Include,     "#include"
-Preprocess_If,          "#if"
-Preprocess_ElIF,		"#elif"
-Preprocess_Else,        "#else"
-Preprocess_EndIf,       "#endif"
+NewLine,                "__new_line__"
+Number,                 "__number__"
+Operator,               "__operator__"
+Preprocess_Hash,        "#"
+Preprocess_Define,      "define"
+Preprocess_If,          "if"
+Preprocess_IfDef,       "ifdef"
+Preprocess_IfNotDef,    "ifndef"
+Preprocess_ElIf,        "elif"
+Preprocess_Else,        "else"
+Preprocess_EndIf,       "endif"
+Preprocess_Include,     "include"
+Preprocess_Pragma,      "pragma"
+Preprocess_Content,	    "__macro_content__"
+Preprocess_Macro,       "__macro__"
+Preprocess_Unsupported, "__unsupported__"
 Spec_Alignas,           "alignas"
 Spec_Const,             "const"
 Spec_Consteval,         "consteval"
 Spec_Constexpr,         "constexpr"
 Spec_Constinit,         "constinit"
-Spec_Explicit, 		    "explicit"
+Spec_Explicit,          "explicit"
 Spec_Extern,            "extern"
-Spec_Final, 		    "final"
-Spec_Global, 		    "global"
+Spec_Final,             "final"
+Spec_Global,            "global"
 Spec_Inline,            "inline"
 Spec_Internal_Linkage,  "internal"
 Spec_LocalPersist,      "local_persist"
 Spec_Mutable,           "mutable"
+Spec_NeverInline,       "neverinline"
 Spec_Override,          "override"
 Spec_Static,            "static"
 Spec_ThreadLocal,       "thread_local"
 Spec_Volatile,          "volatile"
+Spec_Virtual,           "virtual"
 Star,                   "*"
 Statement_End,          ";"
-String,                 "string"
-Type_Unsigned, 	        "unsigned"
+StaticAssert,           "static_assert"
+String,                 "__string__"
+Type_Unsigned,          "unsigned"
 Type_Signed,            "signed"
 Type_Short,             "short"
 Type_Long,              "long"
-Type_char, 			    "char"
-Type_int, 			    "int"
-Type_double, 		    "double"
+Type_char,              "char"
+Type_int,               "int"
+Type_double,            "double"
+Type_MS_int8,           "__int8"
+Type_MS_int16,          "__int16"
+Type_MS_int32,          "__int32"
+Type_MS_int64,          "__int64"
+Type_MS_W64,            "_W64"
 Varadic_Argument,       "..."
-Attributes_Start,       "__attrib_start__"
+__Attributes_Start,     "__attrib_start__"

project/file_processors/builder.cpp

@@ -1,6 +1,28 @@
+Builder Builder::open( char const* path )
+{
+	Builder result;
+
+	FileError error = file_open_mode( & result.File, EFileMode_WRITE, path );
+
+	if ( error != EFileError_NONE )
+	{
+		log_failure( "gen::File::open - Could not open file: %s", path);
+		return result;
+	}
+
+	result.Buffer = String::make_reserve( GlobalAllocator, Builder_StrBufferReserve );
+
+	return result;
+}
+
+void Builder::pad_lines( s32 num )
+{
+	Buffer.append( "\n" );
+}
+
 void Builder::print( Code code )
 {
-	Buffer.append_fmt( "%s\n", code->to_string() );
+	Buffer.append( code->to_string() );
 }
 
 void Builder::print_fmt( char const* fmt, ... )
@@ -16,21 +38,6 @@ void Builder::print_fmt( char const* fmt, ... )
 	Buffer.append( buf, res );
 }
 
-bool Builder::open( char const* path )
-{
-	FileError error = file_open_mode( & File, EFileMode_WRITE, path );
-
-	if ( error != EFileError_NONE )
-	{
-		log_failure( "gen::File::open - Could not open file: %s", path);
-		return false;
-	}
-
-	Buffer = String::make_reserve( GlobalAllocator, Builder_StrBufferReserve );
-
-	return true;
-}
-
 void Builder::write()
 {
 	bool result = file_write( & File, Buffer, Buffer.length() );

project/file_processors/builder.hpp

@@ -3,9 +3,13 @@ struct Builder
 	FileInfo File;
 	String   Buffer;
 
+	static Builder open( char const* path );
+
+	void pad_lines( s32 num );
+
 	void print( Code );
 	void print_fmt( char const* fmt, ... );
 
-	bool open( char const* path );
 	void write();
 };
+

project/file_processors/scanner.hpp

@@ -1,8 +1,3 @@
-#pragma once
-#include "gen.hpp"
-
-GEN_NS_BEGIN
-
 Code scan_file( char const* path )
 {
 	FileInfo file;
@@ -28,6 +23,7 @@ Code scan_file( char const* path )
 	return untyped_str( str );
 }
 
+#if 0
 struct Policy
 {
 	// Nothing for now.
@@ -69,5 +65,5 @@ struct Scanner
 
 	bool process_requests( Array<Receipt> out_receipts );
 };
+#endif
 
-GEN_NS_END

project/gen.bootstrap.cpp

@@ -2,32 +2,22 @@
 #define GEN_ENFORCE_STRONG_CODE_TYPES
 #define GEN_EXPOSE_BACKEND
 #include "gen.cpp"
-#include "file_processors/scanner.hpp"
+
 #include "helpers/helper.hpp"
 
+GEN_NS_BEGIN
+#include "dependencies/parsing.cpp"
+GEN_NS_END
+
+#include "file_processors/builder.hpp"
+#include "file_processors/builder.cpp"
+#include "file_processors/scanner.hpp"
+
 using namespace gen;
 
-bool namespace_by_default = true;
-
-constexpr StrC nspace_default = txt_StrC(R"(
-#if defined(GEN_DONT_USE_NAMESPACE) && ! defined(GEN_NS_BEGIN)
-#	define GEN_NS_BEGIN
-#	define GEN_NS_END
-#elif ! defined(GEN_NS_BEGIN)
-#  define GEN_NS_BEGIN namespace gen {
-#  define GEN_NS_END   }
-#endif
-)");
-
-constexpr StrC nspace_non_default = txt_StrC(R"(
-#if ! defined(GEN_USE_NAMESPACE) && ! defined(GEN_NS_BEGIN)
-#	define GEN_NS_BEGIN
-#	define GEN_NS_END
-#elif ! defined(GEN_NS_BEGIN)
-#  define GEN_NS_BEGIN namespace gen {
-#  define GEN_NS_END   }
-#endif
-)");
+constexpr char const* generation_notice =
+"// This file was generated automatially by gen.bootstrap.cpp "
+"(See: https://github.com/Ed94/gencpp)\n\n";
 
 int gen_main()
 {
@@ -39,7 +29,6 @@ int gen_main()
 	// gen_dep.hpp
 	{
 		Code header_start  = scan_file( "dependencies/header_start.hpp" );
-		Code nspace_macro  = untyped_str( namespace_by_default ? nspace_default : nspace_non_default );
 		Code macros 	   = scan_file( "dependencies/macros.hpp" );
 		Code basic_types   = scan_file( "dependencies/basic_types.hpp" );
 		Code debug         = scan_file( "dependencies/debug.hpp" );
@@ -49,120 +38,116 @@ int gen_main()
 		Code containers    = scan_file( "dependencies/containers.hpp" );
 		Code hashing 	   = scan_file( "dependencies/hashing.hpp" );
 		Code string        = scan_file( "dependencies/string.hpp" );
-		Code parsing       = scan_file( "dependencies/parsing.hpp" );
+		Code file_handling = scan_file( "dependencies/file_handling.hpp" );
 		Code timing        = scan_file( "dependencies/timing.hpp" );
 
-		// TOOD : Make this optional
-		Code file_handling = scan_file( "dependencies/file_handling.hpp" );
-
 		Builder
-		deps_header;
-		deps_header.open("gen/gen_dep.hpp");
-			deps_header.print_fmt("// This file is intended to be included within gen.hpp (There is no pragma diagnostic ignores)\n\n");
-			deps_header.print_fmt("#pragma once\n\n");
-			deps_header.print( header_start );
-			deps_header.print( nspace_macro );
-			deps_header.print_fmt( "GEN_NS_BEGIN\n\n");
+		deps_header = Builder::open("gen/gen.dep.hpp");
+		deps_header.print_fmt( generation_notice );
+		deps_header.print_fmt( "// This file is intended to be included within gen.hpp (There is no pragma diagnostic ignores)\n\n" );
+		deps_header.print( header_start );
+		deps_header.print_fmt( "GEN_NS_BEGIN\n\n" );
 
-			deps_header.print( macros );
-			deps_header.print( basic_types );
-			deps_header.print( debug );
-			deps_header.print( memory );
-			deps_header.print( string_ops );
-			deps_header.print( printing );
-			deps_header.print( containers );
-			deps_header.print( hashing );
-			deps_header.print( string );
-			deps_header.print( file_handling );
-			deps_header.print( parsing );
-			deps_header.print( timing );
+		deps_header.print( macros );
+		deps_header.print( basic_types );
+		deps_header.print( debug );
+		deps_header.print( memory );
+		deps_header.print( string_ops );
+		deps_header.print( printing );
+		deps_header.print( containers );
+		deps_header.print( hashing );
+		deps_header.print( string );
+		deps_header.print( file_handling );
+		deps_header.print( timing );
 
-			deps_header.print_fmt( "GEN_NS_END\n\n");
+		deps_header.print_fmt( "GEN_NS_END\n\n" );
 		deps_header.write();
 	}
 
 	// gen_dep.cpp
 	{
-		CodeInclude header     = def_include( txt_StrC("gen_dep.hpp") );
-		Code        impl_start = scan_file( "dependencies/impl_start.cpp" );
-		Code 	    debug      = scan_file( "dependencies/debug.cpp" );
-		Code 	    string_ops = scan_file( "dependencies/string_ops.cpp" );
-		Code 	    printing   = scan_file( "dependencies/printing.cpp" );
-		Code 	    memory     = scan_file( "dependencies/memory.cpp" );
-		Code        parsing    = scan_file( "dependencies/parsing.cpp" );
-		Code        hashing    = scan_file( "dependencies/hashing.cpp" );
-		Code        string     = scan_file( "dependencies/string.cpp" );
-		Code        timing     = scan_file( "dependencies/timing.cpp" );
+		Code src_start     = scan_file( "dependencies/src_start.cpp" );
+		Code debug         = scan_file( "dependencies/debug.cpp" );
+		Code string_ops    = scan_file( "dependencies/string_ops.cpp" );
+		Code printing      = scan_file( "dependencies/printing.cpp" );
+		Code memory        = scan_file( "dependencies/memory.cpp" );
+		Code hashing       = scan_file( "dependencies/hashing.cpp" );
+		Code string        = scan_file( "dependencies/string.cpp" );
+		Code file_handling = scan_file( "dependencies/file_handling.cpp" );
+		Code timing        = scan_file( "dependencies/timing.cpp" );
 
 		Builder
-		deps_impl;
-		deps_impl.open("gen/gen_dep.cpp");
-			deps_impl.print_fmt("// This file is intended to be included within gen.cpp (There is no pragma diagnostic ignores)\n\n");
-			deps_impl.print( impl_start );
-			deps_impl.print( header );
-			deps_impl.print_fmt( "\nGEN_NS_BEGIN\n");
+		deps_impl = Builder::open( "gen/gen.dep.cpp" );
+		deps_impl.print_fmt( generation_notice );
+		deps_impl.print_fmt( "// This file is intended to be included within gen.cpp (There is no pragma diagnostic ignores)\n\n" );
+		deps_impl.print( src_start );
+		deps_impl.print_fmt( "GEN_NS_BEGIN\n\n" );
 
-			deps_impl.print( debug );
-			deps_impl.print( string_ops );
-			deps_impl.print( printing );
-			deps_impl.print( hashing );
-			deps_impl.print( memory );
-			deps_impl.print( parsing );
-			deps_impl.print( string );
-			deps_impl.print( timing );
+		deps_impl.print( debug );
+		deps_impl.print( string_ops );
+		deps_impl.print( printing );
+		deps_impl.print( hashing );
+		deps_impl.print( memory );
+		deps_impl.print( string );
+		deps_impl.print( file_handling );
+		deps_impl.print( timing );
 
-			deps_impl.print_fmt( "GEN_NS_END\n\n");
+		deps_impl.print_fmt( "GEN_NS_END\n\n" );
 		deps_impl.write();
 	}
 
 	// gen.hpp
 	{
 		Code header_start = scan_file( "components/header_start.hpp" );
-		Code nspace_macro = untyped_str( namespace_by_default ? nspace_default : nspace_non_default );
 		Code types        = scan_file( "components/types.hpp" );
-		Code data_structs = scan_file( "components/data_structures.hpp" );
+		Code ast          = scan_file( "components/ast.hpp" );
+		Code ast_types    = scan_file( "components/ast_types.hpp" );
 		Code interface    = scan_file( "components/interface.hpp" );
+		Code inlines      = scan_file( "components/inlines.hpp" );
 		Code header_end   = scan_file( "components/header_end.hpp" );
 
-		CodeBody ecode      = gen_ecode( "enums/ECode.csv" );
-		CodeBody eoperator  = gen_eoperator( "enums/EOperator.csv" );
-		CodeBody especifier = gen_especifier( "enums/ESpecifier.csv" );
-
-		// TODO : Make this optional to include
-		Code builder = scan_file( "file_processors/builder.hpp" );
+		CodeBody ecode       = gen_ecode     ( "enums/ECode.csv" );
+		CodeBody eoperator   = gen_eoperator ( "enums/EOperator.csv" );
+		CodeBody especifier  = gen_especifier( "enums/ESpecifier.csv" );
+		CodeBody ast_inlines = gen_ast_inlines();
 
 		Builder
-		header;
-		header.open( "gen/gen.hpp" );
-			header.print_fmt("#pragma once\n\n");
-			header.print( push_ignores );
-			header.print( header_start );
-			header.print( nspace_macro );
-			header.print_fmt( "GEN_NS_BEGIN\n\n");
+		header = Builder::open( "gen/gen.hpp" );
+		header.print_fmt( generation_notice );
+		header.print_fmt( "#pragma once\n\n" );
+		header.print( push_ignores );
+		header.print( header_start );
+		header.print_fmt( "GEN_NS_BEGIN\n\n" );
 
-			header.print_fmt("#pragma region Types\n\n");
-			header.print( types );
-			header.print( ecode );
-			header.print( eoperator );
-			header.print( especifier );
-			header.print_fmt("#pragma endregion Types\n\n");
+		header.print_fmt( "#pragma region Types\n\n" );
+		header.print( types );
+		header.print( ecode );
+		header.print( eoperator );
+		header.print( especifier );
+		header.print_fmt( "#pragma endregion Types\n\n" );
 
-			header.print( data_structs );
-			header.print( interface );
-			header.print( header_end );
+		header.print_fmt( "#pragma region AST\n\n" );
+		header.print( ast );
+		header.print( ast_types );
+		header.print_fmt( "#pragma endregion AST\n\n" );
 
-			header.print( builder );
+		header.print( interface );
 
-			header.print_fmt( "GEN_NS_END\n\n");
-			header.print( pop_ignores );
+		header.print_fmt( "#pragma region Inlines\n\n" );
+		header.print( inlines );
+		header.print( ast_inlines );
+		header.print_fmt( "#pragma endregion Inlines\n\n" );
+
+		header.print( header_end );
+		header.print_fmt( "GEN_NS_END\n\n" );
+		header.print( pop_ignores );
 		header.write();
 	}
 
 	// gen.cpp
 	{
-		Code        impl_start      = scan_file( "components/impl_start.cpp" );
-		CodeInclude header          = def_include( txt_StrC("gen.hpp") );
-		Code        data 	        = scan_file( "components/static_data.cpp" );
+		Code        src_start       = scan_file( "components/src_start.cpp" );
+		Code        static_data 	= scan_file( "components/static_data.cpp" );
 		Code        ast_case_macros = scan_file( "components/ast_case_macros.cpp" );
 		Code        ast			    = scan_file( "components/ast.cpp" );
 		Code        interface	    = scan_file( "components/interface.cpp" );
@@ -170,33 +155,98 @@ int gen_main()
 		Code 	    parsing 	    = scan_file( "components/interface.parsing.cpp" );
 		Code        untyped 	    = scan_file( "components/untyped.cpp" );
 
-		CodeBody etoktype = gen_etoktype( "enums/ETokType.csv", "enums/AttributeTokens.csv" );
-		CodeNamespace parser_nspace = def_namespace( name(Parser), def_namespace_body( args(etoktype)) );
+		CodeBody etoktype      = gen_etoktype( "enums/ETokType.csv", "enums/AttributeTokens.csv" );
+		CodeNS   parser_nspace = def_namespace( name(Parser), def_namespace_body( args(etoktype)) );
 
-		// TODO : Make this optional to include
+		Builder
+		src = Builder::open( "gen/gen.cpp" );
+		src.print_fmt( generation_notice );
+		src.print( push_ignores );
+		src.print( src_start );
+		src.print_fmt( "\nGEN_NS_BEGIN\n\n");
+
+		src.print( static_data );
+
+		src.print_fmt( "#pragma region AST\n\n" );
+		src.print( ast_case_macros );
+		src.print( ast );
+		src.print_fmt( "#pragma endregion AST\n\n" );
+
+		src.print_fmt( "#pragma region Interface\n\n" );
+		src.print( interface );
+		src.print( upfront );
+		src.print_fmt( "#pragma region Parsing\n\n" );
+		src.print( parser_nspace );
+		src.print( parsing );
+		src.print( untyped );
+		src.print_fmt( "#pragma endregion Parsing\n\n" );
+		src.print_fmt( "#pragma endregion Interface\n\n" );
+
+		src.print_fmt( "GEN_NS_END\n\n");
+		src.print( pop_ignores );
+		src.write();
+	}
+
+	// gen_builder.hpp
+	{
+		Code builder = scan_file( "file_processors/builder.hpp" );
+
+		Builder
+		header = Builder::open( "gen/gen.builder.hpp" );
+		header.print_fmt( generation_notice );
+		header.print_fmt( "#pragma once\n\n" );
+		header.print( def_include( txt_StrC("gen.hpp") ));
+		header.print_fmt( "\nGEN_NS_BEGIN\n\n" );
+		header.print( builder );
+		header.print_fmt( "\nGEN_NS_END\n\n" );
+		header.write();
+	}
+
+	// gen_builder.cpp
+	{
 		Code builder = scan_file( "file_processors/builder.cpp" );
 
 		Builder
-		impl;
-		impl.open( "gen/gen.cpp" );
-			impl.print( push_ignores );
-			impl.print( impl_start );
-			impl.print( header );
-			impl.print_fmt( "\nGEN_NS_BEGIN\n\n");
+		src = Builder::open( "gen/gen.builder.cpp" );
+		src.print_fmt( generation_notice );
+		src.print( def_include( txt_StrC("gen.builder.hpp") ) );
+		src.print_fmt( "\nGEN_NS_BEGIN\n\n" );
+		src.print( builder );
+		src.print_fmt( "\nGEN_NS_END\n\n" );
+		src.write();
+	}
 
-			impl.print( data );
-			impl.print( ast_case_macros );
-			impl.print( ast );
-			impl.print( interface );
-			impl.print( upfront );
-			impl.print( parser_nspace );
-			impl.print( parsing );
-			impl.print( untyped );
+	// gen_scanner.hpp
+	{
+		Code parsing = scan_file( "dependencies/parsing.hpp" );
+		Code scanner = scan_file( "file_processors/scanner.hpp" );
 
-			impl.print( builder );
-			impl.print_fmt( "GEN_NS_END\n\n");
-			impl.print( pop_ignores );
-		impl.write();
+		Builder
+		header = Builder::open( "gen/gen.scanner.hpp" );
+		header.print_fmt( generation_notice );
+		header.print_fmt( "#pragma once\n\n" );
+		header.print( def_include( txt_StrC("gen.hpp") ) );
+		header.print_fmt( "\nGEN_NS_BEGIN\n\n" );
+		header.print( parsing );
+		header.print( scanner );
+		header.print_fmt( "\nGEN_NS_END\n\n" );
+		header.write();
+	}
+
+	// gen_scanner.cpp
+	{
+		Code parsing = scan_file( "dependencies/parsing.cpp" );
+		// Code scanner = scan_file( "file_processors/scanner.cpp" );
+
+		Builder
+		src = Builder::open( "gen/gen.scanner.cpp" );
+		src.print_fmt( generation_notice );
+		src.print( def_include( txt_StrC("gen.scanner.hpp") ) );
+		src.print_fmt( "\nGEN_NS_BEGIN\n\n" );
+		src.print( parsing );
+		// src.print( scanner );
+		src.print_fmt( "\nGEN_NS_END\n\n" );
+		src.write();
 	}
 
 	gen::deinit();

project/gen.cpp

@@ -6,14 +6,14 @@
 #	error Gen.hpp : GEN_TIME not defined
 #endif
 
+#include "gen.hpp"
+
 //! If its desired to roll your own dependencies, define GEN_ROLL_OWN_DEPENDENCIES before including this file.
 //! Dependencies are derived from the c-zpl library: https://github.com/zpl-c/zpl
 #ifndef GEN_ROLL_OWN_DEPENDENCIES
 #	include "gen.dep.cpp"
 #endif
 
-#include "gen.hpp"
-
 GEN_NS_BEGIN
 
 #include "components/static_data.cpp"
@@ -23,12 +23,10 @@ GEN_NS_BEGIN
 
 #include "components/interface.cpp"
 #include "components/interface.upfront.cpp"
-#include "components/etoktype.cpp"
+#include "components/temp/etoktype.cpp"
 #include "components/interface.parsing.cpp"
 #include "components/untyped.cpp"
 
-#include "file_processors/builder.cpp"
-
 GEN_NS_END
 
 #include "helpers/pop_ignores.inline.hpp"

project/gen.dep.cpp

@@ -1,17 +1,19 @@
 // This file is intended to be included within gen.cpp (There is no pragma diagnostic ignores)
 #include "gen.dep.hpp"
 
-#include "dependencies/impl_start.cpp"
+#include "dependencies/src_start.cpp"
 
 GEN_NS_BEGIN
 
 #include "dependencies/debug.cpp"
+
 #include "dependencies/string_ops.cpp"
 #include "dependencies/printing.cpp"
 #include "dependencies/memory.cpp"
-#include "dependencies/parsing.cpp"
+
 #include "dependencies/hashing.cpp"
 #include "dependencies/string.cpp"
+
 #include "dependencies/timing.cpp"
 
 #include "dependencies/file_handling.cpp"

project/gen.dep.hpp

@@ -3,26 +3,20 @@
 
 #include "dependencies/header_start.hpp"
 
-#ifdef GEN_DONT_USE_NAMESPACE
-#	define GEN_NS_BEGIN
-#	define GEN_NS_END
-#else
-#	define GEN_NS_BEGIN namespace gen {
-#	define GEN_NS_END   }
-#endif
-
 GEN_NS_BEGIN
 
 #include "dependencies/macros.hpp"
 #include "dependencies/basic_types.hpp"
 #include "dependencies/debug.hpp"
+
 #include "dependencies/memory.hpp"
 #include "dependencies/string_ops.hpp"
 #include "dependencies/printing.hpp"
+
 #include "dependencies/containers.hpp"
 #include "dependencies/hashing.hpp"
 #include "dependencies/string.hpp"
-#include "dependencies/parsing.hpp"
+
 #include "dependencies/timing.hpp"
 
 #include "dependencies/file_handling.hpp"

project/gen.hpp

@@ -11,25 +11,21 @@
 #include "helpers/push_ignores.inline.hpp"
 #include "components/header_start.hpp"
 
-#ifdef GEN_DONT_USE_NAMESPACE
-#	define GEN_NS_BEGIN
-#	define GEN_NS_END
-#else
-#	define GEN_NS_BEGIN namespace gen {
-#	define GEN_NS_END   }
-#endif
-
 GEN_NS_BEGIN
 
 #include "components/types.hpp"
-#include "components/ecode.hpp"
-#include "components/eoperator.hpp"
-#include "components/especifier.hpp"
-#include "components/data_structures.hpp"
-#include "components/interface.hpp"
-#include "components/header_end.hpp"
+#include "components/temp/ecode.hpp"
+#include "components/temp/eoperator.hpp"
+#include "components/temp/especifier.hpp"
 
-#include "file_processors/builder.hpp"
+#include "components/ast.hpp"
+#include "components/ast_types.hpp"
+
+#include "components/interface.hpp"
+
+#include "components/inlines.hpp"
+#include "components/temp/ast_inlines.hpp"
+#include "components/header_end.hpp"
 
 GEN_NS_END
 

project/helpers/helper.hpp

@@ -2,6 +2,10 @@
 
 #include "gen.hpp"
 
+GEN_NS_BEGIN
+#include "dependencies/parsing.hpp"
+GEN_NS_END
+
 using namespace gen;
 
 CodeBody gen_ecode( char const* path )
@@ -49,7 +53,7 @@ CodeBody gen_ecode( char const* path )
 	)));
 #pragma pop_macro( "local_persist" )
 
-	CodeNamespace nspace = def_namespace( name(ECode), def_namespace_body( args( enum_code, to_str ) ) );
+	CodeNS nspace = def_namespace( name(ECode), def_namespace_body( args( enum_code, to_str ) ) );
 	CodeUsing    code_t  = def_using( name(CodeT), def_type( name(ECode::Type) ) );
 
 	return def_global_body( args( nspace, code_t ) );
@@ -103,7 +107,7 @@ CodeBody gen_eoperator( char const* path )
 	)));
 #pragma pop_macro( "local_persist" )
 
-	CodeNamespace nspace = def_namespace( name(EOperator), def_namespace_body( args( enum_code, to_str ) ) );
+	CodeNS nspace = def_namespace( name(EOperator), def_namespace_body( args( enum_code, to_str ) ) );
 
 	CodeUsing operator_t = def_using( name(OperatorT), def_type( name(EOperator::Type) ) );
 
@@ -199,7 +203,7 @@ CodeBody gen_especifier( char const* path )
 #pragma pop_macro( "do_once_start" )
 #pragma pop_macro( "do_once_end" )
 
-	CodeNamespace nspace = def_namespace( name(ESpecifier), def_namespace_body( args( enum_code, is_trailing, to_str, to_type ) ) );
+	CodeNS nspace = def_namespace( name(ESpecifier), def_namespace_body( args( enum_code, is_trailing, to_str, to_type ) ) );
 
 	CodeUsing specifier_t = def_using( name(SpecifierT), def_type( name(ESpecifier::Type) ) );
 
@@ -208,7 +212,7 @@ CodeBody gen_especifier( char const* path )
 
 CodeBody gen_etoktype( char const* etok_path, char const* attr_path )
 {
-	char  scratch_mem[kilobytes(64)];
+	char  scratch_mem[kilobytes(16)];
 	Arena scratch = Arena::init_from_memory( scratch_mem, sizeof(scratch_mem) );
 
 	FileContents enum_content = file_read_contents( scratch, zero_terminate, etok_path );
@@ -226,10 +230,11 @@ CodeBody gen_etoktype( char const* etok_path, char const* attr_path )
 	Array<ADT_Node> attribute_strs     = csv_attr_nodes.nodes[0].nodes;
 	Array<ADT_Node> attribute_str_strs = csv_attr_nodes.nodes[1].nodes;
 
-	String enum_entries      = String::make_reserve( GlobalAllocator, kilobytes(2) );
-	String to_str_entries    = String::make_reserve( GlobalAllocator, kilobytes(4) );
-	String attribute_entries = String::make_reserve( GlobalAllocator, kilobytes(2) );
-	String to_str_attributes = String::make_reserve( GlobalAllocator, kilobytes(4) );
+	String enum_entries             = String::make_reserve( GlobalAllocator, kilobytes(2) );
+	String to_str_entries           = String::make_reserve( GlobalAllocator, kilobytes(4) );
+	String attribute_entries        = String::make_reserve( GlobalAllocator, kilobytes(2) );
+	String to_str_attributes        = String::make_reserve( GlobalAllocator, kilobytes(4) );
+	String attribute_define_entries = String::make_reserve( GlobalAllocator, kilobytes(4) );
 
 	for (uw idx = 0; idx < enum_strs.num(); idx++)
 	{
@@ -247,8 +252,19 @@ CodeBody gen_etoktype( char const* etok_path, char const* attr_path )
 
 		attribute_entries.append_fmt( "%s,\n", attribute_str );
 		to_str_attributes.append_fmt( "{ sizeof(\"%s\"), \"%s\" },\n", entry_to_str, entry_to_str);
+		attribute_define_entries.append_fmt( "Entry( %s, %s )", attribute_str, entry_to_str );
+
+		if ( idx < attribute_strs.num() - 1 )
+			attribute_define_entries.append( " \\\n");
+		else
+			attribute_define_entries.append( "\n");
 	}
 
+#pragma push_macro( "GEN_DEFINE_ATTRIBUTE_TOKENS" )
+#undef GEN_DEFINE_ATTRIBUTE_TOKENS
+	CodeDefine attribute_entires_def = def_define( name(GEN_DEFINE_ATTRIBUTE_TOKENS), attribute_define_entries  );
+#pragma pop_macro( "GEN_DEFINE_ATTRIBUTE_TOKENS" )
+
 	CodeEnum enum_code = parse_enum(token_fmt("entries", (StrC)enum_entries, "attribute_toks", (StrC)attribute_entries, stringize(
 		enum Type : u32
 		{
@@ -308,8 +324,280 @@ CodeBody gen_etoktype( char const* etok_path, char const* attr_path )
 #pragma pop_macro( "do_once_start" )
 #pragma pop_macro( "do_once_end" )
 
-	CodeNamespace nspace     = def_namespace( name(ETokType), def_namespace_body( args( enum_code, to_str, to_type ) ) );
+	CodeNS nspace     = def_namespace( name(ETokType), def_namespace_body( args( attribute_entires_def, enum_code, to_str, to_type ) ) );
 	CodeUsing     td_toktype = def_using( name(TokType), def_type( name(ETokType::Type) ) );
 
 	return def_global_body( args( nspace, td_toktype ) );
 }
+
+CodeBody gen_ast_inlines()
+{
+#pragma push_macro("rcast")
+#undef rcast
+	char const* code_impl_tmpl = stringize(
+		\n
+		char const* <typename>::debug_str()
+		{
+			if ( ast == nullptr )
+				return "Code::debug_str: AST is null!";
+
+			return rcast(AST*, ast)->debug_str();
+		}
+		Code <typename>::duplicate()
+		{
+			if ( ast == nullptr )
+			{
+				log_failure("Code::duplicate: Cannot duplicate code, AST is null!");
+				return Code::Invalid;
+			}
+
+			return { rcast(AST*, ast)->duplicate() };
+		}
+		bool <typename>::is_equal( Code other )
+		{
+			if ( ast == nullptr || other.ast == nullptr )
+			{
+				log_failure("Code::is_equal: Cannot compare code, AST is null!");
+				return false;
+			}
+
+			return rcast(AST*, ast)->is_equal( other.ast );
+		}
+		bool <typename>::is_valid()
+		{
+			return (AST*) ast != nullptr && rcast( AST*, ast)->Type != CodeT::Invalid;
+		}
+		void <typename>::set_global()
+		{
+			if ( ast == nullptr )
+			{
+				log_failure("Code::set_global: Cannot set code as global, AST is null!");
+				return;
+			}
+
+			rcast(AST*, ast)->Parent = Code::Global.ast;
+		}
+		String <typename>::to_string()
+		{
+			if ( ast == nullptr )
+			{
+			log_failure("Code::to_string: Cannot convert code to string, AST is null!");
+			return { nullptr };
+			}
+
+			return rcast(AST*, ast)->to_string();
+		}
+		<typename>& <typename>::operator =( Code other )
+		{
+			if ( other.ast && other->Parent )
+			{
+				ast = rcast( decltype(ast), other.ast->duplicate() );
+				rcast( AST*, ast)->Parent = nullptr;
+			}
+
+			ast = rcast( decltype(ast), other.ast );
+			return *this;
+		}
+		bool <typename>::operator ==( Code other )
+		{
+			return (AST*) ast == other.ast;
+		}
+		bool <typename>::operator !=( Code other )
+		{
+			return (AST*) ast != other.ast;
+		}
+		<typename>::operator bool()
+		{
+			return ast != nullptr;
+		}
+	);
+
+	char const* codetype_impl_tmpl = stringize(
+		AST* Code<typename>::raw()
+		{
+			return rcast( AST*, ast );
+		}
+		Code<typename>::operator Code()
+		{
+			return *rcast( Code*, this );
+		}
+		AST_<typename>* Code<typename>::operator->()
+		{
+			if ( ast == nullptr )
+			{
+				log_failure( "Attempt to dereference a nullptr!" );
+				return nullptr;
+			}
+			return ast;
+		}
+		\n
+	);
+
+	CodeBody impl_code          = parse_global_body( token_fmt( "typename", StrC name(Code),               code_impl_tmpl ));
+	CodeBody impl_code_body     = parse_global_body( token_fmt( "typename", StrC name(CodeBody),           code_impl_tmpl ));
+	CodeBody impl_code_attr     = parse_global_body( token_fmt( "typename", StrC name(CodeAttributes),     code_impl_tmpl ));
+	CodeBody impl_code_cmt      = parse_global_body( token_fmt( "typename", StrC name(CodeComment),        code_impl_tmpl ));
+	CodeBody impl_code_constr   = parse_global_body( token_fmt( "typename", StrC name(CodeConstructor),    code_impl_tmpl ));
+	CodeBody impl_code_class    = parse_global_body( token_fmt( "typename", StrC name(CodeClass),          code_impl_tmpl ));
+	CodeBody impl_code_define   = parse_global_body( token_fmt( "typename", StrC name(CodeDefine),         code_impl_tmpl ));
+	CodeBody impl_code_destruct = parse_global_body( token_fmt( "typename", StrC name(CodeDestructor),     code_impl_tmpl ));
+	CodeBody impl_code_enum     = parse_global_body( token_fmt( "typename", StrC name(CodeEnum),           code_impl_tmpl ));
+	CodeBody impl_code_exec     = parse_global_body( token_fmt( "typename", StrC name(CodeExec),           code_impl_tmpl ));
+	CodeBody impl_code_extern   = parse_global_body( token_fmt( "typename", StrC name(CodeExtern),         code_impl_tmpl ));
+	CodeBody impl_code_include  = parse_global_body( token_fmt( "typename", StrC name(CodeInclude),        code_impl_tmpl ));
+	CodeBody impl_code_friend   = parse_global_body( token_fmt( "typename", StrC name(CodeFriend),         code_impl_tmpl ));
+	CodeBody impl_code_fn	    = parse_global_body( token_fmt( "typename", StrC name(CodeFn),             code_impl_tmpl ));
+	CodeBody impl_code_module   = parse_global_body( token_fmt( "typename", StrC name(CodeModule),         code_impl_tmpl ));
+	CodeBody impl_code_ns       = parse_global_body( token_fmt( "typename", StrC name(CodeNS),             code_impl_tmpl ));
+	CodeBody impl_code_op       = parse_global_body( token_fmt( "typename", StrC name(CodeOperator),       code_impl_tmpl ));
+	CodeBody impl_code_opcast   = parse_global_body( token_fmt( "typename", StrC name(CodeOpCast),         code_impl_tmpl ));
+	CodeBody impl_code_param    = parse_global_body( token_fmt( "typename", StrC name(CodeParam),          code_impl_tmpl ));
+	CodeBody impl_code_pragma   = parse_global_body( token_fmt( "typename", StrC name(CodePragma),         code_impl_tmpl ));
+	CodeBody impl_code_precond  = parse_global_body( token_fmt( "typename", StrC name(CodePreprocessCond), code_impl_tmpl ));
+	CodeBody impl_code_specs    = parse_global_body( token_fmt( "typename", StrC name(CodeSpecifiers),     code_impl_tmpl ));
+	CodeBody impl_code_struct   = parse_global_body( token_fmt( "typename", StrC name(CodeStruct),         code_impl_tmpl ));
+	CodeBody impl_code_tmpl     = parse_global_body( token_fmt( "typename", StrC name(CodeTemplate),       code_impl_tmpl ));
+	CodeBody impl_code_type     = parse_global_body( token_fmt( "typename", StrC name(CodeType),           code_impl_tmpl ));
+	CodeBody impl_code_typedef  = parse_global_body( token_fmt( "typename", StrC name(CodeTypedef),        code_impl_tmpl ));
+	CodeBody impl_code_union    = parse_global_body( token_fmt( "typename", StrC name(CodeUnion),          code_impl_tmpl ));
+	CodeBody impl_code_using    = parse_global_body( token_fmt( "typename", StrC name(CodeUsing),          code_impl_tmpl ));
+	CodeBody impl_code_var      = parse_global_body( token_fmt( "typename", StrC name(CodeVar),            code_impl_tmpl ));
+
+	impl_code_attr.    append( parse_global_body( token_fmt( "typename", StrC name(Attributes),     codetype_impl_tmpl )));
+	impl_code_cmt.     append( parse_global_body( token_fmt( "typename", StrC name(Comment),        codetype_impl_tmpl )));
+	impl_code_constr.  append( parse_global_body( token_fmt( "typename", StrC name(Constructor),    codetype_impl_tmpl )));
+	impl_code_define.  append( parse_global_body( token_fmt( "typename", StrC name(Define),         codetype_impl_tmpl )));
+	impl_code_destruct.append( parse_global_body( token_fmt( "typename", StrC name(Destructor),     codetype_impl_tmpl )));
+	impl_code_enum.    append( parse_global_body( token_fmt( "typename", StrC name(Enum),           codetype_impl_tmpl )));
+	impl_code_exec.    append( parse_global_body( token_fmt( "typename", StrC name(Exec),           codetype_impl_tmpl )));
+	impl_code_extern.  append( parse_global_body( token_fmt( "typename", StrC name(Extern),         codetype_impl_tmpl )));
+	impl_code_include. append( parse_global_body( token_fmt( "typename", StrC name(Include),        codetype_impl_tmpl )));
+	impl_code_friend.  append( parse_global_body( token_fmt( "typename", StrC name(Friend),         codetype_impl_tmpl )));
+	impl_code_fn.      append( parse_global_body( token_fmt( "typename", StrC name(Fn),             codetype_impl_tmpl )));
+	impl_code_module.  append( parse_global_body( token_fmt( "typename", StrC name(Module),         codetype_impl_tmpl )));
+	impl_code_ns.      append( parse_global_body( token_fmt( "typename", StrC name(NS),             codetype_impl_tmpl )));
+	impl_code_op.      append( parse_global_body( token_fmt( "typename", StrC name(Operator),       codetype_impl_tmpl )));
+	impl_code_opcast.  append( parse_global_body( token_fmt( "typename", StrC name(OpCast),         codetype_impl_tmpl )));
+	impl_code_pragma . append( parse_global_body( token_fmt( "typename", StrC name(Pragma),         codetype_impl_tmpl )));
+	impl_code_precond. append( parse_global_body( token_fmt( "typename", StrC name(PreprocessCond), codetype_impl_tmpl )));
+	impl_code_tmpl.    append( parse_global_body( token_fmt( "typename", StrC name(Template),       codetype_impl_tmpl )));
+	impl_code_type.    append( parse_global_body( token_fmt( "typename", StrC name(Type),           codetype_impl_tmpl )));
+	impl_code_typedef. append( parse_global_body( token_fmt( "typename", StrC name(Typedef),        codetype_impl_tmpl )));
+	impl_code_union.   append( parse_global_body( token_fmt( "typename", StrC name(Union),          codetype_impl_tmpl )));
+	impl_code_using.   append( parse_global_body( token_fmt( "typename", StrC name(Using),          codetype_impl_tmpl )));
+	impl_code_var.     append( parse_global_body( token_fmt( "typename", StrC name(Var),            codetype_impl_tmpl )));
+
+	char const* cast_tmpl = stringize(
+		AST::operator Code<typename>()
+		{
+			return { rcast( AST_<typename>*, this ) };
+		}
+
+		Code::operator Code<typename>() const
+		{
+			return { (AST_<typename>*) ast };
+		}
+	);
+
+	CodeBody impl_cast_body      = parse_global_body( token_fmt( "typename", StrC name(Body),           cast_tmpl ));
+	CodeBody impl_cast_attribute = parse_global_body( token_fmt( "typename", StrC name(Attributes),     cast_tmpl ));
+	CodeBody impl_cast_cmt       = parse_global_body( token_fmt( "typename", StrC name(Comment),        cast_tmpl ));
+	CodeBody impl_cast_constr    = parse_global_body( token_fmt( "typename", StrC name(Constructor),    cast_tmpl ));
+	CodeBody impl_cast_class     = parse_global_body( token_fmt( "typename", StrC name(Class),          cast_tmpl ));
+	CodeBody impl_cast_define    = parse_global_body( token_fmt( "typename", StrC name(Define),         cast_tmpl ));
+	CodeBody impl_cast_destruct  = parse_global_body( token_fmt( "typename", StrC name(Destructor),     cast_tmpl ));
+	CodeBody impl_cast_enum      = parse_global_body( token_fmt( "typename", StrC name(Enum),           cast_tmpl ));
+	CodeBody impl_cast_exec      = parse_global_body( token_fmt( "typename", StrC name(Exec),           cast_tmpl ));
+	CodeBody impl_cast_extern    = parse_global_body( token_fmt( "typename", StrC name(Extern),         cast_tmpl ));
+	CodeBody impl_cast_friend    = parse_global_body( token_fmt( "typename", StrC name(Friend),         cast_tmpl ));
+	CodeBody impl_cast_fn        = parse_global_body( token_fmt( "typename", StrC name(Fn),             cast_tmpl ));
+	CodeBody impl_cast_include   = parse_global_body( token_fmt( "typename", StrC name(Include),        cast_tmpl ));
+	CodeBody impl_cast_module    = parse_global_body( token_fmt( "typename", StrC name(Module),         cast_tmpl ));
+	CodeBody impl_cast_ns        = parse_global_body( token_fmt( "typename", StrC name(NS),             cast_tmpl ));
+	CodeBody impl_cast_op        = parse_global_body( token_fmt( "typename", StrC name(Operator),       cast_tmpl ));
+	CodeBody impl_cast_opcast    = parse_global_body( token_fmt( "typename", StrC name(OpCast),         cast_tmpl ));
+	CodeBody impl_cast_param     = parse_global_body( token_fmt( "typename", StrC name(Param),          cast_tmpl ));
+	CodeBody impl_cast_pragma    = parse_global_body( token_fmt( "typename", StrC name(Pragma),         cast_tmpl ));
+	CodeBody impl_cast_precond   = parse_global_body( token_fmt( "typename", StrC name(PreprocessCond), cast_tmpl ));
+	CodeBody impl_cast_specs     = parse_global_body( token_fmt( "typename", StrC name(Specifiers),     cast_tmpl ));
+	CodeBody impl_cast_struct    = parse_global_body( token_fmt( "typename", StrC name(Struct),         cast_tmpl ));
+	CodeBody impl_cast_tmpl      = parse_global_body( token_fmt( "typename", StrC name(Template),       cast_tmpl ));
+	CodeBody impl_cast_type      = parse_global_body( token_fmt( "typename", StrC name(Type),           cast_tmpl ));
+	CodeBody impl_cast_typedef   = parse_global_body( token_fmt( "typename", StrC name(Typedef),        cast_tmpl ));
+	CodeBody impl_cast_union     = parse_global_body( token_fmt( "typename", StrC name(Union),          cast_tmpl ));
+	CodeBody impl_cast_using     = parse_global_body( token_fmt( "typename", StrC name(Using),          cast_tmpl ));
+	CodeBody impl_cast_var       = parse_global_body( token_fmt( "typename", StrC name(Var),            cast_tmpl ));
+
+	CodeBody result = def_global_body( args(
+		def_pragma( txt_StrC("region generated code inline implementation")),
+		fmt_newline,
+		impl_code,
+		impl_code_body,
+		impl_code_attr,
+		impl_code_cmt,
+		impl_code_constr,
+		impl_code_class,
+		impl_code_define,
+		impl_code_destruct,
+		impl_code_enum,
+		impl_code_exec,
+		impl_code_extern,
+		impl_code_friend,
+		impl_code_fn,
+		impl_code_include,
+		impl_code_module,
+		impl_code_ns,
+		impl_code_op,
+		impl_code_opcast,
+		impl_code_param,
+		impl_code_pragma,
+		impl_code_precond,
+		impl_code_specs,
+		impl_code_struct,
+		impl_code_tmpl,
+		impl_code_type,
+		impl_code_typedef,
+		impl_code_union,
+		impl_code_using,
+		impl_code_var,
+		fmt_newline,
+		def_pragma( txt_StrC("endregion generated code inline implementation")),
+		fmt_newline,
+		def_pragma( txt_StrC("region generated AST/Code cast implementation")),
+		fmt_newline,
+		impl_cast_body,
+		impl_cast_attribute,
+		impl_cast_cmt,
+		impl_cast_constr,
+		impl_cast_class,
+		impl_cast_define,
+		impl_cast_destruct,
+		impl_cast_enum,
+		impl_cast_exec,
+		impl_cast_extern,
+		impl_cast_friend,
+		impl_cast_fn,
+		impl_cast_include,
+		impl_cast_module,
+		impl_cast_ns,
+		impl_cast_op,
+		impl_cast_opcast,
+		impl_cast_param,
+		impl_cast_pragma,
+		impl_cast_precond,
+		impl_cast_specs,
+		impl_cast_struct,
+		impl_cast_tmpl,
+		impl_cast_type,
+		impl_cast_typedef,
+		impl_cast_union,
+		impl_cast_using,
+		impl_cast_var,
+		fmt_newline,
+		def_pragma( txt_StrC("endregion generated AST/Code cast implementation")),
+		fmt_newline
+	));
+
+	return result;
+#pragma pop_macro("rcast")
+}

scripts/.clang-format

@@ -6,16 +6,22 @@ AlignAfterOpenBracket: BlockIndent
 AlignArrayOfStructures: Left
 AlignConsecutiveAssignments:
   Enabled: true
-  AcrossEmptyLines: false
-  AcrossComments: true
+  AcrossEmptyLines: true
+  AcrossComments: false
   AlignCompound: true
   PadOperators: true
-AlignConsecutiveBitFields: AcrossComments
-AlignConsecutiveDeclarations: AcrossComments
+AlignConsecutiveBitFields:
+  Enabled: true
+  AcrossEmptyLines: true
+  AcrossComments: false
+AlignConsecutiveDeclarations:
+  Enabled: true
+  AcrossEmptyLines: false
+  AcrossComments: false
 AlignConsecutiveMacros:
   Enabled: true
   AcrossEmptyLines: true
-  AcrossComments: true
+  AcrossComments: false
 AlignEscapedNewlines: Left
 AlignOperands: DontAlign
 
@@ -62,7 +68,7 @@ BraceWrapping:
   BeforeWhile: false
 
 BreakAfterAttributes: Always
-# BreakArrays: false
+BreakArrays: true
 # BreakBeforeInlineASMColon: OnlyMultiline
 BreakBeforeBinaryOperators: NonAssignment
 BreakBeforeBraces: Allman
@@ -73,7 +79,7 @@ BreakBeforeTernaryOperators: true
 BreakConstructorInitializers: BeforeComma
 BreakStringLiterals: true
 
-ColumnLimit: 180
+ColumnLimit: 160
 
 CompactNamespaces: true
 
@@ -92,18 +98,17 @@ FixNamespaceComments: true
 
 IncludeBlocks: Preserve
 
-
 IndentCaseBlocks: false
-IndentCaseLabels: false
+IndentCaseLabels: true
 IndentExternBlock: AfterExternBlock
 IndentGotoLabels: true
-IndentPPDirectives: AfterHash
+IndentPPDirectives: None
 IndentRequires: true
 IndentWidth: 4
-IndentWrappedFunctionNames: false
+IndentWrappedFunctionNames: true
 
 # InsertNewlineAtEOF: true
-InsertTrailingCommas: Wrapped
+# InsertTrailingCommas: Wrapped
 
 LambdaBodyIndentation: OuterScope
 
@@ -128,7 +133,7 @@ SeparateDefinitionBlocks: Always
 ShortNamespaceLines: 40
 
 SortIncludes: false
-SortUsingDeclarations: true
+SortUsingDeclarations: false
 
 SpaceAfterCStyleCast: false
 SpaceAfterLogicalNot: true

scripts/bootstrap.ci.ps1

@@ -22,7 +22,7 @@ write-host "`n`nBuilding gencpp bootstrap`n"
 
 if ( -not( Test-Path $path_project_build) )
 {
-# Generate build files for meta-program
+# Generate build files for bootstrap
 Push-Location $path_project
 	$args_meson  = @()
 	$args_meson += "setup"
@@ -32,7 +32,7 @@ Push-Location $path_project
 Pop-Location
 }
 
-# Compile meta-program
+# Compile bootstrap
 Push-Location $path_root
 	$args_ninja = @()
 	$args_ninja += "-C"
@@ -42,29 +42,37 @@ Push-Location $path_root
 Pop-Location
 
 Push-location $path_project
-if ( -not(Test-Path($path_project_gen) )) {
-	New-Item -ItemType Directory -Path $path_project_gen
-}
+	if ( -not(Test-Path($path_project_gen) )) {
+		New-Item -ItemType Directory -Path $path_project_gen
+	}
 
-# Run meta-program
-$gencpp_bootstrap = Join-Path $path_project_build gencpp_bootstrap.exe
+	# Run bootstrap
+	$gencpp_bootstrap = Join-Path $path_project_build gencpp_bootstrap.exe
 
-Write-Host `nRunning gencpp bootstrap...
-& $gencpp_bootstrap
+	Write-Host `nRunning gencpp bootstrap...
+	& $gencpp_bootstrap
 
-# Format generated files
-Write-Host `nBeginning format...
-$formatParams = @(
-	'-i'          # In-place
-	'-style=file:../scripts/.clang-format'
-	'-verbose'
-)
+	# Format generated gencpp
+	Write-Host `nBeginning format...
+	$formatParams = @(
+		'-i'          # In-place
+		'-style=file:../scripts/.clang-format'
+		'-verbose'
+	)
 
-$include = @('gen.hpp', 'gen.cpp', 'gen_dep.hpp', 'gen_dep.cpp')
-$exclude = $null
+	$include = @(
+		'gen.hpp', 'gen.cpp',
+		'gen.dep.hpp', 'gen.dep.cpp',
+		'gen.builder.hpp', 'gen.builder.cpp'
+		'gen.scanner.hpp', 'gen.scanner.cpp'
+	)
+	$exclude = $null
 
-$targetFiles = @(Get-ChildItem -Recurse -Path $path_project_gen -Include $include -Exclude $exclude | Select-Object -ExpandProperty FullName)
+	$targetFiles = @(Get-ChildItem -Recurse -Path $path_project_gen -Include $include -Exclude $exclude | Select-Object -ExpandProperty FullName)
 
-clang-format $formatParams $targetFiles
-Write-Host "`nFormatting complete"
+	clang-format $formatParams $targetFiles
+	Write-Host "`nFormatting complete"
 Pop-Location
+
+# Build and run validation
+

scripts/gencpp.natvis

@@ -213,7 +213,7 @@
 		</Expand>
 	</Type>
 
-	<Type Name="gen::AST_Namespace">
+	<Type Name="gen::AST_NS">
 		<DisplayString>{Name} Type: {Type}</DisplayString>
 		<Expand>
 			<Item Name="ModuleFlags">ModuleFlags</Item>
@@ -498,7 +498,7 @@
 		</Expand>
 	</Type>
 
-	<Type Name="gen::CodeNamespace">
+	<Type Name="gen::CodeNS">
 		<DisplayString Condition="ast == nullptr">Null</DisplayString>
 		<DisplayString Condition="ast != nullptr">{ast->Name} {ast->Type}</DisplayString>
 		<Expand>

scripts/msvc/devshell.ps1

@@ -1,26 +1,23 @@
-# This script is used to iniitate the MSVC DevShell
-$vs_devshell = @()
-@("enterprise", "professional", "community") | ForEach-Object {
-    $vs_devshell_2022 = "C:\Program Files\Microsoft Visual Studio\2022\"       + $_ + "\Common7\Tools\Launch-VsDevShell.ps1"
-    $vs_devshell_2019 = "C:\Program Files (x86)\Microsoft Visual Studio\2019\" + $_ + "\Common7\Tools\Launch-VsDevShell.ps1"
+$ErrorActionPreference = "Stop"
 
-    $vs_devshell += @( $vs_devshell_2022, $vs_devshell_2019 )
+# Use vswhere to find the latest Visual Studio installation
+$vswhere_out = & "C:\Program Files (x86)\Microsoft Visual Studio\Installer\vswhere.exe" -latest -property installationPath
+if ($null -eq $vswhere_out) {
+    Write-Host "ERROR: Visual Studio installation not found"
+    exit 1
 }
 
-$found = $false
-foreach($path in $vs_devshell) {
-    if (Test-Path $path) {
-        write-host "Found $path"
+# Find Launch-VsDevShell.ps1 in the Visual Studio installation
+$vs_path     = $vswhere_out
+$vs_devshell = Join-Path $vs_path "\Common7\Tools\Launch-VsDevShell.ps1"
 
-        Push-Location # Save the current path, loading the script will change it.
-        & $path
-        Pop-Location
-
-        $found = $true
-        break;
-    }
+if ( -not (Test-Path $vs_devshell) ) {
+    Write-Host "ERROR: Launch-VsDevShell.ps1 not found in Visual Studio installation"
+    Write-Host Tested path: $vs_devshell
+    exit 1
 }
 
-if (-not $found) {
-    write-host "MSVC DevShell: No valid path found"
-}
+# Launch the Visual Studio Developer Shell
+Push-Location
+& $vs_devshell @args
+Pop-Location

scripts/singleheader.ci.ps1

@@ -42,29 +42,32 @@ Push-Location $path_root
 Pop-Location
 
 Push-location $path_singleheader
-if ( -not(Test-Path($path_singleheader_gen) )) {
-	New-Item -ItemType Directory -Path $path_singleheader_gen
-}
+	if ( -not(Test-Path($path_singleheader_gen) )) {
+		New-Item -ItemType Directory -Path $path_singleheader_gen
+	}
 
-# Run meta-program
-$gencpp_singleheader = Join-Path $path_singleheader_build gencpp_singleheader.exe
+	# Run meta-program
+	$gencpp_singleheader = Join-Path $path_singleheader_build gencpp_singleheader.exe
 
-Write-Host `nRunning gencpp singleheader...
-& $gencpp_singleheader
+	Write-Host `nRunning gencpp singleheader...
+	& $gencpp_singleheader
 
-# Format generated files
-Write-Host `nBeginning format...
-$formatParams = @(
-	'-i'          # In-place
-	'-style=file:../scripts/.clang-format'
-	'-verbose'
-)
+	# Format generated files
+	Write-Host `nBeginning format...
+	$formatParams = @(
+		'-i'          # In-place
+		'-style=file:../scripts/.clang-format'
+		'-verbose'
+	)
 
-$include = @('gen.hpp')
-$exclude = $null
+	$include = @('gen.hpp')
+	$exclude = $null
 
-$targetFiles = @(Get-ChildItem -Recurse -Path $path_project -Include $include -Exclude $exclude | Select-Object -ExpandProperty FullName)
+	$targetFiles = @(Get-ChildItem -Recurse -Path $path_project -Include $include -Exclude $exclude | Select-Object -ExpandProperty FullName)
 
-clang-format $formatParams $targetFiles
-Write-Host "`nFormatting complete"
+	clang-format $formatParams $targetFiles
+	Write-Host "`nFormatting complete"
 Pop-Location
+
+# Build and run validation
+

scripts/test.gen_run.ps1

@@ -1,3 +1,5 @@
+cls
+
 [string] $type = $null
 [string] $test = $false
 

singleheader/components/header_start.hpp

@@ -11,4 +11,13 @@
 */
 #if ! defined(GEN_DONT_ENFORCE_GEN_TIME_GUARD) && ! defined(GEN_TIME)
 #	error Gen.hpp : GEN_TIME not defined
-#endif
+#endif
+
+#ifdef GEN_DONT_USE_NAMESPACE
+#	define GEN_NS_BEGIN
+#	define GEN_NS_END
+#else
+#	define GEN_NS_BEGIN namespace gen {
+#	define GEN_NS_END   }
+#endif
+

singleheader/gen.singleheader.cpp

@@ -2,32 +2,22 @@
 #define GEN_ENFORCE_STRONG_CODE_TYPES
 #define GEN_EXPOSE_BACKEND
 #include "gen.cpp"
-#include "file_processors/scanner.hpp"
+
 #include "helpers/helper.hpp"
 
+GEN_NS_BEGIN
+#include "dependencies/parsing.cpp"
+GEN_NS_END
+
+#include "file_processors/builder.hpp"
+#include "file_processors/builder.cpp"
+#include "file_processors/scanner.hpp"
+
 using namespace gen;
 
-bool namespace_by_default = true;
-
-constexpr StrC nspace_default = txt_StrC(R"(
-#if defined(GEN_DONT_USE_NAMESPACE) && ! defined(GEN_NS_BEGIN)
-#	define GEN_NS_BEGIN
-#	define GEN_NS_END
-#elif ! defined(GEN_NS_BEGIN)
-#  define GEN_NS_BEGIN namespace gen {
-#  define GEN_NS_END   }
-#endif
-)");
-
-constexpr StrC nspace_non_default = txt_StrC(R"(
-#if ! defined(GEN_USE_NAMESPACE) && ! defined(GEN_NS_BEGIN)
-#	define GEN_NS_BEGIN
-#	define GEN_NS_END
-#elif ! defined(GEN_NS_BEGIN)
-#  define GEN_NS_BEGIN namespace gen {
-#  define GEN_NS_END   }
-#endif
-)");
+constexpr char const* generation_notice =
+"// This file was generated automatially by gen.bootstrap.cpp "
+"(See: https://github.com/Ed94/gencpp)\n\n";
 
 constexpr StrC implementation_guard_start = txt_StrC(R"(
 #pragma region GENCPP IMPLEMENTATION GUARD
@@ -50,36 +40,34 @@ constexpr StrC roll_own_dependencies_guard_start = txt_StrC(R"(
 constexpr StrC roll_own_dependencies_guard_end = txt_StrC(R"(
 // GEN_ROLL_OWN_DEPENDENCIES
 #endif
-
 )");
 
+global bool generate_gen_dep = true;
+global bool generate_builder = true;
+global bool generate_editor  = true;
+global bool generate_scanner = true;
+
 int gen_main()
 {
+#define project_dir "../project/"
 	gen::init();
 
-#define project_dir "../project/"
-
-	Code push_ignores = scan_file( project_dir "helpers/push_ignores.inline.hpp" );
-	Code pop_ignores  = scan_file( project_dir "helpers/pop_ignores.inline.hpp" );
-
-	Code header_start = scan_file( "components/header_start.hpp" );
-	Code nspace_macro = untyped_str( namespace_by_default ? nspace_default : nspace_non_default );
+	Code push_ignores        = scan_file( project_dir "helpers/push_ignores.inline.hpp" );
+	Code pop_ignores         = scan_file( project_dir "helpers/pop_ignores.inline.hpp" );
+	Code single_header_start = scan_file( "components/header_start.hpp" );
 
 	Builder
-	header;
-	header.open( "gen/gen.hpp" );
-	header.print( push_ignores );
-
+	header = Builder::open( "gen/gen.hpp" );
+	header.print_fmt( generation_notice );
 	header.print_fmt("#pragma once\n\n");
+	header.print( push_ignores );
 
 	// Headers
 	{
-		header.print( header_start );
-		header.print( nspace_macro );
+		header.print( single_header_start );
 
+		if ( generate_gen_dep )
 		{
-			header.print_fmt( roll_own_dependencies_guard_start );
-
 			Code header_start  = scan_file( project_dir "dependencies/header_start.hpp" );
 			Code macros        = scan_file( project_dir "dependencies/macros.hpp" );
 			Code basic_types   = scan_file( project_dir "dependencies/basic_types.hpp" );
@@ -91,11 +79,12 @@ int gen_main()
 			Code hashing 	   = scan_file( project_dir "dependencies/hashing.hpp" );
 			Code string        = scan_file( project_dir "dependencies/string.hpp" );
 			Code file_handling = scan_file( project_dir "dependencies/file_handling.hpp" );
-			Code parsing       = scan_file( project_dir "dependencies/parsing.hpp" );
 			Code timing        = scan_file( project_dir "dependencies/timing.hpp" );
 
+			header.print_fmt( roll_own_dependencies_guard_start );
 			header.print( header_start );
 			header.print_fmt( "GEN_NS_BEGIN\n\n" );
+
 			header.print( macros );
 			header.print( basic_types );
 			header.print( debug );
@@ -106,23 +95,30 @@ int gen_main()
 			header.print( hashing );
 			header.print( string );
 			header.print( file_handling );
-			header.print( parsing );
 			header.print( timing );
-			header.print_fmt( "GEN_NS_END\n" );
 
+			if ( generate_scanner )
+			{
+				header.print_fmt( "#pragma region Parsing\n\n" );
+				header.print( scan_file( project_dir "dependencies/parsing.hpp" ) );
+				header.print_fmt( "#pragma endregion Parsing\n\n" );
+			}
+
+			header.print_fmt( "GEN_NS_END\n" );
 			header.print_fmt( roll_own_dependencies_guard_end );
 		}
 
-		Code types        = scan_file( project_dir "components/types.hpp" );
-		Code data_structs = scan_file( project_dir "components/data_structures.hpp" );
-		Code interface    = scan_file( project_dir "components/interface.hpp" );
-		Code header_end   = scan_file( project_dir "components/header_end.hpp" );
+		Code types      = scan_file( project_dir "components/types.hpp" );
+		Code ast        = scan_file( project_dir "components/ast.hpp" );
+		Code ast_types  = scan_file( project_dir "components/ast_types.hpp" );
+		Code interface  = scan_file( project_dir "components/interface.hpp" );
+		Code inlines 	= scan_file( project_dir "components/inlines.hpp" );
+		Code header_end = scan_file( project_dir "components/header_end.hpp" );
 
-		CodeBody ecode      = gen_ecode( project_dir "enums/ECode.csv" );
-		CodeBody eoperator  = gen_eoperator( project_dir "enums/EOperator.csv" );
-		CodeBody especifier = gen_especifier( project_dir "enums/ESpecifier.csv" );
-
-		Code builder = scan_file( project_dir "file_processors/builder.hpp" );
+		CodeBody ecode       = gen_ecode     ( project_dir "enums/ECode.csv" );
+		CodeBody eoperator   = gen_eoperator ( project_dir "enums/EOperator.csv" );
+		CodeBody especifier  = gen_especifier( project_dir "enums/ESpecifier.csv" );
+		CodeBody ast_inlines = gen_ast_inlines();
 
 		header.print_fmt( "GEN_NS_BEGIN\n\n" );
 
@@ -133,50 +129,78 @@ int gen_main()
 		header.print( especifier );
 		header.print_fmt("#pragma endregion Types\n\n");
 
-		header.print( data_structs );
+		header.print_fmt("#pragma region AST\n\n");
+		header.print( ast );
+		header.print( ast_types );
+		header.print_fmt("#pragma endregion AST\n\n");
+
 		header.print( interface );
+
+		header.print_fmt( "#pragma region Inlines\n\n" );
+		header.print( inlines );
+		header.print( ast_inlines );
+		header.print_fmt( "#pragma endregion Inlines\n\n" );
+
 		header.print( header_end );
-		header.print( builder );
+
+		if ( generate_builder )
+		{
+			header.print_fmt( "#pragma region Builder\n\n" );
+			header.print( scan_file( project_dir "file_processors/builder.hpp" ) );
+			header.print_fmt( "#pragma endregion Builder\n\n" );
+		}
+
+		if ( generate_scanner )
+		{
+			header.print_fmt( "#pragma region Scanner\n\n" );
+			header.print( scan_file( project_dir "file_processors/scanner.hpp" ) );
+			header.print_fmt( "#pragma endregion Scanner\n\n" );
+		}
+
 		header.print_fmt( "GEN_NS_END\n" );
 	}
 
 	// Implementation
 	{
 		header.print_fmt( "%s\n", (char const*) implementation_guard_start );
+
+		if ( generate_gen_dep )
 		{
-			header.print_fmt( roll_own_dependencies_guard_start );
-
-			Code impl_start = scan_file( project_dir "dependencies/impl_start.cpp" );
-			Code debug      = scan_file( project_dir "dependencies/debug.cpp" );
-			Code string_ops = scan_file( project_dir "dependencies/string_ops.cpp" );
-			Code printing   = scan_file( project_dir "dependencies/printing.cpp" );
-			Code memory     = scan_file( project_dir "dependencies/memory.cpp" );
-			Code parsing    = scan_file( project_dir "dependencies/parsing.cpp" );
-			Code hashing    = scan_file( project_dir "dependencies/hashing.cpp" );
-			Code string     = scan_file( project_dir "dependencies/string.cpp" );
-			Code timing     = scan_file( project_dir "dependencies/timing.cpp" );
-
+			Code impl_start    = scan_file( project_dir "dependencies/src_start.cpp" );
+			Code debug         = scan_file( project_dir "dependencies/debug.cpp" );
+			Code string_ops    = scan_file( project_dir "dependencies/string_ops.cpp" );
+			Code printing      = scan_file( project_dir "dependencies/printing.cpp" );
+			Code memory        = scan_file( project_dir "dependencies/memory.cpp" );
+			Code hashing       = scan_file( project_dir "dependencies/hashing.cpp" );
+			Code string        = scan_file( project_dir "dependencies/string.cpp" );
 			Code file_handling = scan_file( project_dir "dependencies/file_handling.cpp" );
+			Code timing        = scan_file( project_dir "dependencies/timing.cpp" );
 
+			header.print_fmt( roll_own_dependencies_guard_start );
 			header.print_fmt( "GEN_NS_BEGIN\n\n");
+
 			header.print( impl_start );
 			header.print( debug );
 			header.print( string_ops );
 			header.print( printing );
 			header.print( memory );
-			header.print( parsing );
 			header.print( hashing );
 			header.print( string );
+			header.print( file_handling );
 			header.print( timing );
 
-			header.print( file_handling );
+			if ( generate_scanner )
+			{
+				header.print_fmt( "#pragma region Parsing\n\n" );
+				header.print( scan_file( project_dir "dependencies/parsing.cpp" ) );
+				header.print_fmt( "#pragma endregion Parsing\n\n" );
+			}
 
 			header.print_fmt( "GEN_NS_END\n");
-
 			header.print_fmt( roll_own_dependencies_guard_end );
 		}
 
-		Code data 	         = scan_file( project_dir "components/static_data.cpp" );
+		Code static_data 	 = scan_file( project_dir "components/static_data.cpp" );
 		Code ast_case_macros = scan_file( project_dir "components/ast_case_macros.cpp" );
 		Code ast             = scan_file( project_dir "components/ast.cpp" );
 		Code interface       = scan_file( project_dir "components/interface.cpp" );
@@ -184,21 +208,43 @@ int gen_main()
 		Code parsing         = scan_file( project_dir "components/interface.parsing.cpp" );
 		Code untyped         = scan_file( project_dir "components/untyped.cpp" );
 
-		CodeBody etoktype = gen_etoktype( project_dir "enums/ETokType.csv", project_dir "enums/AttributeTokens.csv" );
-		CodeNamespace parser_nspace = def_namespace( name(Parser), def_namespace_body( args(etoktype)) );
-
-		Code builder = scan_file( project_dir "file_processors/builder.cpp" );
+		CodeBody      etoktype      = gen_etoktype( project_dir "enums/ETokType.csv", project_dir "enums/AttributeTokens.csv" );
+		CodeNS parser_nspace = def_namespace( name(Parser), def_namespace_body( args(etoktype)) );
 
 		header.print_fmt( "GEN_NS_BEGIN\n\n");
-		header.print( data );
+		header.print( static_data );
+
+		header.print_fmt( "#pragma region AST\n\n" );
 		header.print( ast_case_macros );
 		header.print( ast );
+		header.print_fmt( "#pragma endregion AST\n\n" );
+
+		header.print_fmt( "#pragma region Interface\n\n" );
 		header.print( interface );
 		header.print( upfront );
+		header.print_fmt( "#pragma region Parsing\n\n" );
 		header.print( parser_nspace );
 		header.print( parsing );
+		header.print_fmt( "#pragma endregion Parsing\n\n" );
 		header.print( untyped );
-			header.print( builder );
+		header.print_fmt( "#pragma endregion Interface\n\n");
+
+		if ( generate_builder )
+		{
+			header.print_fmt( "#pragma region Builder\n\n" );
+			header.print( scan_file( project_dir "file_processors/builder.cpp" ) );
+			header.print_fmt( "#pragma endregion Builder\n\n" );
+		}
+
+#if 0
+		if ( generate_scanner )
+		{
+			header.print_fmt( "#pragma region Scanner\n\n" );
+			header.print( scan_file( project_dir "file_processors/scanner.cpp" ) );
+			header.print_fmt( "#pragma endregion Scanner\n\n" );
+		}
+#endif
+
 		header.print_fmt( "GEN_NS_END\n");
 
 		header.print_fmt( "%s\n", (char const*) implementation_guard_end );
@@ -209,4 +255,5 @@ int gen_main()
 
 	gen::deinit();
 	return 0;
+#undef project_dir
 }

test/Readme.md

@@ -1,11 +1,6 @@
 # Test
 
-The following tests focus on attempting to generate some math, containers, and the memory module of zpl.
+The implementaiton here is not well organized and needs a rewrite..
 
-Not all the files are written how I would practically use the library, the containers for example would
-be better on in c++ as templates, since the templates they generate are trivial symbols to inspect or debug.
-
-An example of a non-trivial generation is a container for elements with SOA or AOS policy for layout.
-(If a unified element syntax is desired)
-
-The test is divided between two major sets of tests: Parsed and Upfront.
+I only do basic sanity and parsing tests for the most part.  
+The library is getting practical usage tests in [genc](https://github.com/Ed94/genc) and other projects.

test/SOA.cpp

@@ -1,9 +1,9 @@
-#if GEN_TIME
 #define GEN_DEFINE_LIBRARY_CODE_CONSTANTS
 #define GEN_ENFORCE_STRONG_CODE_TYPES
 #define GEN_EXPOSE_BACKEND
 #define GEN_BENCHMARK
-#include "gen.hpp"
+#include "gen/gen.hpp"
+#include "gen/gen.builder.hpp"
 using namespace gen;
 
 Code gen_SOA( CodeStruct struct_def, s32 num_entries = 0 )
@@ -118,7 +118,7 @@ void check_SOA()
 {
 	log_fmt("\ncheck_SOA:");
 	gen::init();
-	Builder soa_test; soa_test.open( "SOA.gen.hpp" );
+	Builder soa_test = Builder::open( "SOA.gen.hpp" );
 
 	soa_test.print( parse_using( code(
 		using u16 = unsigned short;
@@ -142,4 +142,3 @@ void check_SOA()
 	gen::deinit();
 	log_fmt(" passed!\n");
 }
-#endif

test/parsed/Sanity.Parsed.hpp

@@ -132,7 +132,7 @@ u32 gen_sanity()
 
 	// Namespace
 	{
-		CodeNamespace def = parse_namespace( code(
+		CodeNS def = parse_namespace( code(
 			namespace TestNamespace
 			{
 			}
@@ -283,7 +283,7 @@ u32 gen_sanity()
 			using TestUsing = u8;
 		));
 
-		CodeNamespace nspace = parse_namespace( code(
+		CodeNS nspace = parse_namespace( code(
 			namespace TestNamespace
 			{
 			};

test/parsed/test.parsing.cpp

@@ -4,11 +4,11 @@
 #define GEN_ENFORCE_STRONG_CODE_TYPES
 #define GEN_EXPOSE_BACKEND
 #define GEN_BENCHMARK
-#include "Parsed\Array.Parsed.hpp"
-#include "Parsed\Buffer.Parsed.hpp"
-#include "Parsed\HashTable.Parsed.hpp"
-#include "Parsed\Ring.Parsed.hpp"
-#include "Parsed\Sanity.Parsed.hpp"
+#include "Array.Parsed.hpp"
+#include "Buffer.Parsed.hpp"
+#include "HashTable.Parsed.hpp"
+#include "Ring.Parsed.hpp"
+#include "Sanity.Parsed.hpp"
 #include "SOA.cpp"
 #include "gen.cpp"
 

test/sanity.cpp

@@ -1,11 +1,11 @@
 // Testing to make sure backend of library is operating properly.
 
-#ifdef GEN_TIME
 #define GEN_DEFINE_LIBRARY_CODE_CONSTANTS
 #define GEN_ENFORCE_STRONG_CODE_TYPES
 #define GEN_EXPOSE_BACKEND
 #define GEN_BENCHMARK
-#include "gen.hpp"
+#include "gen/gen.hpp"
+#include "gen/gen.builder.hpp"
 
 void check_sanity()
 {
@@ -89,4 +89,3 @@ void check_sanity()
 	gen::deinit();
 	log_fmt("\nSanity passed!\n");
 }
-#endif

test/test.cpp

@@ -2,9 +2,11 @@
 #define GEN_ENFORCE_STRONG_CODE_TYPES
 #define GEN_EXPOSE_BACKEND
 #define GEN_BENCHMARK
-#include "gen.cpp"
+#include "gen/gen.cpp"
+#include "gen/gen.builder.cpp"
 #include "sanity.cpp"
 #include "SOA.cpp"
+#include "test.singleheader_ast.cpp"
 
 #if GEN_TIME
 int gen_main()
@@ -12,10 +14,12 @@ int gen_main()
 	using namespace gen;
 	log_fmt("\ngen_time:");
 
-	check_sanity();
+	// check_sanity();
 
 	check_SOA();
 
+	check_singleheader_ast();
+
 	return 0;
 }
 #endif

test/test.singleheader_ast.cpp

@@ -0,0 +1,33 @@
+#define GEN_DEFINE_LIBRARY_CODE_CONSTANTS
+#define GEN_ENFORCE_STRONG_CODE_TYPES
+#define GEN_EXPOSE_BACKEND
+#define GEN_BENCHMARK
+#include "gen/gen.hpp"
+#include "gen/gen.builder.hpp"
+#include "gen/gen.scanner.hpp"
+using namespace gen;
+
+void check_singleheader_ast()
+{
+	#define project_dir "../../"
+	gen::init();
+	log_fmt("\ncheck_singleheader_ast:\n");
+
+	FileContents file       = file_read_contents( GlobalAllocator, true, project_dir "singleheader/gen/gen.hpp" );
+	u64          time_start = time_rel_ms();
+	CodeBody     ast        = parse_global_body( { file.size, (char const*)file.data } );
+
+	log_fmt("\nAst generated. Time taken: %llu ms\n", time_rel_ms() - time_start);
+
+	log_fmt("\nSerializng ast:\n");
+	time_start = time_rel_ms();
+
+	Builder
+	builder = Builder::open( "singleheader_copy.gen.hpp" );
+	builder.print( ast );
+	builder.write();
+
+	log_fmt("passed!! Time taken: %llu ms\n", time_rel_ms() - time_start);
+
+	gen::deinit();
+}

test/upfront/Sanity.Upfront.hpp

@@ -139,7 +139,7 @@ u32 gen_sanity_upfront()
 
 	// Namespace
 	{
-		CodeNamespace namespace_def;
+		CodeNS namespace_def;
 		{
 			CodeBody body = def_namespace_body( 1
 				, def_comment( txt_StrC("Empty namespace body") )

test/upfront/test.upfront.cpp

@@ -5,12 +5,11 @@
 #define GEN_EXPOSE_BACKEND
 #define GEN_BENCHMARK
 #include "gen.cpp"
-#include "Upfront\Array.Upfront.hpp"
-#include "Upfront\Buffer.Upfront.hpp"
-#include "Upfront\HashTable.Upfront.hpp"
-#include "Upfront\Ring.Upfront.hpp"
-#include "Upfront\Sanity.Upfront.hpp"
-
+#include "Array.Upfront.hpp"
+#include "Buffer.Upfront.hpp"
+#include "HashTable.Upfront.hpp"
+#include "Ring.Upfront.hpp"
+#include "Sanity.Upfront.hpp"
 
 
 using namespace gen;

test/validate_bootstrap.cpp

@@ -0,0 +1,3 @@
+// Constructs an AST from the bootstrap generated gen files, then serializes it to a set of files.
+// Using the new set of serialized files, reconstructs the AST and then serializes it again.
+// The two sets of serialized files should be identical. (Verified by comparing the file hashes)

test/validate_singleheader.cpp

@@ -0,0 +1,3 @@
+// Constructs an AST from the singlheader generated gen files, then serializes it to a set of files.
+// Using the new set of serialized files, reconstructs the AST and then serializes it again (to different set of files).
+// The two sets of serialized files should be identical. (Verified by comparing the file hashes)