Compare commits
11 Commits
b8a87bae4c
...
main
Author | SHA1 | Date | |
---|---|---|---|
58f3d1067c | |||
7b48066aaf | |||
dde9e6b82d | |||
d3e21cad15 | |||
52e8e85542 | |||
97a6e4d76b | |||
15bdb6f8db | |||
e2ab2a1077 | |||
3866cdd525 | |||
70051b46a5 | |||
35800776b9 |
31
DoRunner/BackpointRunner.cs
Normal file
31
DoRunner/BackpointRunner.cs
Normal file
@@ -0,0 +1,31 @@
|
||||
using Convention.RScript.Parser;
|
||||
using System.Diagnostics.CodeAnalysis;
|
||||
|
||||
namespace Convention.RScript.Runner
|
||||
{
|
||||
public class BackpointRunner : JumpRuntimePointerRunner
|
||||
{
|
||||
public override void Compile(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
|
||||
{
|
||||
|
||||
}
|
||||
|
||||
[return: MaybeNull]
|
||||
public override object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
|
||||
{
|
||||
// 检查并跳转到上次跳转的位置
|
||||
if (parser.Evaluate<bool>(sentence.content))
|
||||
{
|
||||
if (context.GotoPointerStack.Count == 0)
|
||||
{
|
||||
throw new RScriptRuntimeException($"No position to back.", context.CurrentRuntimePointer);
|
||||
}
|
||||
else
|
||||
{
|
||||
DoJumpRuntimePointer(parser, context.GotoPointerStack.Pop(), context);
|
||||
}
|
||||
}
|
||||
return null;
|
||||
}
|
||||
}
|
||||
}
|
36
DoRunner/BreakpointRunner.cs
Normal file
36
DoRunner/BreakpointRunner.cs
Normal file
@@ -0,0 +1,36 @@
|
||||
using Convention.RScript.Parser;
|
||||
using System.Diagnostics.CodeAnalysis;
|
||||
|
||||
namespace Convention.RScript
|
||||
{
|
||||
public class BreakpointRunner : IRSentenceRunner
|
||||
{
|
||||
public void Compile(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
|
||||
{
|
||||
parser.Compile<bool>(sentence.content);
|
||||
}
|
||||
|
||||
[return: MaybeNull]
|
||||
public object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
|
||||
{
|
||||
// 检查并跳转到当前命名空间的结束位置
|
||||
if (parser.Evaluate<bool>(sentence.content))
|
||||
{
|
||||
if (context.RuntimePointerStack.Count == 0)
|
||||
{
|
||||
context.CurrentRuntimePointer = context.Sentences.Length;
|
||||
}
|
||||
else if (context.NamespaceLayer.TryGetValue(context.RuntimePointerStack.Peek(), out var exitPointer))
|
||||
{
|
||||
context.CurrentRuntimePointer = exitPointer;
|
||||
context.SentenceRunners[RScriptSentence.Mode.ExitNamespace].Run(parser, context.CurrentSentence, context);
|
||||
}
|
||||
else
|
||||
{
|
||||
throw new RScriptRuntimeException($"No namespace to break.", context.CurrentRuntimePointer);
|
||||
}
|
||||
}
|
||||
return null;
|
||||
}
|
||||
}
|
||||
}
|
127
DoRunner/DefineVariableRunner.cs
Normal file
127
DoRunner/DefineVariableRunner.cs
Normal file
@@ -0,0 +1,127 @@
|
||||
using Convention.RScript.Parser;
|
||||
using System;
|
||||
using System.Diagnostics.CodeAnalysis;
|
||||
|
||||
namespace Convention.RScript.Runner
|
||||
{
|
||||
public class DefineVariableRunner : IRSentenceRunner
|
||||
{
|
||||
public void Compile(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
|
||||
{
|
||||
var varTypeName = sentence.info[0];
|
||||
var varName = sentence.info[1];
|
||||
var varInitExpression = sentence.info[2];
|
||||
Type varType;
|
||||
object varDefaultValue;
|
||||
{
|
||||
if (varTypeName == "string")
|
||||
{
|
||||
varType = typeof(string);
|
||||
varDefaultValue = "";
|
||||
}
|
||||
else if (varTypeName == "int")
|
||||
{
|
||||
varType = typeof(int);
|
||||
if (varInitExpression != null) parser.Compile<int>(varInitExpression);
|
||||
varDefaultValue = 0;
|
||||
}
|
||||
else if (varTypeName == "double")
|
||||
{
|
||||
varType = typeof(double);
|
||||
if (varInitExpression != null) parser.Compile<double>(varInitExpression);
|
||||
varDefaultValue = 0.0;
|
||||
}
|
||||
else if (varTypeName == "float")
|
||||
{
|
||||
varType = typeof(float);
|
||||
if (varInitExpression != null) parser.Compile<float>(varInitExpression);
|
||||
varDefaultValue = 0.0f;
|
||||
}
|
||||
else if (varTypeName == "bool")
|
||||
{
|
||||
varType = typeof(bool);
|
||||
if (varInitExpression != null) parser.Compile<bool>(varInitExpression);
|
||||
varDefaultValue = false;
|
||||
}
|
||||
else if (varTypeName == "var")
|
||||
{
|
||||
varType = typeof(object);
|
||||
if (varInitExpression != null) parser.Compile(varInitExpression);
|
||||
varDefaultValue = new object();
|
||||
}
|
||||
else
|
||||
{
|
||||
throw new RScriptRuntimeException($"Unsupported variable type '{varTypeName}'.", context.CurrentRuntimePointer);
|
||||
}
|
||||
}
|
||||
if (context.CurrentLocalSpaceVariableNames.Peek().Contains(varName) == false)
|
||||
{
|
||||
context.Variables.Add(varName, new(varType, default));
|
||||
parser.context.Variables[varName] = varDefaultValue;
|
||||
context.CurrentLocalSpaceVariableNames.Peek().Add(varName);
|
||||
}
|
||||
else
|
||||
{
|
||||
throw new RScriptRuntimeException($"Variable '{varName}' already defined on this namespace.", context.CurrentRuntimePointer);
|
||||
}
|
||||
}
|
||||
|
||||
[return: MaybeNull]
|
||||
public object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
|
||||
{
|
||||
// 定义变量
|
||||
var varTypeName = sentence.info[0];
|
||||
var varName = sentence.info[1];
|
||||
var varInitExpression = sentence.info[2];
|
||||
Type varType;
|
||||
object varDefaultValue;
|
||||
{
|
||||
if (varTypeName == "string")
|
||||
{
|
||||
varType = typeof(string);
|
||||
varDefaultValue = varInitExpression == null ? string.Empty : varInitExpression;
|
||||
}
|
||||
else if (varTypeName == "int")
|
||||
{
|
||||
varType = typeof(int);
|
||||
varDefaultValue = varInitExpression == null ? 0 : parser.Evaluate<int>(varInitExpression);
|
||||
}
|
||||
else if (varTypeName == "double")
|
||||
{
|
||||
varType = typeof(double);
|
||||
varDefaultValue = varInitExpression == null ? 0.0 : parser.Evaluate<double>(varInitExpression);
|
||||
}
|
||||
else if (varTypeName == "float")
|
||||
{
|
||||
varType = typeof(float);
|
||||
varDefaultValue = varInitExpression == null ? 0.0f : parser.Evaluate<float>(varInitExpression);
|
||||
}
|
||||
else if (varTypeName == "bool")
|
||||
{
|
||||
varType = typeof(bool);
|
||||
varDefaultValue = varInitExpression == null ? false : parser.Evaluate<bool>(varInitExpression);
|
||||
}
|
||||
else if (varTypeName == "var")
|
||||
{
|
||||
varType = typeof(object);
|
||||
varDefaultValue = varInitExpression == null ? new object() : parser.Evaluate(varInitExpression);
|
||||
}
|
||||
else
|
||||
{
|
||||
throw new RScriptRuntimeException($"Unsupported variable type '{varTypeName}'.", context.CurrentRuntimePointer);
|
||||
}
|
||||
}
|
||||
if (context.CurrentLocalSpaceVariableNames.Peek().Contains(varName) == false)
|
||||
{
|
||||
context.Variables.Add(varName, new(varType, varDefaultValue));
|
||||
parser.context.Variables[varName] = varDefaultValue;
|
||||
context.CurrentLocalSpaceVariableNames.Peek().Add(varName);
|
||||
}
|
||||
else
|
||||
{
|
||||
throw new RScriptRuntimeException($"Variable '{varName}' already defined on this namespace.", context.CurrentRuntimePointer);
|
||||
}
|
||||
return null;
|
||||
}
|
||||
}
|
||||
}
|
20
DoRunner/EnterNamedSpaceRunner.cs
Normal file
20
DoRunner/EnterNamedSpaceRunner.cs
Normal file
@@ -0,0 +1,20 @@
|
||||
using Convention.RScript.Parser;
|
||||
using System.Diagnostics.CodeAnalysis;
|
||||
|
||||
namespace Convention.RScript.Runner
|
||||
{
|
||||
public class EnterNamedSpaceRunner : IRSentenceRunner
|
||||
{
|
||||
public void Compile(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
|
||||
{
|
||||
|
||||
}
|
||||
|
||||
[return: MaybeNull]
|
||||
public object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
|
||||
{
|
||||
context.CurrentRuntimePointer = context.NamespaceLayer[context.NamespaceLabels[sentence.content]];
|
||||
return null;
|
||||
}
|
||||
}
|
||||
}
|
28
DoRunner/EnterNamespaceRunner.cs
Normal file
28
DoRunner/EnterNamespaceRunner.cs
Normal file
@@ -0,0 +1,28 @@
|
||||
using Convention.RScript.Parser;
|
||||
using System.Diagnostics.CodeAnalysis;
|
||||
|
||||
namespace Convention.RScript.Runner
|
||||
{
|
||||
public class EnterNamespaceRunner : IRSentenceRunner
|
||||
{
|
||||
public void Compile(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
|
||||
{
|
||||
|
||||
}
|
||||
|
||||
[return: MaybeNull]
|
||||
public object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
|
||||
{
|
||||
// 准备记录当前命名空间中定义的变量, 清空上层命名空间的变量
|
||||
context.CurrentLocalSpaceVariableNames.Push(new());
|
||||
// 更新变量值
|
||||
foreach (var (varName, varValue) in parser.context.Variables)
|
||||
{
|
||||
context.Variables.SetValue(varName, varValue);
|
||||
}
|
||||
// 压栈
|
||||
context.RuntimePointerStack.Push(context.CurrentRuntimePointer);
|
||||
return null;
|
||||
}
|
||||
}
|
||||
}
|
33
DoRunner/ExitNamespaceRunner.cs
Normal file
33
DoRunner/ExitNamespaceRunner.cs
Normal file
@@ -0,0 +1,33 @@
|
||||
using Convention.RScript.Parser;
|
||||
using System.Diagnostics.CodeAnalysis;
|
||||
|
||||
namespace Convention.RScript.Runner
|
||||
{
|
||||
public class ExitNamespaceRunner : IRSentenceRunner
|
||||
{
|
||||
public void Compile(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
|
||||
{
|
||||
|
||||
}
|
||||
|
||||
[return: MaybeNull]
|
||||
public object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
|
||||
{
|
||||
// 移除当前命名空间的变量
|
||||
foreach (var local in context.CurrentLocalSpaceVariableNames.Peek())
|
||||
{
|
||||
context.Variables.Remove(local);
|
||||
parser.context.Variables.Remove(local);
|
||||
}
|
||||
// 还原上层命名空间的变量
|
||||
foreach (var local in context.CurrentLocalSpaceVariableNames.Peek())
|
||||
{
|
||||
parser.context.Variables[local] = context.Variables[local].data;
|
||||
}
|
||||
context.CurrentLocalSpaceVariableNames.Pop();
|
||||
// 弹栈
|
||||
context.RuntimePointerStack.Pop();
|
||||
return null;
|
||||
}
|
||||
}
|
||||
}
|
19
DoRunner/ExpressionRunner.cs
Normal file
19
DoRunner/ExpressionRunner.cs
Normal file
@@ -0,0 +1,19 @@
|
||||
using Convention.RScript.Parser;
|
||||
using System.Diagnostics.CodeAnalysis;
|
||||
|
||||
namespace Convention.RScript.Runner
|
||||
{
|
||||
public class ExpressionRunner : IRSentenceRunner
|
||||
{
|
||||
public void Compile(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
|
||||
{
|
||||
parser.Compile(sentence.content);
|
||||
}
|
||||
|
||||
[return: MaybeNull]
|
||||
public object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
|
||||
{
|
||||
return parser.Evaluate(sentence.content);
|
||||
}
|
||||
}
|
||||
}
|
52
DoRunner/GoToRunner.cs
Normal file
52
DoRunner/GoToRunner.cs
Normal file
@@ -0,0 +1,52 @@
|
||||
using Convention.RScript.Parser;
|
||||
using System.Diagnostics.CodeAnalysis;
|
||||
|
||||
namespace Convention.RScript.Runner
|
||||
{
|
||||
public class GoToRunner : JumpRuntimePointerRunner
|
||||
{
|
||||
public override void Compile(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
|
||||
{
|
||||
parser.Compile<bool>(sentence.info[0]);
|
||||
}
|
||||
|
||||
[return: MaybeNull]
|
||||
public override object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
|
||||
{
|
||||
// 检查并跳转到指定标签
|
||||
if (parser.Evaluate<bool>(sentence.info[0]))
|
||||
{
|
||||
if (context.Labels.TryGetValue(sentence.content, out var labelPointer))
|
||||
{
|
||||
context.GotoPointerStack.Push(context.CurrentRuntimePointer);
|
||||
DoJumpRuntimePointer(parser, labelPointer, context);
|
||||
}
|
||||
else if (context.NamespaceLabels.TryGetValue(sentence.content, out labelPointer))
|
||||
{
|
||||
int current = context.CurrentRuntimePointer;
|
||||
//DoEnterNamespace(parser);
|
||||
context.SentenceRunners[RScriptSentence.Mode.EnterNamespace].Run(parser, context.CurrentSentence, context);
|
||||
context.CurrentRuntimePointer = labelPointer;
|
||||
for (int e = context.NamespaceLayer[context.NamespaceLabels[sentence.content]]; ;)
|
||||
{
|
||||
context.RunNextStep(parser);
|
||||
if (context.CurrentRuntimePointer >= context.Sentences.Length)
|
||||
break;
|
||||
else if (context.CurrentRuntimePointer == e)
|
||||
break;
|
||||
else
|
||||
context.CurrentRuntimePointer++;
|
||||
}
|
||||
//context.DoExitNamespace(parser);
|
||||
context.SentenceRunners[RScriptSentence.Mode.ExitNamespace].Run(parser, context.CurrentSentence, context);
|
||||
context.CurrentRuntimePointer = current;
|
||||
}
|
||||
else
|
||||
{
|
||||
throw new RScriptRuntimeException($"Label '{sentence.content}' not found.", context.CurrentRuntimePointer);
|
||||
}
|
||||
}
|
||||
return null;
|
||||
}
|
||||
}
|
||||
}
|
64
DoRunner/JumpRuntimePointerRunner.cs
Normal file
64
DoRunner/JumpRuntimePointerRunner.cs
Normal file
@@ -0,0 +1,64 @@
|
||||
using Convention.RScript.Parser;
|
||||
using System;
|
||||
using System.Diagnostics.CodeAnalysis;
|
||||
|
||||
namespace Convention.RScript.Runner
|
||||
{
|
||||
public abstract class JumpRuntimePointerRunner : IRSentenceRunner
|
||||
{
|
||||
protected static void DoJumpRuntimePointer(ExpressionParser parser, int target, RScriptContext context)
|
||||
{
|
||||
int currentPointer = context.CurrentRuntimePointer;
|
||||
bool isForwardMove = target > context.CurrentRuntimePointer;
|
||||
int step = isForwardMove ? 1 : -1;
|
||||
int depth = 0;
|
||||
int lastLayer = 0;
|
||||
for (; context.CurrentRuntimePointer != target; context.CurrentRuntimePointer += step)
|
||||
{
|
||||
if (context.CurrentSentence.mode == RScriptSentence.Mode.ExitNamespace)
|
||||
{
|
||||
if (isForwardMove)
|
||||
lastLayer--;
|
||||
else
|
||||
lastLayer++;
|
||||
}
|
||||
else if (context.CurrentSentence.mode == RScriptSentence.Mode.EnterNamespace)
|
||||
{
|
||||
if (isForwardMove)
|
||||
lastLayer++;
|
||||
else
|
||||
lastLayer--;
|
||||
}
|
||||
depth = lastLayer < depth ? lastLayer : depth;
|
||||
}
|
||||
// 对上层的最深影响
|
||||
for (; depth < 0; depth++)
|
||||
{
|
||||
try
|
||||
{
|
||||
context.SentenceRunners[RScriptSentence.Mode.ExitNamespace].Run(parser, context.CurrentSentence, context);
|
||||
}
|
||||
catch (Exception ex)
|
||||
{
|
||||
throw new RScriptRuntimeException($"Jump pointer with error", currentPointer, ex);
|
||||
}
|
||||
}
|
||||
// 恢复正确的层数
|
||||
for (int i = depth, e = lastLayer; i < e; i++)
|
||||
{
|
||||
try
|
||||
{
|
||||
context.SentenceRunners[RScriptSentence.Mode.EnterNamespace].Run(parser, context.CurrentSentence, context);
|
||||
}
|
||||
catch (Exception ex)
|
||||
{
|
||||
throw new RScriptRuntimeException($"Jump pointer with error", currentPointer, ex);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
public abstract void Compile(ExpressionParser parser, RScriptSentence sentence, RScriptContext context);
|
||||
[return: MaybeNull]
|
||||
public abstract object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context);
|
||||
}
|
||||
}
|
@@ -4,16 +4,29 @@ namespace Convention.RScript.Matcher
|
||||
{
|
||||
public class DefineVariableMatcher : IRSentenceMatcher
|
||||
{
|
||||
private readonly Regex DefineVariableRegex = new(@"(string|int|double|float|bool|var)\s+([a-zA-Z_][a-zA-Z0-9_]*)\s*=\s*(.+)");
|
||||
private readonly Regex DeclareVariableRegex = new(@"(string|int|double|float|bool|var)\s+([a-zA-Z_][a-zA-Z0-9_]*)");
|
||||
|
||||
public bool Match(string expression, ref RScriptSentence sentence)
|
||||
{
|
||||
Regex DefineVariableRegex = new(@"(string|int|double|float|bool|var)\s+([a-zA-Z_][a-zA-Z0-9_]*)");
|
||||
{
|
||||
var DefineVariableMatch = DefineVariableRegex.Match(expression);
|
||||
if (DefineVariableMatch.Success)
|
||||
{
|
||||
sentence.mode = RScriptSentence.Mode.DefineVariable;
|
||||
sentence.info = new() { DefineVariableMatch.Groups[1].Value, DefineVariableMatch.Groups[2].Value };
|
||||
sentence.info = new[] { DefineVariableMatch.Groups[1].Value, DefineVariableMatch.Groups[2].Value, DefineVariableMatch.Groups[3].Value };
|
||||
return true;
|
||||
}
|
||||
}
|
||||
{
|
||||
var DeclareVariableMatch = DeclareVariableRegex.Match(expression);
|
||||
if (DeclareVariableMatch.Success)
|
||||
{
|
||||
sentence.mode = RScriptSentence.Mode.DefineVariable;
|
||||
sentence.info = new[] { DeclareVariableMatch.Groups[1].Value, DeclareVariableMatch.Groups[2].Value, null };
|
||||
return true;
|
||||
}
|
||||
}
|
||||
return false;
|
||||
}
|
||||
}
|
||||
|
@@ -13,7 +13,7 @@ namespace Convention.RScript.Matcher
|
||||
{
|
||||
sentence.mode = RScriptSentence.Mode.Goto;
|
||||
sentence.content = GotoMatch.Groups[2].Value;
|
||||
sentence.info = new() { GotoMatch.Groups[1].Value, GotoMatch.Groups[2].Value };
|
||||
sentence.info = new[] { GotoMatch.Groups[1].Value, GotoMatch.Groups[2].Value };
|
||||
return true;
|
||||
}
|
||||
return false;
|
||||
|
@@ -1,12 +1,64 @@
|
||||
using Flee.PublicTypes;
|
||||
using System;
|
||||
using System.Collections.Generic;
|
||||
using System;
|
||||
using System.Linq;
|
||||
using System.Text;
|
||||
using System.Threading.Tasks;
|
||||
|
||||
namespace Convention.RScript.Parser
|
||||
namespace Convention.RScript
|
||||
{
|
||||
public static class ExpressionMath
|
||||
{
|
||||
public static int Sign(double value, double accuracy = ExpressionExtension.DefaultDoubleAccuracy)
|
||||
{
|
||||
if (value.IsCloseToZero(accuracy))
|
||||
return 0;
|
||||
return value > 0 ? 1 : -1;
|
||||
}
|
||||
|
||||
public static int Compare(double value1, double value2, double accuracy = ExpressionExtension.DefaultDoubleAccuracy)
|
||||
{
|
||||
if (value1.IsClose(value2, accuracy))
|
||||
return 0;
|
||||
return value1 > value2 ? 1 : -1;
|
||||
}
|
||||
|
||||
public static bool IsBetween(double value, double minValue, double maxValue, double accuracy = ExpressionExtension.DefaultDoubleAccuracy)
|
||||
{
|
||||
return Compare(value, minValue, accuracy) >= 0 && Compare(value, maxValue, accuracy) <= 0;
|
||||
}
|
||||
|
||||
public static bool IsBetweenExclusive(double value, double minValue, double maxValue, double accuracy = ExpressionExtension.DefaultDoubleAccuracy)
|
||||
{
|
||||
return Compare(value, minValue, accuracy) > 0 && Compare(value, maxValue, accuracy) < 0;
|
||||
}
|
||||
|
||||
public static int ToInt(double value)
|
||||
{
|
||||
return (int)value;
|
||||
}
|
||||
|
||||
public static int ToInt(float value)
|
||||
{
|
||||
return (int)value;
|
||||
}
|
||||
public static int ToInt(int value)
|
||||
{
|
||||
return (int)value;
|
||||
}
|
||||
|
||||
public static double ToDouble(float value)
|
||||
{
|
||||
return (double)value;
|
||||
}
|
||||
|
||||
public static double ToDouble(int value)
|
||||
{
|
||||
return (double)value;
|
||||
}
|
||||
public static double ToDouble(double value)
|
||||
{
|
||||
return (double)value;
|
||||
}
|
||||
}
|
||||
public static class ExpressionExtension
|
||||
{
|
||||
public const double DefaultDoubleAccuracy = 1e-7;
|
||||
@@ -32,7 +84,10 @@ namespace Convention.RScript.Parser
|
||||
return !(double.IsInfinity(value) || double.IsNaN(value) || value > maximumAbsoluteError || value < -maximumAbsoluteError);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
namespace Convention.RScript.Parser
|
||||
{
|
||||
public class ExpressionParser
|
||||
{
|
||||
public readonly ExpressionContext context;
|
||||
@@ -42,6 +97,7 @@ namespace Convention.RScript.Parser
|
||||
this.context = context;
|
||||
}
|
||||
|
||||
private readonly Dictionary<string, Type> CompileGenericExpressionTypen = new();
|
||||
private readonly Dictionary<string, IExpression> CompileGenericExpression = new();
|
||||
private readonly Dictionary<string, IDynamicExpression> CompileDynamicExpression = new();
|
||||
|
||||
@@ -57,9 +113,7 @@ namespace Convention.RScript.Parser
|
||||
{
|
||||
return (result as IGenericExpression<T>).Evaluate();
|
||||
}
|
||||
var compile = context.CompileGeneric<T>(expression);
|
||||
CompileGenericExpression[expression] = compile;
|
||||
return compile.Evaluate();
|
||||
return Compile<T>(expression).Evaluate();
|
||||
}
|
||||
|
||||
public object Evaluate(string expression)
|
||||
@@ -68,9 +122,77 @@ namespace Convention.RScript.Parser
|
||||
{
|
||||
return result.Evaluate();
|
||||
}
|
||||
return Compile(expression).Evaluate();
|
||||
}
|
||||
|
||||
public IGenericExpression<T> Compile<T>(string expression)
|
||||
{
|
||||
var compile = context.CompileGeneric<T>(expression);
|
||||
CompileGenericExpression[expression] = compile;
|
||||
CompileGenericExpressionTypen[expression] = typeof(T);
|
||||
return compile;
|
||||
}
|
||||
|
||||
public IDynamicExpression Compile(string expression)
|
||||
{
|
||||
var compile = context.CompileDynamic(expression);
|
||||
CompileDynamicExpression[expression] = compile;
|
||||
return compile.Evaluate();
|
||||
return compile;
|
||||
}
|
||||
|
||||
[Serializable]
|
||||
public struct SerializableParser
|
||||
{
|
||||
public Tuple<string, string>[] CompileGenericExpression;
|
||||
public string[] CompileDynamicExpression;
|
||||
}
|
||||
|
||||
public SerializableParser Serialize()
|
||||
{
|
||||
return new()
|
||||
{
|
||||
CompileGenericExpression = (from key in CompileGenericExpression.Keys select Tuple.Create(CompileGenericExpressionTypen[key].Name, key)).ToArray(),
|
||||
CompileDynamicExpression = CompileDynamicExpression.Keys.ToArray()
|
||||
};
|
||||
}
|
||||
|
||||
public void Deserialize(SerializableParser data)
|
||||
{
|
||||
foreach (var (type, expr) in data.CompileGenericExpression)
|
||||
{
|
||||
if (type == nameof(String))
|
||||
{
|
||||
this.Compile<string>(expr);
|
||||
}
|
||||
else if (type == nameof(Single))
|
||||
{
|
||||
this.Compile<float>(expr);
|
||||
}
|
||||
else if (type == nameof(Double))
|
||||
{
|
||||
this.Compile<double>(expr);
|
||||
}
|
||||
else if (type == nameof(Int32))
|
||||
{
|
||||
this.Compile<int>(expr);
|
||||
}
|
||||
else if (type == nameof(Boolean))
|
||||
{
|
||||
this.Compile<bool>(expr);
|
||||
}
|
||||
else if (type == nameof(Object))
|
||||
{
|
||||
this.Compile<object>(expr);
|
||||
}
|
||||
else
|
||||
{
|
||||
throw new NotSupportedException($"Unsupported expression type: {type}");
|
||||
}
|
||||
}
|
||||
foreach (var expr in data.CompileDynamicExpression)
|
||||
{
|
||||
this.Compile(expr);
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
@@ -2,15 +2,24 @@
|
||||
|
||||
namespace Convention.RScript
|
||||
{
|
||||
|
||||
[Serializable]
|
||||
public class RScriptRuntimeException : Exception
|
||||
public class RScriptException : Exception
|
||||
{
|
||||
public RScriptException() { }
|
||||
public RScriptException(string message) : base(message) { }
|
||||
public RScriptException(string message, Exception inner) : base(message, inner) { }
|
||||
}
|
||||
|
||||
[Serializable]
|
||||
public class RScriptRuntimeException : RScriptException
|
||||
{
|
||||
public RScriptRuntimeException(string message, int runtimePointer) : base($"when running {runtimePointer}, {message}") { }
|
||||
public RScriptRuntimeException(string message, int runtimePointer, Exception inner) : base($"when running {runtimePointer}, {message}", inner) { }
|
||||
}
|
||||
|
||||
[Serializable]
|
||||
public class RScriptCompileException : Exception
|
||||
public class RScriptCompileException : RScriptException
|
||||
{
|
||||
public RScriptCompileException(string message, int line, int chIndex) : base($"when compile on line {line} char {chIndex}, {message}") { }
|
||||
public RScriptCompileException(string message, int line, int chIndex, Exception inner) : base($"when compile on line {line} char {chIndex}, {message}", inner) { }
|
||||
|
@@ -11,7 +11,40 @@ namespace Convention.RScript
|
||||
public struct RScriptVariableEntry
|
||||
{
|
||||
public Type type;
|
||||
public object data;
|
||||
public object data
|
||||
{
|
||||
readonly get
|
||||
{
|
||||
return internalData;
|
||||
}
|
||||
set
|
||||
{
|
||||
if (type == null)
|
||||
{
|
||||
type = value.GetType();
|
||||
internalData = value;
|
||||
return;
|
||||
}
|
||||
if (value == null)
|
||||
{
|
||||
if (type.IsClass)
|
||||
internalData = null;
|
||||
else
|
||||
internalData = Activator.CreateInstance(type);
|
||||
}
|
||||
else if (type == typeof(object) || type == value.GetType())
|
||||
internalData = value;
|
||||
else
|
||||
internalData = Convert.ChangeType(value, type);
|
||||
}
|
||||
}
|
||||
private object internalData;
|
||||
|
||||
public RScriptVariableEntry(Type type, object data) : this()
|
||||
{
|
||||
this.type = type;
|
||||
this.data = data;
|
||||
}
|
||||
}
|
||||
public class RScriptVariables : IDictionary<string, RScriptVariableEntry>
|
||||
{
|
||||
|
@@ -1,14 +1,19 @@
|
||||
using Convention.RScript.Matcher;
|
||||
using Convention.RScript.Parser;
|
||||
using Convention.RScript.Runner;
|
||||
using System;
|
||||
using System.Collections;
|
||||
using System.Collections.Generic;
|
||||
using System.Diagnostics.CodeAnalysis;
|
||||
using System.Linq;
|
||||
using static Convention.RScript.RScriptContext;
|
||||
|
||||
namespace Convention.RScript
|
||||
{
|
||||
[Serializable]
|
||||
public struct RScriptSentence
|
||||
{
|
||||
[Serializable]
|
||||
public enum Mode
|
||||
{
|
||||
/// <summary>
|
||||
@@ -16,7 +21,7 @@ namespace Convention.RScript
|
||||
/// </summary>
|
||||
Expression,
|
||||
/// <summary>
|
||||
/// 定义变量, 格式: 类型 变量名
|
||||
/// 定义变量, 格式: 类型 变量名 [=Expression]
|
||||
/// <para>类型支持: string, int, double, float, bool, var</para>
|
||||
/// <para>每层命名空间中不可重复定义变量, 不可使用未定义的变量, 不存在时会自动向上查找上级空间的变量</para>
|
||||
/// </summary>
|
||||
@@ -55,8 +60,13 @@ namespace Convention.RScript
|
||||
}
|
||||
|
||||
public string content;
|
||||
public List<string> info;
|
||||
public string[] info;
|
||||
public Mode mode;
|
||||
|
||||
public override readonly string ToString()
|
||||
{
|
||||
return $"{mode}: {content}";
|
||||
}
|
||||
}
|
||||
|
||||
public interface IRSentenceMatcher
|
||||
@@ -64,14 +74,44 @@ namespace Convention.RScript
|
||||
bool Match(string expression, ref RScriptSentence sentence);
|
||||
}
|
||||
|
||||
public partial class RScriptContext
|
||||
public interface IRSentenceRunner
|
||||
{
|
||||
public readonly RScriptImportClass Import;
|
||||
public readonly RScriptVariables Variables;
|
||||
private readonly RScriptSentence[] Sentences;
|
||||
private readonly Dictionary<string, int> Labels;
|
||||
private readonly Dictionary<int, int> NamespaceLayer;
|
||||
private readonly Dictionary<string, int> NamespaceLabels;
|
||||
[return: MaybeNull] object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context);
|
||||
void Compile(ExpressionParser parser, RScriptSentence sentence, RScriptContext context);
|
||||
}
|
||||
|
||||
public interface IBasicRScriptContext
|
||||
{
|
||||
RScriptImportClass Import { get; }
|
||||
RScriptVariables Variables { get; }
|
||||
RScriptSentence[] Sentences { get; }
|
||||
int CurrentRuntimePointer { get; }
|
||||
RScriptSentence CurrentSentence { get; }
|
||||
|
||||
Dictionary<string, RScriptVariableEntry> GetCurrentVariables();
|
||||
void Run(ExpressionParser parser);
|
||||
IEnumerator RunAsync(ExpressionParser parser);
|
||||
SerializableClass Compile(ExpressionParser parser);
|
||||
}
|
||||
|
||||
public partial class RScriptContext : IBasicRScriptContext
|
||||
{
|
||||
public RScriptImportClass Import { get;private set; }
|
||||
public RScriptVariables Variables { get;private set; }
|
||||
public RScriptSentence[] Sentences { get; private set; }
|
||||
internal readonly Dictionary<string, int> Labels = new();
|
||||
internal readonly Dictionary<int, int> NamespaceLayer = new();
|
||||
internal readonly Dictionary<string, int> NamespaceLabels = new();
|
||||
|
||||
[Serializable]
|
||||
public struct SerializableClass
|
||||
{
|
||||
public RScriptSentence[] Sentences;
|
||||
public Tuple<string, int>[] Labels;
|
||||
public Tuple<int, int>[] NamespaceLayer;
|
||||
public Tuple<string, int>[] NamespaceLabels;
|
||||
public ExpressionParser.SerializableParser CompileParser;
|
||||
}
|
||||
|
||||
public List<IRSentenceMatcher> SentenceParser = new()
|
||||
{
|
||||
@@ -83,6 +123,18 @@ namespace Convention.RScript
|
||||
new BackMatcher(),
|
||||
};
|
||||
|
||||
public Dictionary<RScriptSentence.Mode, IRSentenceRunner> SentenceRunners = new()
|
||||
{
|
||||
{ RScriptSentence.Mode.DefineVariable, new DefineVariableRunner() },
|
||||
{ RScriptSentence.Mode.EnterNamespace, new EnterNamespaceRunner() },
|
||||
{ RScriptSentence.Mode.ExitNamespace, new ExitNamespaceRunner() },
|
||||
{ RScriptSentence.Mode.Goto, new GoToRunner() },
|
||||
{ RScriptSentence.Mode.Breakpoint, new BreakpointRunner() },
|
||||
{ RScriptSentence.Mode.Backpoint, new BackpointRunner() },
|
||||
{ RScriptSentence.Mode.Expression, new ExpressionRunner() },
|
||||
{ RScriptSentence.Mode.NamedSpace, new EnterNamedSpaceRunner() },
|
||||
};
|
||||
|
||||
private RScriptSentence ParseToSentence(string expression)
|
||||
{
|
||||
RScriptSentence result = new()
|
||||
@@ -96,25 +148,47 @@ namespace Convention.RScript
|
||||
return result;
|
||||
}
|
||||
|
||||
private void BuildUpLabelsAndNamespace(ref Dictionary<string, int> labelIndicator, ref Dictionary<int, int> namespaceIndicator)
|
||||
private void BuildUpLabelsAndNamespace()
|
||||
{
|
||||
Stack<int> namespaceLayers = new();
|
||||
string namespaceName = "";
|
||||
for (int i = 0, e = Sentences.Length; i != e; i++)
|
||||
{
|
||||
if (Sentences[i].mode == RScriptSentence.Mode.Label)
|
||||
var sentence = Sentences[i];
|
||||
if (string.IsNullOrEmpty(namespaceName))
|
||||
{
|
||||
labelIndicator[Sentences[i].content] = i;
|
||||
if (sentence.mode == RScriptSentence.Mode.Label)
|
||||
{
|
||||
this.Labels[Sentences[i].content] = i;
|
||||
}
|
||||
else if (Sentences[i].mode == RScriptSentence.Mode.EnterNamespace)
|
||||
else if (sentence.mode == RScriptSentence.Mode.EnterNamespace)
|
||||
{
|
||||
namespaceLayers.Push(i);
|
||||
}
|
||||
else if (Sentences[i].mode == RScriptSentence.Mode.ExitNamespace)
|
||||
else if (sentence.mode == RScriptSentence.Mode.ExitNamespace)
|
||||
{
|
||||
if (namespaceLayers.Count == 0)
|
||||
throw new RScriptRuntimeException("Namespace exit without enter.", i);
|
||||
var enterPointer = namespaceLayers.Pop();
|
||||
namespaceIndicator[enterPointer] = i;
|
||||
this.NamespaceLayer[enterPointer] = i;
|
||||
}
|
||||
else if (sentence.mode == RScriptSentence.Mode.NamedSpace)
|
||||
{
|
||||
namespaceName = sentence.content;
|
||||
}
|
||||
}
|
||||
else
|
||||
{
|
||||
if (sentence.mode == RScriptSentence.Mode.EnterNamespace)
|
||||
{
|
||||
namespaceLayers.Push(i);
|
||||
this.NamespaceLabels[namespaceName] = i;
|
||||
namespaceName = "";
|
||||
}
|
||||
else
|
||||
{
|
||||
throw new RScriptRuntimeException($"Namespace is invalid", i);
|
||||
}
|
||||
}
|
||||
}
|
||||
if (namespaceLayers.Count > 0)
|
||||
@@ -123,231 +197,90 @@ namespace Convention.RScript
|
||||
}
|
||||
}
|
||||
|
||||
public RScriptContext(string[] expressions, RScriptImportClass import = null, RScriptVariables variables = null)
|
||||
public class BuildInContext
|
||||
{
|
||||
private RScriptContext context;
|
||||
public BuildInContext(RScriptContext context)
|
||||
{
|
||||
this.context = context;
|
||||
}
|
||||
|
||||
public bool ExistVar(string name)
|
||||
{
|
||||
return context.Variables.ContainsKey(name);
|
||||
}
|
||||
|
||||
public bool ExistNamespace(string name)
|
||||
{
|
||||
return context.NamespaceLabels.ContainsKey(name);
|
||||
}
|
||||
|
||||
public bool ExistLabel(string name)
|
||||
{
|
||||
return context.Labels.ContainsKey(name);
|
||||
}
|
||||
}
|
||||
|
||||
public RScriptContext(string[] expressions,
|
||||
RScriptImportClass import = null,
|
||||
RScriptVariables variables = null,
|
||||
List<IRSentenceMatcher> matcher = null,
|
||||
Dictionary<RScriptSentence.Mode, IRSentenceRunner> sentenceRunners = null)
|
||||
{
|
||||
this.Import = import ?? new();
|
||||
this.Variables = variables ?? new();
|
||||
this.Variables.Add("context", new(typeof(object), new BuildInContext(this)));
|
||||
this.Sentences = (from item in expressions select ParseToSentence(item)).ToArray();
|
||||
this.Labels = new();
|
||||
this.NamespaceLayer = new();
|
||||
this.NamespaceLabels = new();
|
||||
BuildUpLabelsAndNamespace(ref this.Labels, ref this.NamespaceLayer);
|
||||
if (matcher != null)
|
||||
this.SentenceParser = matcher;
|
||||
if (sentenceRunners != null)
|
||||
this.SentenceRunners = sentenceRunners;
|
||||
|
||||
BuildUpLabelsAndNamespace();
|
||||
}
|
||||
|
||||
public RScriptContext(SerializableClass data,
|
||||
RScriptImportClass import = null,
|
||||
RScriptVariables variables = null,
|
||||
List<IRSentenceMatcher> matcher = null,
|
||||
Dictionary<RScriptSentence.Mode, IRSentenceRunner> sentenceRunners = null)
|
||||
{
|
||||
this.Import = import ?? new();
|
||||
this.Variables = variables ?? new();
|
||||
this.Variables.Add("context", new(typeof(object), new BuildInContext(this)));
|
||||
|
||||
this.Sentences = data.Sentences;
|
||||
this.Labels = (from item in data.Labels select item).ToDictionary(t => t.Item1, t => t.Item2);
|
||||
this.NamespaceLayer = (from item in data.NamespaceLayer select item).ToDictionary(t => t.Item1, t => t.Item2);
|
||||
this.NamespaceLabels = (from item in data.NamespaceLabels select item).ToDictionary(t => t.Item1, t => t.Item2);
|
||||
}
|
||||
|
||||
public RScriptSentence CurrentSentence => Sentences[CurrentRuntimePointer];
|
||||
|
||||
private void DoDefineVariable(ExpressionParser parser, RScriptSentence sentence)
|
||||
{
|
||||
// 定义变量
|
||||
var varTypeName = sentence.info[0];
|
||||
var varName = sentence.info[1];
|
||||
Type varType;
|
||||
object varDefaultValue;
|
||||
{
|
||||
if (varTypeName == "string")
|
||||
{
|
||||
varType = typeof(string);
|
||||
varDefaultValue = string.Empty;
|
||||
}
|
||||
else if (varTypeName == "int")
|
||||
{
|
||||
varType = typeof(int);
|
||||
varDefaultValue = 0;
|
||||
}
|
||||
else if (varTypeName == "double")
|
||||
{
|
||||
varType = typeof(double);
|
||||
varDefaultValue = 0.0;
|
||||
}
|
||||
else if (varTypeName == "float")
|
||||
{
|
||||
varType = typeof(float);
|
||||
varDefaultValue = 0.0f;
|
||||
}
|
||||
else if (varTypeName == "bool")
|
||||
{
|
||||
varType = typeof(bool);
|
||||
varDefaultValue = false;
|
||||
}
|
||||
else if (varTypeName == "var")
|
||||
{
|
||||
varType = typeof(object);
|
||||
varDefaultValue = new object();
|
||||
}
|
||||
else
|
||||
{
|
||||
throw new RScriptRuntimeException($"Unsupported variable type '{varTypeName}'.", CurrentRuntimePointer);
|
||||
}
|
||||
}
|
||||
if (CurrentLocalSpaceVariableNames.Peek().Contains(varName) == false)
|
||||
{
|
||||
Variables.Add(varName, new() { type = varType, data = varDefaultValue });
|
||||
parser.context.Variables[varName] = varDefaultValue;
|
||||
CurrentLocalSpaceVariableNames.Peek().Add(varName);
|
||||
}
|
||||
else
|
||||
{
|
||||
throw new RScriptRuntimeException($"Variable '{varName}' already defined on this namespace.", CurrentRuntimePointer);
|
||||
}
|
||||
}
|
||||
public int StepCount { get; private set; }
|
||||
|
||||
private void DoEnterNamespace(ExpressionParser parser)
|
||||
{
|
||||
// 准备记录当前命名空间中定义的变量, 清空上层命名空间的变量
|
||||
CurrentLocalSpaceVariableNames.Push(new());
|
||||
// 更新变量值
|
||||
foreach (var (varName, varValue) in parser.context.Variables)
|
||||
{
|
||||
Variables.SetValue(varName, varValue);
|
||||
}
|
||||
// 压栈
|
||||
RuntimePointerStack.Push(CurrentRuntimePointer);
|
||||
}
|
||||
|
||||
private void DoExitNamespace(ExpressionParser parser)
|
||||
{
|
||||
// 移除当前命名空间的变量
|
||||
foreach (var local in CurrentLocalSpaceVariableNames.Peek())
|
||||
{
|
||||
Variables.Remove(local);
|
||||
parser.context.Variables.Remove(local);
|
||||
}
|
||||
// 还原上层命名空间的变量
|
||||
foreach (var local in CurrentLocalSpaceVariableNames.Peek())
|
||||
{
|
||||
parser.context.Variables[local] = Variables[local].data;
|
||||
}
|
||||
CurrentLocalSpaceVariableNames.Pop();
|
||||
// 弹栈
|
||||
RuntimePointerStack.Pop();
|
||||
}
|
||||
|
||||
private void DoJumpRuntimePointer(ExpressionParser parser, int target)
|
||||
{
|
||||
bool isForwardMove = target > CurrentRuntimePointer;
|
||||
int step = isForwardMove ? 1 : -1;
|
||||
for (; CurrentRuntimePointer != target; CurrentRuntimePointer += step)
|
||||
{
|
||||
if (CurrentSentence.mode == RScriptSentence.Mode.ExitNamespace)
|
||||
{
|
||||
if (isForwardMove)
|
||||
DoExitNamespace(parser);
|
||||
else
|
||||
DoEnterNamespace(parser);
|
||||
}
|
||||
else if (CurrentSentence.mode == RScriptSentence.Mode.EnterNamespace)
|
||||
{
|
||||
if (isForwardMove)
|
||||
DoEnterNamespace(parser);
|
||||
else
|
||||
DoExitNamespace(parser);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
private void DoGoto(ExpressionParser parser, RScriptSentence sentence)
|
||||
{
|
||||
// 检查并跳转到指定标签
|
||||
if (parser.Evaluate<bool>(sentence.info[0]))
|
||||
{
|
||||
if (Labels.TryGetValue(sentence.content, out var labelPointer))
|
||||
{
|
||||
GotoPointerStack.Push(CurrentRuntimePointer);
|
||||
DoJumpRuntimePointer(parser, labelPointer);
|
||||
}
|
||||
else
|
||||
{
|
||||
throw new RScriptRuntimeException($"Label '{sentence.content}' not found.", CurrentRuntimePointer);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
private void DoBreakpoint(ExpressionParser parser, RScriptSentence sentence)
|
||||
{
|
||||
// 检查并跳转到当前命名空间的结束位置
|
||||
if (parser.Evaluate<bool>(sentence.content))
|
||||
{
|
||||
if (RuntimePointerStack.Count == 0)
|
||||
{
|
||||
CurrentRuntimePointer = Sentences.Length;
|
||||
}
|
||||
else if (NamespaceLayer.TryGetValue(RuntimePointerStack.Peek(), out var exitPointer))
|
||||
{
|
||||
CurrentRuntimePointer = exitPointer;
|
||||
DoExitNamespace(parser);
|
||||
}
|
||||
else
|
||||
{
|
||||
throw new NotImplementedException($"No namespace to break.");
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
private void DoBackpoint(ExpressionParser parser, RScriptSentence sentence)
|
||||
{
|
||||
// 检查并跳转到上次跳转的位置
|
||||
if (parser.Evaluate<bool>(sentence.content))
|
||||
{
|
||||
if (GotoPointerStack.Count == 0)
|
||||
{
|
||||
throw new NotImplementedException($"No position to back.");
|
||||
}
|
||||
else
|
||||
{
|
||||
DoJumpRuntimePointer(parser, GotoPointerStack.Pop());
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
private object RunNextStep(ExpressionParser parser)
|
||||
internal object RunNextStep(ExpressionParser parser)
|
||||
{
|
||||
StepCount++;
|
||||
var sentence = CurrentSentence;
|
||||
switch (sentence.mode)
|
||||
try
|
||||
{
|
||||
case RScriptSentence.Mode.Expression:
|
||||
return parser.Evaluate(sentence.content);
|
||||
case RScriptSentence.Mode.DefineVariable:
|
||||
return SentenceRunners.TryGetValue(sentence.mode, out var runner) ? runner.Run(parser, sentence, this) : null;
|
||||
}
|
||||
catch (RScriptException)
|
||||
{
|
||||
DoDefineVariable(parser, sentence);
|
||||
throw;
|
||||
}
|
||||
break;
|
||||
case RScriptSentence.Mode.EnterNamespace:
|
||||
catch (Exception ex)
|
||||
{
|
||||
DoEnterNamespace(parser);
|
||||
throw new RScriptRuntimeException($"Runtime error: {ex.Message}", CurrentRuntimePointer, ex);
|
||||
}
|
||||
break;
|
||||
case RScriptSentence.Mode.ExitNamespace:
|
||||
{
|
||||
DoExitNamespace(parser);
|
||||
}
|
||||
break;
|
||||
case RScriptSentence.Mode.Goto:
|
||||
{
|
||||
DoGoto(parser, sentence);
|
||||
}
|
||||
break;
|
||||
case RScriptSentence.Mode.Breakpoint:
|
||||
{
|
||||
DoBreakpoint(parser, sentence);
|
||||
}
|
||||
break;
|
||||
case RScriptSentence.Mode.Backpoint:
|
||||
{
|
||||
DoBackpoint(parser, sentence);
|
||||
}
|
||||
break;
|
||||
default:
|
||||
// Do nothing
|
||||
break;
|
||||
}
|
||||
return null;
|
||||
}
|
||||
|
||||
private readonly Stack<int> RuntimePointerStack = new();
|
||||
private readonly Stack<int> GotoPointerStack = new();
|
||||
private int CurrentRuntimePointer = 0;
|
||||
private readonly Stack<HashSet<string>> CurrentLocalSpaceVariableNames = new();
|
||||
internal readonly Stack<int> RuntimePointerStack = new();
|
||||
internal readonly Stack<int> GotoPointerStack = new();
|
||||
public int CurrentRuntimePointer { get; internal set; } = 0;
|
||||
internal readonly Stack<HashSet<string>> CurrentLocalSpaceVariableNames = new();
|
||||
|
||||
public Dictionary<string, RScriptVariableEntry> GetCurrentVariables()
|
||||
{
|
||||
@@ -359,18 +292,26 @@ namespace Convention.RScript
|
||||
return result;
|
||||
}
|
||||
|
||||
public void Run(ExpressionParser parser)
|
||||
private void BeforeRun(ExpressionParser parser)
|
||||
{
|
||||
StepCount = 0;
|
||||
CurrentLocalSpaceVariableNames.Clear();
|
||||
RuntimePointerStack.Clear();
|
||||
GotoPointerStack.Clear();
|
||||
CurrentLocalSpaceVariableNames.Clear();
|
||||
CurrentLocalSpaceVariableNames.Push(new());
|
||||
for (CurrentRuntimePointer = 0; CurrentRuntimePointer < Sentences.Length; CurrentRuntimePointer++)
|
||||
foreach (var staticType in Import)
|
||||
{
|
||||
RunNextStep(parser);
|
||||
parser.context.Imports.AddType(staticType);
|
||||
}
|
||||
// 更新上下文变量
|
||||
foreach (var (name, varObject) in Variables)
|
||||
{
|
||||
parser.context.Variables[name] = varObject.data;
|
||||
}
|
||||
}
|
||||
|
||||
private void AfterRun(ExpressionParser parser)
|
||||
{
|
||||
foreach (var (varName, varValue) in parser.context.Variables)
|
||||
{
|
||||
if (Variables.ContainsKey(varName))
|
||||
@@ -378,13 +319,19 @@ namespace Convention.RScript
|
||||
}
|
||||
}
|
||||
|
||||
public void Run(ExpressionParser parser)
|
||||
{
|
||||
BeforeRun(parser);
|
||||
for (CurrentRuntimePointer = 0; CurrentRuntimePointer < Sentences.Length; CurrentRuntimePointer++)
|
||||
{
|
||||
RunNextStep(parser);
|
||||
}
|
||||
AfterRun(parser);
|
||||
}
|
||||
|
||||
public IEnumerator RunAsync(ExpressionParser parser)
|
||||
{
|
||||
CurrentLocalSpaceVariableNames.Clear();
|
||||
RuntimePointerStack.Clear();
|
||||
GotoPointerStack.Clear();
|
||||
CurrentLocalSpaceVariableNames.Clear();
|
||||
CurrentLocalSpaceVariableNames.Push(new());
|
||||
BeforeRun(parser);
|
||||
for (CurrentRuntimePointer = 0; CurrentRuntimePointer < Sentences.Length; CurrentRuntimePointer++)
|
||||
{
|
||||
var ret = RunNextStep(parser);
|
||||
@@ -394,12 +341,25 @@ namespace Convention.RScript
|
||||
}
|
||||
yield return null;
|
||||
}
|
||||
// 更新上下文变量
|
||||
foreach (var (varName, varValue) in parser.context.Variables)
|
||||
AfterRun(parser);
|
||||
}
|
||||
|
||||
public SerializableClass Compile(ExpressionParser parser)
|
||||
{
|
||||
if (Variables.ContainsKey(varName))
|
||||
Variables.SetValue(varName, varValue);
|
||||
}
|
||||
BeforeRun(parser);
|
||||
foreach (var item in Sentences)
|
||||
{
|
||||
if (SentenceRunners.TryGetValue(item.mode, out var runner))
|
||||
runner.Compile(parser, item, this);
|
||||
}
|
||||
return new SerializableClass()
|
||||
{
|
||||
CompileParser = parser.Serialize(),
|
||||
Labels = (from item in Labels select Tuple.Create(item.Key, item.Value)).ToArray(),
|
||||
NamespaceLayer = (from item in NamespaceLayer select Tuple.Create(item.Key, item.Value)).ToArray(),
|
||||
NamespaceLabels = (from item in NamespaceLabels select Tuple.Create(item.Key, item.Value)).ToArray(),
|
||||
Sentences = Sentences,
|
||||
};
|
||||
}
|
||||
}
|
||||
}
|
||||
|
@@ -6,13 +6,25 @@ using System.Linq;
|
||||
using System.Text;
|
||||
using System.Text.RegularExpressions;
|
||||
using System.Threading.Tasks;
|
||||
using static Convention.RScript.RScriptContext;
|
||||
|
||||
namespace Convention.RScript
|
||||
{
|
||||
public class RScriptEngine
|
||||
public interface IRScriptEngine
|
||||
{
|
||||
IBasicRScriptContext context { get; }
|
||||
|
||||
Dictionary<string, RScriptVariableEntry> Run(string script, RScriptImportClass import = null, RScriptVariables variables = null);
|
||||
IEnumerator RunAsync(string script, RScriptImportClass import = null, RScriptVariables variables = null);
|
||||
SerializableClass Compile(string script, RScriptImportClass import = null, RScriptVariables variables = null);
|
||||
Dictionary<string, RScriptVariableEntry> Run(SerializableClass data, RScriptImportClass import = null, RScriptVariables variables = null);
|
||||
IEnumerator RunAsync(SerializableClass data, RScriptImportClass import = null, RScriptVariables variables = null);
|
||||
}
|
||||
|
||||
public sealed class RScriptEngine : IRScriptEngine
|
||||
{
|
||||
private ExpressionParser parser;
|
||||
private RScriptContext context;
|
||||
public IBasicRScriptContext context { get; private set; }
|
||||
|
||||
private IEnumerable<string> SplitScript(string script)
|
||||
{
|
||||
@@ -42,18 +54,10 @@ namespace Convention.RScript
|
||||
else if (c == '/' && i + 1 < e)
|
||||
{
|
||||
// Skip single-line comment
|
||||
if (script[i + 1] == '/')
|
||||
if (line[i + 1] == '/')
|
||||
{
|
||||
while (i < script.Length && script[i] != '\n')
|
||||
i++;
|
||||
}
|
||||
// Skip multi-line comment
|
||||
else if (script[i + 1] == '*')
|
||||
{
|
||||
i += 2;
|
||||
while (i + 1 < script.Length && !(script[i] == '*' && script[i + 1] == '/'))
|
||||
i++;
|
||||
i++;
|
||||
PushBuilder();
|
||||
break;
|
||||
}
|
||||
else
|
||||
{
|
||||
@@ -62,24 +66,24 @@ namespace Convention.RScript
|
||||
}
|
||||
else if (c == '#')
|
||||
{
|
||||
// Skip single-line comment
|
||||
while (i < script.Length && script[i] != '\n')
|
||||
i++;
|
||||
PushBuilder();
|
||||
break;
|
||||
}
|
||||
else if (c == '\"')
|
||||
{
|
||||
builder.Append(c);
|
||||
for (i++; i < e; i++)
|
||||
{
|
||||
builder.Append(script[i]);
|
||||
if (script[i] == '\"')
|
||||
builder.Append(line[i]);
|
||||
if (line[i] == '\"')
|
||||
{
|
||||
break;
|
||||
}
|
||||
else if (script[i] == '\\')
|
||||
else if (line[i] == '\\')
|
||||
{
|
||||
i++;
|
||||
if (i < e)
|
||||
builder.Append(script[i]);
|
||||
builder.Append(line[i]);
|
||||
else
|
||||
throw new RScriptCompileException("Invalid escape sequence in string literal", lineIndex, i);
|
||||
}
|
||||
@@ -90,14 +94,10 @@ namespace Convention.RScript
|
||||
PushBuilder();
|
||||
statements.Add(c.ToString());
|
||||
}
|
||||
else if (string.Compare("namespace", 0, script, i, "namespace".Length) == 0)
|
||||
else if (string.Compare("namespace", 0, line, i, "namespace".Length) == 0)
|
||||
{
|
||||
builder.Append("namespace");
|
||||
i += "namespace".Length;
|
||||
if (i >= e)
|
||||
throw new RScriptCompileException("Invalid namespace declaration", lineIndex, i);
|
||||
Regex regex = new(@"^\s*\([a-zA-Z_][a-zA-Z0-9_]*\)");
|
||||
var match = regex.Match(script, i);
|
||||
Regex regex = new(@"^\s*namespace\s*\([a-zA-Z_][a-zA-Z0-9_]*\)");
|
||||
var match = regex.Match(line);
|
||||
if (match.Success)
|
||||
{
|
||||
builder.Append(match.Value);
|
||||
@@ -117,20 +117,23 @@ namespace Convention.RScript
|
||||
}
|
||||
}
|
||||
}
|
||||
if (builder.Length > 0)
|
||||
{
|
||||
PushBuilder();
|
||||
}
|
||||
|
||||
return statements.Where(s => !string.IsNullOrWhiteSpace(s));
|
||||
}
|
||||
|
||||
private IBasicRScriptContext CreateContext(string[] statements, RScriptImportClass import = null, RScriptVariables variables = null)
|
||||
{
|
||||
return new RScriptContext(statements, import, variables);
|
||||
}
|
||||
private IBasicRScriptContext CreateContext(SerializableClass data, RScriptImportClass import = null, RScriptVariables variables = null)
|
||||
{
|
||||
return new RScriptContext(data, import, variables);
|
||||
}
|
||||
public Dictionary<string, RScriptVariableEntry> Run(string script, RScriptImportClass import = null, RScriptVariables variables = null)
|
||||
{
|
||||
parser = new(new());
|
||||
context = new(SplitScript(script).ToArray(), import, variables);
|
||||
foreach (var type in context.Import)
|
||||
parser.context.Imports.AddType(type);
|
||||
context = CreateContext(SplitScript(script).ToArray(), import, variables);
|
||||
context.Run(parser);
|
||||
return context.GetCurrentVariables();
|
||||
}
|
||||
@@ -138,9 +141,31 @@ namespace Convention.RScript
|
||||
public IEnumerator RunAsync(string script, RScriptImportClass import = null, RScriptVariables variables = null)
|
||||
{
|
||||
parser = new(new());
|
||||
context = new(SplitScript(script).ToArray(), import, variables);
|
||||
foreach (var type in context.Import)
|
||||
parser.context.Imports.AddType(type);
|
||||
context = CreateContext(SplitScript(script).ToArray(), import, variables);
|
||||
return context.RunAsync(parser);
|
||||
}
|
||||
|
||||
public SerializableClass Compile(string script, RScriptImportClass import = null, RScriptVariables variables = null)
|
||||
{
|
||||
parser = new(new());
|
||||
context = CreateContext(SplitScript(script).ToArray(), import, variables);
|
||||
return context.Compile(parser);
|
||||
}
|
||||
|
||||
public Dictionary<string, RScriptVariableEntry> Run(SerializableClass data, RScriptImportClass import = null, RScriptVariables variables = null)
|
||||
{
|
||||
parser = new(new());
|
||||
//parser.Deserialize(data.CompileParser);
|
||||
context = CreateContext(data, import, variables);
|
||||
context.Run(parser);
|
||||
return context.GetCurrentVariables();
|
||||
}
|
||||
|
||||
public IEnumerator RunAsync(SerializableClass data, RScriptImportClass import = null, RScriptVariables variables = null)
|
||||
{
|
||||
parser = new(new());
|
||||
//parser.Deserialize(data.CompileParser);
|
||||
context = CreateContext(data, import, variables);
|
||||
return context.RunAsync(parser);
|
||||
}
|
||||
}
|
||||
|
151
RScriptSerializer.cs
Normal file
151
RScriptSerializer.cs
Normal file
@@ -0,0 +1,151 @@
|
||||
using System;
|
||||
using System.IO;
|
||||
using static Convention.RScript.RScriptContext;
|
||||
|
||||
namespace Convention.RScript
|
||||
{
|
||||
public static class RScriptSerializer
|
||||
{
|
||||
public static byte[] SerializeClass(SerializableClass data)
|
||||
{
|
||||
using (var stream = new MemoryStream())
|
||||
using (var writer = new BinaryWriter(stream))
|
||||
{
|
||||
// 序列化 Sentences 数组
|
||||
writer.Write(data.Sentences?.Length ?? 0);
|
||||
if (data.Sentences != null)
|
||||
{
|
||||
foreach (var sentence in data.Sentences)
|
||||
{
|
||||
writer.Write(sentence.content ?? "");
|
||||
writer.Write(sentence.info?.Length ?? 0);
|
||||
if (sentence.info != null)
|
||||
{
|
||||
foreach (var info in sentence.info)
|
||||
{
|
||||
writer.Write(info ?? "");
|
||||
}
|
||||
}
|
||||
writer.Write((int)sentence.mode);
|
||||
}
|
||||
}
|
||||
|
||||
// 序列化 Labels 数组
|
||||
writer.Write(data.Labels?.Length ?? 0);
|
||||
if (data.Labels != null)
|
||||
{
|
||||
foreach (var label in data.Labels)
|
||||
{
|
||||
writer.Write(label.Item1 ?? "");
|
||||
writer.Write(label.Item2);
|
||||
}
|
||||
}
|
||||
|
||||
// 序列化 NamespaceLayer 数组
|
||||
writer.Write(data.NamespaceLayer?.Length ?? 0);
|
||||
if (data.NamespaceLayer != null)
|
||||
{
|
||||
foreach (var layer in data.NamespaceLayer)
|
||||
{
|
||||
writer.Write(layer.Item1);
|
||||
writer.Write(layer.Item2);
|
||||
}
|
||||
}
|
||||
|
||||
// 序列化 NamespaceLabels 数组
|
||||
writer.Write(data.NamespaceLabels?.Length ?? 0);
|
||||
if (data.NamespaceLabels != null)
|
||||
{
|
||||
foreach (var nsLabel in data.NamespaceLabels)
|
||||
{
|
||||
writer.Write(nsLabel.Item1 ?? "");
|
||||
writer.Write(nsLabel.Item2);
|
||||
}
|
||||
}
|
||||
|
||||
// 这里需要根据 ExpressionParser.SerializableParser 的结构来序列化
|
||||
// writer.Write(...); // CompileParser 的序列化
|
||||
|
||||
return stream.ToArray();
|
||||
}
|
||||
}
|
||||
|
||||
public static SerializableClass DeserializeClass(byte[] data)
|
||||
{
|
||||
using (var stream = new MemoryStream(data))
|
||||
using (var reader = new BinaryReader(stream))
|
||||
{
|
||||
var result = new SerializableClass();
|
||||
|
||||
// 反序列化 Sentences 数组
|
||||
int sentencesLength = reader.ReadInt32();
|
||||
if (sentencesLength > 0)
|
||||
{
|
||||
result.Sentences = new RScriptSentence[sentencesLength];
|
||||
for (int i = 0; i < sentencesLength; i++)
|
||||
{
|
||||
var sentence = new RScriptSentence();
|
||||
sentence.content = reader.ReadString();
|
||||
|
||||
int infoLength = reader.ReadInt32();
|
||||
if (infoLength > 0)
|
||||
{
|
||||
sentence.info = new string[infoLength];
|
||||
for (int j = 0; j < infoLength; j++)
|
||||
{
|
||||
sentence.info[j] = reader.ReadString();
|
||||
}
|
||||
}
|
||||
|
||||
sentence.mode = (RScriptSentence.Mode)reader.ReadInt32();
|
||||
result.Sentences[i] = sentence;
|
||||
}
|
||||
}
|
||||
|
||||
// 反序列化 Labels 数组
|
||||
int labelsLength = reader.ReadInt32();
|
||||
if (labelsLength > 0)
|
||||
{
|
||||
result.Labels = new Tuple<string, int>[labelsLength];
|
||||
for (int i = 0; i < labelsLength; i++)
|
||||
{
|
||||
string item1 = reader.ReadString();
|
||||
int item2 = reader.ReadInt32();
|
||||
result.Labels[i] = Tuple.Create(item1, item2);
|
||||
}
|
||||
}
|
||||
|
||||
// 反序列化 NamespaceLayer 数组
|
||||
int namespaceLayerLength = reader.ReadInt32();
|
||||
if (namespaceLayerLength > 0)
|
||||
{
|
||||
result.NamespaceLayer = new Tuple<int, int>[namespaceLayerLength];
|
||||
for (int i = 0; i < namespaceLayerLength; i++)
|
||||
{
|
||||
int item1 = reader.ReadInt32();
|
||||
int item2 = reader.ReadInt32();
|
||||
result.NamespaceLayer[i] = Tuple.Create(item1, item2);
|
||||
}
|
||||
}
|
||||
|
||||
// 反序列化 NamespaceLabels 数组
|
||||
int namespaceLabelsLength = reader.ReadInt32();
|
||||
if (namespaceLabelsLength > 0)
|
||||
{
|
||||
result.NamespaceLabels = new Tuple<string, int>[namespaceLabelsLength];
|
||||
for (int i = 0; i < namespaceLabelsLength; i++)
|
||||
{
|
||||
string item1 = reader.ReadString();
|
||||
int item2 = reader.ReadInt32();
|
||||
result.NamespaceLabels[i] = Tuple.Create(item1, item2);
|
||||
}
|
||||
}
|
||||
|
||||
// 反序列化 CompileParser
|
||||
// result.CompileParser = ...; // 根据具体结构实现
|
||||
|
||||
return result;
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
Reference in New Issue
Block a user