EP 0.1.1

Convention/[Symbolization]/Detail/Keyword.cs

@@ -0,0 +1,101 @@
+using System;
+using System.Collections.Generic;
+using System.Linq;
+using System.Text;
+using System.Threading.Tasks;
+
+namespace Convention.Symbolization.Internal
+{
+    public abstract class Keyword : Variable
+    {
+        protected Keyword(string keyword, Type realType) : base(new(keyword, realType))
+        {
+            Keywords.Add(keyword, this);
+        }
+
+        public static readonly Dictionary<string, Keyword> Keywords = new();
+
+        public abstract SymbolizationContext Execute(SymbolizationContext context, Variable[] leftParameters, Variable[] rightParameters);
+
+        public override string ToString()
+        {
+            return SymbolInfo.SymbolName;
+        }
+    }
+
+    public abstract class Keyword<T> : Keyword where T:Keyword<T>,new()
+    {
+        private static T MyInstance = new();
+
+        public static T Instance
+        {
+            get
+            {
+                return MyInstance;
+            }
+        }
+
+        protected Keyword(string keyword) : base(keyword, typeof(T))
+        {
+        }
+
+        public override bool Equals(Variable other)
+        {
+            return MyInstance == other;
+        }
+    }
+
+}
+
+namespace Convention.Symbolization.Keyword
+{
+    public sealed class ExitScope : Internal.Keyword<ExitScope>
+    {
+        public ExitScope() : base("__exit_scope__")
+        {
+        }
+
+        public override SymbolizationContext Execute(SymbolizationContext context, Internal.Variable[] leftParameters, Internal.Variable[] rightParameters)
+        {
+            context.CurrentNamespace.EndAndTApplyUpdate();
+            return context.ParentContext;
+        }
+    }
+
+    public sealed class Namespace : Internal.Keyword<Namespace>
+    {
+        public Namespace() : base("namespace")
+        {
+        }
+        public override SymbolizationContext Execute(SymbolizationContext context, Internal.Variable[] leftParameters, Internal.Variable[] rightParameters)
+        {
+            if (leftParameters.Length != 0)
+                throw new InvalidGrammarException($"{this}: has invalid subject");
+            if (rightParameters.Length != 1)
+                throw new InvalidGrammarException($"{this}: needs to have one and only one object");
+            Internal.Namespace subNamespace = context.CurrentNamespace.CreateOrGetSubNamespace(rightParameters[0].ToString());
+            subNamespace.BeginUpdate();
+            SymbolizationContext subContext = new(context, subNamespace);
+            return subContext;
+        }
+    }
+
+    public sealed class Structure : Internal.Keyword<Structure>
+    {
+        public Structure() : base("struct")
+        {
+        }
+
+        public override SymbolizationContext Execute(SymbolizationContext context, Internal.Variable[] leftParameters, Internal.Variable[] rightParameters)
+        {
+            if (leftParameters.Length != 0)
+                throw new InvalidGrammarException($"{this}: has invalid subject");
+            if (rightParameters.Length != 1)
+                throw new InvalidGrammarException($"{this}: needs to have one and only one object");
+            Internal.Namespace subNamespace = context.CurrentNamespace.CreateOrGetSubNamespace(rightParameters[0].ToString());
+            subNamespace.BeginUpdate();
+            SymbolizationContext subContext = new(context, subNamespace);
+            return subContext;
+        }
+    }
+}