FNC metadata, mention hooks, add keywords for safety attributes, and …

…add inherits to metadata spec

source/fnc/metadata.d

@@ -0,0 +1,149 @@
+module fnc.metadata;
+
+public enum SymAttr : ulong
+{
+    // TODO: Make sure Fern can automatically infer long from shifting
+    //       D doesn't do this so 1 << 32 throws an error about the fact that 1 is assumed to be int.
+
+    // Top-Level Kind
+    TYPE = 1L << 0,
+    STRUCT = 1L << 1,
+    CLASS = 1L << 2,
+    TAGGED = 1L << 3,
+    TUPLE = 1L << 4,
+    MODULE = 1L << 5,
+
+    FUNCTION = 1L << 5,
+    DELEGATE = 1L << 6,
+    LAMBDA = 1L << 7,
+    CTOR = 1L << 8,
+    DTOR = 1L << 9,
+    UNITTEST = 1L << 10,
+
+    FIELD = 1L << 11,
+    LOCAL = 1L << 12,
+    PARAMETER = 1L << 13,
+
+    EXPRESSION = 1L << 14,
+    LITERAL = 1L << 15,
+
+    // Attributes
+    PUBLIC = 1L << 16,
+    PRIVATE = 1L << 17,
+    INTERNAL = 1L << 18,
+
+    SAFE = 1L << 19,
+    SYSTEM = 1L << 20,
+    TRUSTED = 1L << 21,
+
+    STATIC = 1L << 22,
+    // NOT thread-local storage.
+    GLOBAL = 1L << 23,
+    // Non-temporal.
+    TRANSIENT = 1L << 24,
+    ATOMIC = 1L << 25,
+    BITFIELD = 1L << 26,
+    PURE = 1L << 36,
+    CONST = 1L << 37,
+    REF = 1L << 38,
+
+    KIND_HEAP = 1L << 27,
+    KIND_STACK = 1L << 28,
+    KIND_SCALAR = 1L << 29,
+    KIND_FLOAT = 1L << 30,
+    KIND_XMM = 1L << 31,
+    KIND_YMM = 1L << 32,
+    KIND_ZMM = 1L << 33,
+    KIND_READONLY = 1L << 34,
+    KIND_DEFAULT = 1L << 35,
+
+    ARRAY = 1L << 39,
+    DYNARRAY = 1L << 40,
+    // Static array.
+    FIXARRAY = 1L << 41,
+    // Associative array.
+    ASOARRAY = 1L << 42,
+
+    STRING = 1L << 43,
+    WSTRING = 1L << 44,
+    DSTRING = 1L << 45,
+    BYTE = 1L << 46,
+    WORD = 1L << 47,
+    DWORD = 1L << 48,
+    QWORD = 1L << 49,
+    FLOAT = 1L << 50,
+    DOUBLE = 1L << 51,
+    SIGNED = 1L << 52,
+}
+
+public class Symbol
+{
+public:
+final:
+    SymAttr attr;
+    string name;
+    Symbol[] parents;
+    Symbol[] children;
+    Symbol[] attributes;
+}
+
+public struct Type
+{
+public:
+final:
+    Symbol sym;
+    Symbol[] inherits;
+    Field[string] fields;
+    Function[string] functions;
+    ubyte[] data;
+    size_t size;
+    size_t alignment;
+
+    string type()
+    {
+        if ((sym.attr & SymAttr.CLASS) != 0)
+            return "class";
+        else if ((sym.attr & SymAttr.TAGGED) != 0)
+            return "tagged";
+        else //if ((sym.attr & SymAttr.STRUCT) != 0)
+            return "struct";
+    }
+}
+
+public struct Function
+{
+public:
+final:
+    Symbol sym;
+    Symbol returnof;
+    Symbol[] parameters;
+    //Instruction[], Variable[string], size
+    size_t alignment;
+
+    string type()
+    {
+        // ctor and dtor are also functions, so we needn't check for them.
+        if ((sym.attr & SymAttr.FUNCTION) != 0)
+            return "function";
+        else if ((sym.attr & SymAttr.UNITTEST) != 0)
+            return "unittest";
+        else
+            return "delegate";
+    }
+}
+
+public struct Field
+{
+public:
+final:
+    Symbol sym;
+    ubyte[] data;
+    size_t size;
+    size_t alignment;
+    size_t offset;
+
+    Symbol type()
+    {
+        return sym.parents[$-1];
+    }
+}

spec/concepts.txt

@@ -1,2 +1,3 @@
 operator overloading
-attributes performing overloading of certain things like initialization, functions, etc.
+attributes performing overloading of certain things like initialization, functions, etc.
+hooks

spec/lexical.md

@@ -92,7 +92,9 @@ Scopes in Fern are started and ended using curly brackets.
 | `private` | [Attribute](grammar.md#attributes)
 | `internal` | [Attribute](grammar.md#attributes)
 | `partial` | [Attribute](grammar.md#attributes)
-| `unsafe` | [Attribute](grammar.md#attributes)
+| `system` | [Attribute](grammar.md#attributes)
+| `trusted` | [Attribute](grammar.md#attributes)
+| `safe` | [Attribute](grammar.md#attributes)
 | `inline` | [Attribute](grammar.md#attributes)
 | `mustuse` | [Attribute](grammar.md#attributes)
 | `ref` | [Attribute](grammar.md#attributes)

spec/metadata.md

@@ -8,6 +8,7 @@
 | `children` | Children of the given symbol. | All |
 | `parents` | Parents of the given symbol. | All |
 | `symattr` | The symbol attributes of the given symbol has, this is ***not*** the same as `attributes`. | All |
+| `inherits` | Initial value of the given symbol's data. | Types |
 | `sizeof` | The size of the given symbol's data. | Variables, Types, Functions |
 | `alignof` | The alignment of the given symbol's data. | Variables, Types, Functions |
 | `typeof` | The type of the given symbol's data. | Variables, Types |