Compare commits

..

6 Commits

17 changed files with 596 additions and 94 deletions

View File

@@ -5,6 +5,11 @@ namespace Convention.RScript.Runner
{ {
public class BackpointRunner : JumpRuntimePointerRunner public class BackpointRunner : JumpRuntimePointerRunner
{ {
public override void Compile(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
{
}
[return: MaybeNull] [return: MaybeNull]
public override object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context) public override object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
{ {

View File

@@ -5,6 +5,11 @@ namespace Convention.RScript
{ {
public class BreakpointRunner : IRSentenceRunner public class BreakpointRunner : IRSentenceRunner
{ {
public void Compile(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
{
parser.Compile<bool>(sentence.content);
}
[return: MaybeNull] [return: MaybeNull]
public object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context) public object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
{ {
@@ -18,7 +23,6 @@ namespace Convention.RScript
else if (context.NamespaceLayer.TryGetValue(context.RuntimePointerStack.Peek(), out var exitPointer)) else if (context.NamespaceLayer.TryGetValue(context.RuntimePointerStack.Peek(), out var exitPointer))
{ {
context.CurrentRuntimePointer = exitPointer; context.CurrentRuntimePointer = exitPointer;
//DoExitNamespace(parser);
context.SentenceRunners[RScriptSentence.Mode.ExitNamespace].Run(parser, context.CurrentSentence, context); context.SentenceRunners[RScriptSentence.Mode.ExitNamespace].Run(parser, context.CurrentSentence, context);
} }
else else

View File

@@ -6,6 +6,66 @@ namespace Convention.RScript.Runner
{ {
public class DefineVariableRunner : IRSentenceRunner 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] [return: MaybeNull]
public object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context) public object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
{ {

View 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;
}
}
}

View File

@@ -5,6 +5,11 @@ namespace Convention.RScript.Runner
{ {
public class EnterNamespaceRunner : IRSentenceRunner public class EnterNamespaceRunner : IRSentenceRunner
{ {
public void Compile(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
{
}
[return: MaybeNull] [return: MaybeNull]
public object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context) public object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
{ {

View File

@@ -5,6 +5,11 @@ namespace Convention.RScript.Runner
{ {
public class ExitNamespaceRunner : IRSentenceRunner public class ExitNamespaceRunner : IRSentenceRunner
{ {
public void Compile(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
{
}
[return: MaybeNull] [return: MaybeNull]
public object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context) public object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
{ {

View File

@@ -5,6 +5,11 @@ namespace Convention.RScript.Runner
{ {
public class ExpressionRunner : IRSentenceRunner public class ExpressionRunner : IRSentenceRunner
{ {
public void Compile(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
{
parser.Compile(sentence.content);
}
[return: MaybeNull] [return: MaybeNull]
public object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context) public object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
{ {

View File

@@ -5,6 +5,11 @@ namespace Convention.RScript.Runner
{ {
public class GoToRunner : JumpRuntimePointerRunner public class GoToRunner : JumpRuntimePointerRunner
{ {
public override void Compile(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
{
parser.Compile<bool>(sentence.info[0]);
}
[return: MaybeNull] [return: MaybeNull]
public override object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context) public override object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context)
{ {

View File

@@ -1,37 +1,63 @@
using Convention.RScript.Parser; using Convention.RScript.Parser;
using System;
using System.Diagnostics.CodeAnalysis; using System.Diagnostics.CodeAnalysis;
namespace Convention.RScript.Runner namespace Convention.RScript.Runner
{ {
public abstract class JumpRuntimePointerRunner : IRSentenceRunner public abstract class JumpRuntimePointerRunner : IRSentenceRunner
{ {
protected void DoJumpRuntimePointer(ExpressionParser parser, int target, RScriptContext context) protected static void DoJumpRuntimePointer(ExpressionParser parser, int target, RScriptContext context)
{ {
int currentPointer = context.CurrentRuntimePointer;
bool isForwardMove = target > context.CurrentRuntimePointer; bool isForwardMove = target > context.CurrentRuntimePointer;
int step = isForwardMove ? 1 : -1; int step = isForwardMove ? 1 : -1;
int depth = 0;
int lastLayer = 0;
for (; context.CurrentRuntimePointer != target; context.CurrentRuntimePointer += step) for (; context.CurrentRuntimePointer != target; context.CurrentRuntimePointer += step)
{ {
if (context.CurrentSentence.mode == RScriptSentence.Mode.ExitNamespace) if (context.CurrentSentence.mode == RScriptSentence.Mode.ExitNamespace)
{ {
if (isForwardMove) if (isForwardMove)
//DoExitNamespace(parser); lastLayer--;
context.SentenceRunners[RScriptSentence.Mode.ExitNamespace].Run(parser, context.CurrentSentence, context);
else else
//DoEnterNamespace(parser); lastLayer++;
context.SentenceRunners[RScriptSentence.Mode.EnterNamespace].Run(parser, context.CurrentSentence, context);
} }
else if (context.CurrentSentence.mode == RScriptSentence.Mode.EnterNamespace) else if (context.CurrentSentence.mode == RScriptSentence.Mode.EnterNamespace)
{ {
if (isForwardMove) if (isForwardMove)
//DoEnterNamespace(parser); lastLayer++;
context.SentenceRunners[RScriptSentence.Mode.EnterNamespace].Run(parser, context.CurrentSentence, context);
else else
//DoExitNamespace(parser); lastLayer--;
context.SentenceRunners[RScriptSentence.Mode.ExitNamespace].Run(parser, context.CurrentSentence, context); }
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] [return: MaybeNull]
public abstract object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context); public abstract object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context);
} }

View File

@@ -14,7 +14,7 @@ namespace Convention.RScript.Matcher
if (DefineVariableMatch.Success) if (DefineVariableMatch.Success)
{ {
sentence.mode = RScriptSentence.Mode.DefineVariable; sentence.mode = RScriptSentence.Mode.DefineVariable;
sentence.info = new() { DefineVariableMatch.Groups[1].Value, DefineVariableMatch.Groups[2].Value, DefineVariableMatch.Groups[3].Value }; sentence.info = new[] { DefineVariableMatch.Groups[1].Value, DefineVariableMatch.Groups[2].Value, DefineVariableMatch.Groups[3].Value };
return true; return true;
} }
} }
@@ -23,7 +23,7 @@ namespace Convention.RScript.Matcher
if (DeclareVariableMatch.Success) if (DeclareVariableMatch.Success)
{ {
sentence.mode = RScriptSentence.Mode.DefineVariable; sentence.mode = RScriptSentence.Mode.DefineVariable;
sentence.info = new() { DeclareVariableMatch.Groups[1].Value, DeclareVariableMatch.Groups[2].Value, null }; sentence.info = new[] { DeclareVariableMatch.Groups[1].Value, DeclareVariableMatch.Groups[2].Value, null };
return true; return true;
} }
} }

View File

@@ -13,7 +13,7 @@ namespace Convention.RScript.Matcher
{ {
sentence.mode = RScriptSentence.Mode.Goto; sentence.mode = RScriptSentence.Mode.Goto;
sentence.content = GotoMatch.Groups[2].Value; 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 true;
} }
return false; return false;

View File

@@ -1,5 +1,7 @@
using Flee.PublicTypes; using Flee.PublicTypes;
using System.Collections.Generic; using System.Collections.Generic;
using System;
using System.Linq;
namespace Convention.RScript namespace Convention.RScript
{ {
@@ -95,6 +97,7 @@ namespace Convention.RScript.Parser
this.context = context; this.context = context;
} }
private readonly Dictionary<string, Type> CompileGenericExpressionTypen = new();
private readonly Dictionary<string, IExpression> CompileGenericExpression = new(); private readonly Dictionary<string, IExpression> CompileGenericExpression = new();
private readonly Dictionary<string, IDynamicExpression> CompileDynamicExpression = new(); private readonly Dictionary<string, IDynamicExpression> CompileDynamicExpression = new();
@@ -110,9 +113,7 @@ namespace Convention.RScript.Parser
{ {
return (result as IGenericExpression<T>).Evaluate(); return (result as IGenericExpression<T>).Evaluate();
} }
var compile = context.CompileGeneric<T>(expression); return Compile<T>(expression).Evaluate();
CompileGenericExpression[expression] = compile;
return compile.Evaluate();
} }
public object Evaluate(string expression) public object Evaluate(string expression)
@@ -121,9 +122,77 @@ namespace Convention.RScript.Parser
{ {
return result.Evaluate(); 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); var compile = context.CompileDynamic(expression);
CompileDynamicExpression[expression] = compile; 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);
}
} }
} }
} }

View File

@@ -2,15 +2,24 @@
namespace Convention.RScript namespace Convention.RScript
{ {
[Serializable] [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) : base($"when running {runtimePointer}, {message}") { }
public RScriptRuntimeException(string message, int runtimePointer, Exception inner) : base($"when running {runtimePointer}, {message}", inner) { } public RScriptRuntimeException(string message, int runtimePointer, Exception inner) : base($"when running {runtimePointer}, {message}", inner) { }
} }
[Serializable] [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) : 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) { } public RScriptCompileException(string message, int line, int chIndex, Exception inner) : base($"when compile on line {line} char {chIndex}, {message}", inner) { }

View File

@@ -25,15 +25,21 @@ namespace Convention.RScript
internalData = value; internalData = value;
return; return;
} }
internalData = Convert.ChangeType(value, type); 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; private object internalData;
public RScriptVariableEntry(object data) : this()
{
this.data = data;
}
public RScriptVariableEntry(Type type, object data) : this() public RScriptVariableEntry(Type type, object data) : this()
{ {
this.type = type; this.type = type;

View File

@@ -6,11 +6,14 @@ using System.Collections;
using System.Collections.Generic; using System.Collections.Generic;
using System.Diagnostics.CodeAnalysis; using System.Diagnostics.CodeAnalysis;
using System.Linq; using System.Linq;
using static Convention.RScript.RScriptContext;
namespace Convention.RScript namespace Convention.RScript
{ {
[Serializable]
public struct RScriptSentence public struct RScriptSentence
{ {
[Serializable]
public enum Mode public enum Mode
{ {
/// <summary> /// <summary>
@@ -57,12 +60,12 @@ namespace Convention.RScript
} }
public string content; public string content;
public List<string> info; public string[] info;
public Mode mode; public Mode mode;
public override string ToString() public override readonly string ToString()
{ {
return $"{mode.ToString()}/: {content}"; return $"{mode}: {content}";
} }
} }
@@ -74,17 +77,42 @@ namespace Convention.RScript
public interface IRSentenceRunner public interface IRSentenceRunner
{ {
[return: MaybeNull] object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context); [return: MaybeNull] object Run(ExpressionParser parser, RScriptSentence sentence, RScriptContext context);
void Compile(ExpressionParser parser, RScriptSentence sentence, RScriptContext context);
} }
public partial class RScriptContext public interface IBasicRScriptContext
{ {
public readonly RScriptImportClass Import; RScriptImportClass Import { get; }
public readonly RScriptVariables Variables; RScriptVariables Variables { get; }
internal readonly RScriptSentence[] Sentences; 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<string, int> Labels = new();
internal readonly Dictionary<int, int> NamespaceLayer = new(); internal readonly Dictionary<int, int> NamespaceLayer = new();
internal readonly Dictionary<string, int> NamespaceLabels = 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() public List<IRSentenceMatcher> SentenceParser = new()
{ {
new NamespaceMater(), new NamespaceMater(),
@@ -95,6 +123,18 @@ namespace Convention.RScript
new BackMatcher(), 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) private RScriptSentence ParseToSentence(string expression)
{ {
RScriptSentence result = new() RScriptSentence result = new()
@@ -157,37 +197,77 @@ 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.Import = import ?? new();
this.Variables = variables ?? 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.Sentences = (from item in expressions select ParseToSentence(item)).ToArray();
if (matcher != null)
this.SentenceParser = matcher;
if (sentenceRunners != null)
this.SentenceRunners = sentenceRunners;
BuildUpLabelsAndNamespace(); 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]; public RScriptSentence CurrentSentence => Sentences[CurrentRuntimePointer];
public Dictionary<RScriptSentence.Mode, IRSentenceRunner> SentenceRunners = new() public int StepCount { get; private set; }
{
{ 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() },
};
internal object RunNextStep(ExpressionParser parser) internal object RunNextStep(ExpressionParser parser)
{ {
StepCount++;
var sentence = CurrentSentence; var sentence = CurrentSentence;
try try
{ {
return SentenceRunners.TryGetValue(sentence.mode, out var runner) ? runner.Run(parser, sentence, this) : null; return SentenceRunners.TryGetValue(sentence.mode, out var runner) ? runner.Run(parser, sentence, this) : null;
} }
catch (RScriptRuntimeException) catch (RScriptException)
{ {
throw; throw;
} }
@@ -212,18 +292,26 @@ namespace Convention.RScript
return result; return result;
} }
public void Run(ExpressionParser parser) private void BeforeRun(ExpressionParser parser)
{ {
StepCount = 0;
CurrentLocalSpaceVariableNames.Clear(); CurrentLocalSpaceVariableNames.Clear();
RuntimePointerStack.Clear(); RuntimePointerStack.Clear();
GotoPointerStack.Clear(); GotoPointerStack.Clear();
CurrentLocalSpaceVariableNames.Clear(); CurrentLocalSpaceVariableNames.Clear();
CurrentLocalSpaceVariableNames.Push(new()); 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) foreach (var (varName, varValue) in parser.context.Variables)
{ {
if (Variables.ContainsKey(varName)) if (Variables.ContainsKey(varName))
@@ -231,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) public IEnumerator RunAsync(ExpressionParser parser)
{ {
CurrentLocalSpaceVariableNames.Clear(); BeforeRun(parser);
RuntimePointerStack.Clear();
GotoPointerStack.Clear();
CurrentLocalSpaceVariableNames.Clear();
CurrentLocalSpaceVariableNames.Push(new());
for (CurrentRuntimePointer = 0; CurrentRuntimePointer < Sentences.Length; CurrentRuntimePointer++) for (CurrentRuntimePointer = 0; CurrentRuntimePointer < Sentences.Length; CurrentRuntimePointer++)
{ {
var ret = RunNextStep(parser); var ret = RunNextStep(parser);
@@ -247,12 +341,25 @@ namespace Convention.RScript
} }
yield return null; yield return null;
} }
// 更新上下文变量 AfterRun(parser);
foreach (var (varName, varValue) in parser.context.Variables) }
public SerializableClass Compile(ExpressionParser parser)
{
BeforeRun(parser);
foreach (var item in Sentences)
{ {
if (Variables.ContainsKey(varName)) if (SentenceRunners.TryGetValue(item.mode, out var runner))
Variables.SetValue(varName, varValue); 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,
};
} }
} }
} }

View File

@@ -6,13 +6,25 @@ using System.Linq;
using System.Text; using System.Text;
using System.Text.RegularExpressions; using System.Text.RegularExpressions;
using System.Threading.Tasks; using System.Threading.Tasks;
using static Convention.RScript.RScriptContext;
namespace Convention.RScript 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 ExpressionParser parser;
private RScriptContext context; public IBasicRScriptContext context { get; private set; }
private IEnumerable<string> SplitScript(string script) private IEnumerable<string> SplitScript(string script)
{ {
@@ -42,18 +54,10 @@ namespace Convention.RScript
else if (c == '/' && i + 1 < e) else if (c == '/' && i + 1 < e)
{ {
// Skip single-line comment // Skip single-line comment
if (script[i + 1] == '/') if (line[i + 1] == '/')
{ {
while (i < script.Length && script[i] != '\n') PushBuilder();
i++; break;
}
// Skip multi-line comment
else if (script[i + 1] == '*')
{
i += 2;
while (i + 1 < script.Length && !(script[i] == '*' && script[i + 1] == '/'))
i++;
i++;
} }
else else
{ {
@@ -62,24 +66,24 @@ namespace Convention.RScript
} }
else if (c == '#') else if (c == '#')
{ {
// Skip single-line comment PushBuilder();
while (i < script.Length && script[i] != '\n') break;
i++;
} }
else if (c == '\"') else if (c == '\"')
{ {
builder.Append(c);
for (i++; i < e; i++) for (i++; i < e; i++)
{ {
builder.Append(script[i]); builder.Append(line[i]);
if (script[i] == '\"') if (line[i] == '\"')
{ {
break; break;
} }
else if (script[i] == '\\') else if (line[i] == '\\')
{ {
i++; i++;
if (i < e) if (i < e)
builder.Append(script[i]); builder.Append(line[i]);
else else
throw new RScriptCompileException("Invalid escape sequence in string literal", lineIndex, i); throw new RScriptCompileException("Invalid escape sequence in string literal", lineIndex, i);
} }
@@ -90,14 +94,10 @@ namespace Convention.RScript
PushBuilder(); PushBuilder();
statements.Add(c.ToString()); 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"); Regex regex = new(@"^\s*namespace\s*\([a-zA-Z_][a-zA-Z0-9_]*\)");
i += "namespace".Length; var match = regex.Match(line);
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);
if (match.Success) if (match.Success)
{ {
builder.Append(match.Value); builder.Append(match.Value);
@@ -117,20 +117,23 @@ namespace Convention.RScript
} }
} }
} }
if (builder.Length > 0) PushBuilder();
{
PushBuilder();
}
return statements.Where(s => !string.IsNullOrWhiteSpace(s)); 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) public Dictionary<string, RScriptVariableEntry> Run(string script, RScriptImportClass import = null, RScriptVariables variables = null)
{ {
parser = new(new()); parser = new(new());
context = new(SplitScript(script).ToArray(), import, variables); context = CreateContext(SplitScript(script).ToArray(), import, variables);
foreach (var type in context.Import)
parser.context.Imports.AddType(type);
context.Run(parser); context.Run(parser);
return context.GetCurrentVariables(); return context.GetCurrentVariables();
} }
@@ -138,9 +141,31 @@ namespace Convention.RScript
public IEnumerator RunAsync(string script, RScriptImportClass import = null, RScriptVariables variables = null) public IEnumerator RunAsync(string script, RScriptImportClass import = null, RScriptVariables variables = null)
{ {
parser = new(new()); parser = new(new());
context = new(SplitScript(script).ToArray(), import, variables); context = CreateContext(SplitScript(script).ToArray(), import, variables);
foreach (var type in context.Import) return context.RunAsync(parser);
parser.context.Imports.AddType(type); }
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); return context.RunAsync(parser);
} }
} }

151
RScriptSerializer.cs Normal file
View 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;
}
}
}
}