private async Task <ExecValue> executeNativeInt16FunctionAsync(ExecutionContext ctx, FunctionDefinition func, ObjectData thisValue) { if (func == ctx.Env.Int16ParseStringFunction) { ObjectData arg_ptr = ctx.FunctionArguments.Single(); ObjectData arg_val = arg_ptr.DereferencedOnce(); string input_str = arg_val.NativeString; Option <ObjectData> int_obj; if (Int16.TryParse(input_str, out Int16 int_val)) { int_obj = new Option <ObjectData>(await ObjectData.CreateInstanceAsync(ctx, ctx.Env.Int16Type.InstanceOf, int_val) .ConfigureAwait(false)); } else { int_obj = new Option <ObjectData>(); } ExecValue opt_exec = await createOption(ctx, func.ResultTypeName.Evaluation.Components, int_obj).ConfigureAwait(false); if (opt_exec.IsThrow) { return(opt_exec); } ObjectData result = opt_exec.ExprValue; return(ExecValue.CreateReturn(result)); } else if (func.Name.Name == NameFactory.AddOperator) { var this_int = thisValue.NativeInt16; ObjectData arg = ctx.FunctionArguments.Single(); var arg_int = arg.NativeInt16; Int16 value = (Int16) checked (this_int + arg_int); ObjectData res_value = await ObjectData.CreateInstanceAsync(ctx, thisValue.RunTimeTypeInstance, value) .ConfigureAwait(false); ExecValue result = ExecValue.CreateReturn(res_value); return(result); } else if (func.Name.Name == NameFactory.AddOverflowOperator) { var this_int = thisValue.NativeInt16; ObjectData arg = ctx.FunctionArguments.Single(); var arg_int = arg.NativeInt16; Int16 value1 = (Int16)(this_int + arg_int); ObjectData res_value = await ObjectData.CreateInstanceAsync(ctx, thisValue.RunTimeTypeInstance, value1) .ConfigureAwait(false); ExecValue result = ExecValue.CreateReturn(res_value); return(result); } else if (func.Name.Name == NameFactory.MulOperator) { var this_int = thisValue.NativeInt16; ObjectData arg = ctx.FunctionArguments.Single(); var arg_int = arg.NativeInt16; Int16 value2 = (Int16) checked (this_int * arg_int); ObjectData res_value = await ObjectData.CreateInstanceAsync(ctx, thisValue.RunTimeTypeInstance, value2) .ConfigureAwait(false); ExecValue result = ExecValue.CreateReturn(res_value); return(result); } else if (func.Name.Name == NameFactory.SubOperator) { ObjectData arg = ctx.FunctionArguments.Single(); var this_int = thisValue.NativeInt16; var arg_int = arg.NativeInt16; Int16 value3 = (Int16) checked (this_int - arg_int); ObjectData res_value = await ObjectData.CreateInstanceAsync(ctx, thisValue.RunTimeTypeInstance, value3) .ConfigureAwait(false); ExecValue result = ExecValue.CreateReturn(res_value); return(result); } else if (func.IsDefaultInitConstructor()) { thisValue.Assign(await ObjectData.CreateInstanceAsync(ctx, thisValue.RunTimeTypeInstance, (Int16)0).ConfigureAwait(false)); return(ExecValue.CreateReturn(null)); } else if (func.IsCopyInitConstructor(ctx.CreateBareComputation())) { thisValue.Assign(ctx.FunctionArguments.Single()); return(ExecValue.CreateReturn(null)); } else if (func.Name.Name == NameFactory.ComparableCompare) { ObjectData arg = ctx.FunctionArguments.Single(); var this_int = thisValue.NativeInt16; var arg_int = arg.NativeInt16; ObjectData ordering_type = await ctx.TypeRegistry.RegisterGetAsync(ctx, ctx.Env.OrderingType.InstanceOf).ConfigureAwait(false); ObjectData ordering_value; if (this_int < arg_int) { ordering_value = ordering_type.GetField(ctx.Env.OrderingLess); } else if (this_int > arg_int) { ordering_value = ordering_type.GetField(ctx.Env.OrderingGreater); } else { ordering_value = ordering_type.GetField(ctx.Env.OrderingEqual); } ExecValue result = ExecValue.CreateReturn(ordering_value); return(result); } else { ExecValue?result = await numComparisonAsync <Int16>(ctx, func, thisValue).ConfigureAwait(false); if (result.HasValue) { return(result.Value); } else { throw new NotImplementedException($"Function {func} is not implemented"); } } }
private async Task <ExecValue> executeNativeRegexFunctionAsync(ExecutionContext ctx, FunctionDefinition func, ObjectData thisValue) { if (func == ctx.Env.RegexContainsFunction) { ObjectData arg = ctx.FunctionArguments.Single(); ObjectData arg_val = arg.DereferencedOnce(); string arg_str = arg_val.NativeString; ObjectData pattern_obj = thisValue.GetField(ctx.Env.RegexPatternField); ObjectData pattern_val = pattern_obj.DereferencedOnce(); string pattern = pattern_val.NativeString; bool val = new System.Text.RegularExpressions.Regex(pattern).IsMatch(arg_str); ExecValue result = ExecValue.CreateReturn(await ObjectData.CreateInstanceAsync(ctx, func.ResultTypeName.Evaluation.Components, val).ConfigureAwait(false)); return(result); } else if (func == ctx.Env.RegexMatchFunction) { ObjectData arg = ctx.FunctionArguments.Single(); ObjectData arg_val = arg.DereferencedOnce(); string arg_str = arg_val.NativeString; ObjectData pattern_obj = thisValue.GetField(ctx.Env.RegexPatternField); ObjectData pattern_val = pattern_obj.DereferencedOnce(); string pattern = pattern_val.NativeString; System.Text.RegularExpressions.Regex regex = new System.Text.RegularExpressions.Regex(pattern); System.Text.RegularExpressions.MatchCollection matches = regex.Matches(arg_str); var elements = new List <ObjectData>(); for (int match_idx = 0; match_idx < matches.Count; ++match_idx) { System.Text.RegularExpressions.Match match = matches[match_idx]; ObjectData match_start_val = await createNat64Async(ctx, (UInt64)match.Index).ConfigureAwait(false); ObjectData match_end_val = await createNat64Async(ctx, (UInt64)(match.Index + match.Length)).ConfigureAwait(false); ObjectData array_captures_ptr; { if (!ctx.Env.DereferencedOnce(ctx.Env.MatchCapturesProperty.TypeName.Evaluation.Components, out IEntityInstance array_captures_type, out bool dummy)) { throw new Exception($"Internal error {ExceptionCode.SourceInfo()}"); } ExecValue ret = await createObject(ctx, true, array_captures_type, ctx.Env.ArrayDefaultConstructor, null) .ConfigureAwait(false); if (ret.IsThrow) { return(ret); } array_captures_ptr = ret.ExprValue; ctx.Heap.TryInc(ctx, array_captures_ptr, RefCountIncReason.StoringLocalPointer, ""); // skipping implicit "everything" group for (int grp_idx = 1; grp_idx < match.Groups.Count; ++grp_idx) { System.Text.RegularExpressions.Group group = match.Groups[grp_idx]; string group_name = regex.GroupNameFromNumber(grp_idx); if (group_name == $"{grp_idx}") // hack for anonymous captures { group_name = null; } for (int cap_idx = 0; cap_idx < group.Captures.Count; ++cap_idx) { System.Text.RegularExpressions.Capture cap = group.Captures[cap_idx]; ObjectData cap_start_val = await createNat64Async(ctx, (UInt64)cap.Index).ConfigureAwait(false); ObjectData cap_end_val = await createNat64Async(ctx, (UInt64)(cap.Index + cap.Length)).ConfigureAwait(false); ObjectData cap_opt_name_val; { Option <ObjectData> opt_group_name_obj; if (group_name != null) { ObjectData str_ptr = await createStringAsync(ctx, group_name).ConfigureAwait(false); opt_group_name_obj = new Option <ObjectData>(str_ptr); } else { opt_group_name_obj = new Option <ObjectData>(); } IEntityInstance opt_cap_type = ctx.Env.CaptureConstructor.Parameters.Last().TypeName.Evaluation.Components; ExecValue opt_exec = await createOption(ctx, opt_cap_type, opt_group_name_obj).ConfigureAwait(false); if (opt_exec.IsThrow) { return(opt_exec); } cap_opt_name_val = opt_exec.ExprValue; } ExecValue capture_obj_exec = await createObject(ctx, false, ctx.Env.CaptureType.InstanceOf, ctx.Env.CaptureConstructor, null, cap_start_val, cap_end_val, cap_opt_name_val).ConfigureAwait(false); if (capture_obj_exec.IsThrow) { return(capture_obj_exec); } ObjectData capture_ref = await capture_obj_exec.ExprValue.ReferenceAsync(ctx).ConfigureAwait(false); ExecValue append_exec = await callNonVariadicFunctionDirectly(ctx, ctx.Env.ArrayAppendFunction, null, array_captures_ptr, capture_ref).ConfigureAwait(false); if (append_exec.IsThrow) { return(append_exec); } } } } ObjectData match_val; { ExecValue ret = await createObject(ctx, false, ctx.Env.MatchType.InstanceOf, ctx.Env.MatchConstructor, null, match_start_val, match_end_val, array_captures_ptr).ConfigureAwait(false); ctx.Heap.TryRelease(ctx, array_captures_ptr, null, false, RefCountDecReason.DroppingLocalPointer, ""); if (ret.IsThrow) { return(ret); } match_val = ret.ExprValue; } elements.Add(match_val); } ObjectData heap_chunk = await createChunkOnHeap(ctx, ctx.Env.MatchType.InstanceOf, elements).ConfigureAwait(false); ExecValue result = ExecValue.CreateReturn(heap_chunk); return(result); } else { throw new NotImplementedException($"{ExceptionCode.SourceInfo()}"); } }