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()}");
}
}