1 files changed, 157 insertions, 0 deletions
diff --git a/src/runtime/dotNet/PGF.cs b/src/runtime/dotNet/PGF.cs
new file mode 100644
index 000000000..e6efae1d5
--- /dev/null
+++ b/src/runtime/dotNet/PGF.cs
@@ -0,0 +1,157 @@
+using System;
+using System.Collections.Generic;
+using System.Linq;
+using System.Runtime.InteropServices;
+using System.Text;
+using System.Threading.Tasks;
+
+namespace PGFSharp
+{
+    /// <summary>
+    /// Grammatical Framework grammar.
+    /// </summary>
+    public class PGF
+    {
+        private PGF() { }
+
+        IntPtr _ptr;
+        NativeGU.NativeMemoryPool pool;
+
+        /// <summary>
+        /// Read grammar from PGF file.
+        /// </summary>
+        /// <param name="fn">filename</param>
+        /// <returns></returns>
+        public static PGF ReadPGF(string fn)
+        {
+            var obj = new PGF();
+            var exn = new NativeGU.NativeExceptionContext(new NativeGU.NativeMemoryPool());
+            obj.pool = new NativeGU.NativeMemoryPool();
+            obj._ptr = Native.pgf_read(fn, obj.pool.Ptr, exn.Ptr);
+            if (exn.IsRaised)
+            {
+                throw new PGFError($"Could not read PGF from file {fn}. ({System.IO.Directory.GetCurrentDirectory()})");
+            }
+            return obj;
+        }
+
+        public override string ToString() => $"Grammar:{Name}, {String.Join(", ", Languages.Keys)}";
+
+        /// <summary>
+        /// Name of the abstract grammar.
+        /// </summary>
+        public string Name => Native.NativeString.StringFromNativeUtf8(Native.pgf_abstract_name(_ptr));
+
+        /// <summary>
+        /// Default category of the grammar.
+        /// </summary>
+        public Type StartCat => Type.FromPtr(Native.pgf_start_cat(_ptr, pool.Ptr), pool);
+
+        /// <summary>
+        /// All concrete grammars in the language.
+        /// </summary>
+        public Dictionary<string, Concr> Languages
+        {
+            get
+            {
+                var dict = new Dictionary<string, Concr>();
+                Native.MapIter(Native.pgf_iter_languages, _ptr, (k, v) => dict[k] = Concr.FromPtr(this, dereference(v)));
+                return dict;
+            }
+        }
+
+        private IntPtr dereference(IntPtr ptr)
+        {
+            return (IntPtr)Marshal.PtrToStructure(ptr, typeof(IntPtr));
+        }
+
+        /// <summary>
+        /// All categories in the abstract grammar.
+        /// </summary>
+        public IEnumerable<string> Categories => GetStringList(Native.pgf_iter_categories);
+
+        /// <summary>
+        /// All functions in the abstract grammar.
+        /// </summary>
+        public IEnumerable<string> Functions => GetStringList(Native.pgf_iter_functions);
+
+        /// <summary>
+        /// All functions producing the given category name.
+        /// </summary>
+        /// <param name="catName"></param>
+        /// <returns></returns>
+        public IEnumerable<string> FunctionByCategory(string catName)
+        {
+            using (var str = new Native.NativeString(catName))
+            {
+                return GetStringList(new Native.IterFuncCurryName(Native.pgf_iter_functions_by_cat, str.Ptr).IterFunc);
+            }
+        }
+
+        /// <summary>
+        /// Get type from function name.
+        /// </summary>
+        /// <param name="funName"></param>
+        /// <returns></returns>
+        public Type FunctionType(string funName)
+        {
+            using (var str = new Native.NativeString(funName))
+            {
+                var typePtr = Native.pgf_function_type(_ptr, str.Ptr);
+                if (typePtr == IntPtr.Zero) throw new NullReferenceException();
+                return Type.FromPtr(typePtr, pool);
+            }
+        }
+
+        /// <summary>
+        /// Reduce expression.
+        /// </summary>
+        /// <param name="expr"></param>
+        /// <returns></returns>
+        public Expr Compute(Expr expr)
+        {
+            var tmp_pool = new NativeGU.NativeMemoryPool();
+            var exn = new NativeGU.NativeExceptionContext(tmp_pool);
+            var result_pool = new NativeGU.NativeMemoryPool();
+            var newExpr = Native.pgf_compute(_ptr, expr.Ptr, exn.Ptr, pool.Ptr, result_pool.Ptr);
+
+            if (exn.IsRaised || newExpr == IntPtr.Zero)
+            {
+                throw new PGFError("Could not reduce expression.");
+            }
+            else
+            {
+                return Expr.FromPtr(newExpr, result_pool);
+            }
+        }
+
+        /// <summary>
+        /// Enumerate all expressions in the given category.
+        /// </summary>
+        /// <param name="cat"></param>
+        /// <returns></returns>
+        public IEnumerable<Expr> GenerateAll(Type cat = null)
+        {
+            cat = cat ?? StartCat;
+            var tmp_pool = new NativeGU.NativeMemoryPool();
+            var exn = new NativeGU.NativeExceptionContext(tmp_pool);
+            var result_pool = new NativeGU.NativeMemoryPool();
+            IntPtr ptr = IntPtr.Zero;
+            var iterator = Native.pgf_generate_all(this._ptr, cat.Ptr, exn.Ptr, tmp_pool.Ptr, result_pool.Ptr);
+
+            return NativeGU.IteratorToIEnumerable(iterator, tmp_pool.Ptr).Select(p =>
+            {
+                var exprProb = Marshal.PtrToStructure<Native.PgfExprProb>(ptr);
+                return Expr.FromPtr(exprProb.expr, result_pool);
+
+            });
+        }
+
+        private IEnumerable<string> GetStringList(Native.MapIterFunc f)
+        {
+            var c = new List<string>();
+            Native.MapIter(f, _ptr, (k, v) => c.Add(k));
+            return c;
+        }
+    }
+}