From a8eeb497670fb0f2ffab1f9b070808df965415be Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Mon, 7 Aug 2017 16:39:19 +0200 Subject: the linearizer API now allows to detect metavariables. This is used for instancein the lookup where the tokens produced from the metavariables are interpreted as distinct from all other tokens. --- src/runtime/dotNet/Native.cs | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src/runtime/dotNet/Native.cs') diff --git a/src/runtime/dotNet/Native.cs b/src/runtime/dotNet/Native.cs index 346f85905..5c750e010 100644 --- a/src/runtime/dotNet/Native.cs +++ b/src/runtime/dotNet/Native.cs @@ -221,6 +221,9 @@ namespace PGFSharp [UnmanagedFunctionPointer(CallingConvention.Cdecl)] public delegate void LinFuncSymbolCapitalization(IntPtr self); + [UnmanagedFunctionPointer(CallingConvention.Cdecl)] + public delegate void LinFuncSymbolMeta(IntPtr self, int meta_id); + [StructLayout(LayoutKind.Sequential)] public struct PgfLinFuncs { @@ -241,6 +244,9 @@ namespace PGFSharp [MarshalAs(UnmanagedType.FunctionPtr)] public LinFuncSymbolCapitalization symbol_capit; + + [MarshalAs(UnmanagedType.FunctionPtr)] + public LinFuncSymbolMeta symbol_meta; } #endregion -- cgit v1.2.3