public override bool TryInvokeMember(InvokeMemberBinder binder, object[] args, out object result)
{
result = null;
uint n_hypos = 0;
using (var str = new Native.NativeString(binder.Name))
{
var typePtr = Native.pgf_function_type(gr._ptr, str.Ptr);
if (typePtr == IntPtr.Zero)
{
return(false);
}
n_hypos = NativeGU.SeqLength(Marshal.PtrToStructure <Type.PgfType>(typePtr).hypos);
}
if (args.Length != n_hypos)
{
return(false);
}
Expr[] exprs = new Expr[args.Length];
for (var i = 0; i < args.Length; i++)
{
exprs[i] = args[i] as Expr;
if (exprs[i] == null)
{
return(false);
}
}
result = new ApplicationExpr(binder.Name, exprs);
return(true);
}
