SIFOSC、論理演算子を実装。

Author: Takym

FastChatProtocolInterface/SimpleFormulaScript/SifoscBoolean.cs

@@ -0,0 +1,52 @@
+/****
+ * FACHPI: Fast Chat Protocol/Interface
+ * Copyright (C) 2023 Takym.
+ *
+ * distributed under the MIT License.
+****/
+
+namespace FastChatProtocolInterface.SimpleFormulaScript
+{
+	public sealed record SifoscBoolean : SifoscObject
+	{
+		private static readonly SifoscBoolean _true  = new();
+		private static readonly SifoscBoolean _false = new();
+
+		public static   SifoscBoolean TrueValue  => _true;
+		public static   SifoscBoolean FalseValue => _false;
+		public          bool          Value      => ReferenceEquals(this, _true);
+		public override string        Code       => this.Value ? "true" : "false";
+
+		private SifoscBoolean() { }
+
+		public override SifoscObject? Negate()
+			=> this.Value ? _false : _true;
+
+		public override SifoscObject? And(SifoscObject? other)
+		{
+			if (other is SifoscBoolean otherFlg) {
+				return this.Value && otherFlg.Value ? _true : _false;
+			}
+
+			return null;
+		}
+
+		public override SifoscObject? Or(SifoscObject? other)
+		{
+			if (other is SifoscBoolean otherFlg) {
+				return this.Value || otherFlg.Value ? _true : _false;
+			}
+
+			return null;
+		}
+
+		public override SifoscObject? Xor(SifoscObject? other)
+		{
+			if (other is SifoscBoolean otherFlg) {
+				return this.Value != otherFlg.Value ? _true : _false;
+			}
+
+			return null;
+		}
+	}
+}

FastChatProtocolInterface/SimpleFormulaScript/SifoscInteger.cs

@@ -18,6 +18,9 @@ public sealed record SifoscInteger : SifoscObject
 		public override SifoscObject? Minus()
 			=> this with { Value = -this.Value };
 
+		public override SifoscObject? Negate()
+			=> this with { Value = ~this.Value };
+
 		public override SifoscObject? Add(SifoscObject? other)
 		{
 			if (other is SifoscInteger otherInt) {
@@ -62,5 +65,32 @@ public sealed record SifoscInteger : SifoscObject
 
 			return null;
 		}
+
+		public override SifoscObject? And(SifoscObject? other)
+		{
+			if (other is SifoscInteger otherInt) {
+				return this with { Value = this.Value & otherInt.Value };
+			}
+
+			return null;
+		}
+
+		public override SifoscObject? Or(SifoscObject? other)
+		{
+			if (other is SifoscInteger otherInt) {
+				return this with { Value = this.Value | otherInt.Value };
+			}
+
+			return null;
+		}
+
+		public override SifoscObject? Xor(SifoscObject? other)
+		{
+			if (other is SifoscInteger otherInt) {
+				return this with { Value = this.Value ^ otherInt.Value };
+			}
+
+			return null;
+		}
 	}
 }

FastChatProtocolInterface/SimpleFormulaScript/SifoscObject.cs

@@ -51,11 +51,15 @@ public static IEnumerable<SifoscObject> EnumerateAllObjects()
 
 		public virtual SifoscObject? Plus    ()                    => null;
 		public virtual SifoscObject? Minus   ()                    => null;
+		public virtual SifoscObject? Negate  ()                    => null;
 		public virtual SifoscObject? Add     (SifoscObject? other) => null;
 		public virtual SifoscObject? Subtract(SifoscObject? other) => null;
 		public virtual SifoscObject? Multiply(SifoscObject? other) => null;
 		public virtual SifoscObject? Divide  (SifoscObject? other) => null;
 		public virtual SifoscObject? Modulo  (SifoscObject? other) => null;
+		public virtual SifoscObject? And     (SifoscObject? other) => null;
+		public virtual SifoscObject? Or      (SifoscObject? other) => null;
+		public virtual SifoscObject? Xor     (SifoscObject? other) => null;
 	}
 
 	public sealed record SifoscNull : SifoscObject
@@ -67,17 +71,4 @@ public sealed record SifoscNull : SifoscObject
 
 		private SifoscNull() { }
 	}
-
-	public sealed record SifoscBoolean : SifoscObject
-	{
-		private static readonly SifoscBoolean _true  = new();
-		private static readonly SifoscBoolean _false = new();
-
-		public static   SifoscBoolean TrueValue  => _true;
-		public static   SifoscBoolean FalseValue => _false;
-		public          bool          Value      => ReferenceEquals(this, _true);
-		public override string        Code       => this.Value ? "true" : "false";
-
-		private SifoscBoolean() { }
-	}
 }

FastChatProtocolInterface/SimpleFormulaScript/SifoscParser.cs

@@ -36,7 +36,53 @@ public static bool TryParseStatement(this SourceCode sc, [NotNullWhen(true)][May
 
 		[MethodImpl(MethodImplOptions.AggressiveInlining)]
 		public static bool TryParseExpression(this SourceCode sc, [NotNullWhen(true)][MaybeNullWhen(false)] out SifoscObject? result)
-			=> sc.TryParseAddSubExpression(out result);
+			=> sc.TryParseLogicalExpression(out result);
+
+		public static bool TryParseLogicalExpression(this SourceCode sc, [NotNullWhen(true)][MaybeNullWhen(false)] out SifoscObject? result)
+		{
+			sc.BeginScope();
+
+			result = null;
+			ref var left   = ref result;
+			char    op     = '\0';
+
+			while (sc.TryParseAddSubExpression(out var right)) {
+				switch (op) {
+				case '\0' when left is null:
+					left = right;
+					break;
+				case '&':
+					left = left?.And(right);
+					break;
+				case '|':
+					left = left?.Or(right);
+					break;
+				case '^':
+					left = left?.Xor(right);
+					break;
+				default:
+					left = null;
+					goto end;
+				}
+
+				sc.SkipSpaces();
+				if (!sc.TryReadChar(out op) || op is not ('&' or '|' or '^')) {
+					if (op != '\0') {
+						sc.Retreat();
+					}
+					break;
+				}
+			}
+
+		end:
+			if (result is null) {
+				sc.EndScope(true);
+				return false;
+			} else {
+				sc.EndScope(false);
+				return true;
+			}
+		}
 
 		public static bool TryParseAddSubExpression(this SourceCode sc, [NotNullWhen(true)][MaybeNullWhen(false)] out SifoscObject? result)
 		{
@@ -133,6 +179,7 @@ public static bool TryParseValueExpression(this SourceCode sc, [NotNullWhen(true
 
 			return sc.TryParseParenthesisExpression(out result)
 				|| sc.TryParseSignExpression       (out result)
+				|| sc.TryParseNotExpression        (out result)
 				|| sc.TryParseValueLiteral         (out result);
 		}
 
@@ -180,6 +227,33 @@ public static bool TryParseSignExpression(this SourceCode sc, [NotNullWhen(true)
 			return true;
 		}
 
+		public static bool TryParseNotExpression(this SourceCode sc, [NotNullWhen(true)][MaybeNullWhen(false)] out SifoscObject? result)
+		{
+			sc.BeginScope();
+
+			if (sc.TryReadChar            (out char ch ) && ch is '!' &&
+				sc.TryParseValueExpression(out var  obj)
+			) {
+				result = obj.Negate();
+
+				if (result is null) {
+					goto fail;
+				} else {
+					goto succeed;
+				}
+			}
+
+			result = null;
+
+		fail:
+			sc.EndScope(true);
+			return false;
+
+		succeed:
+			sc.EndScope(false);
+			return true;
+		}
+
 		public static bool TryParseValueLiteral(this SourceCode sc, [NotNullWhen(true)][MaybeNullWhen(false)] out SifoscObject? result)
 		{
 			if (sc.TryParseArrayLiteral(out var aryVal)) {

FastChatProtocolInterface/SimpleFormulaScript/SifoscServer.cs

@@ -26,7 +26,7 @@ protected override string ReceiveMessageCore(FachpiCommunicationFlow flow)
 
 		public static string RunScriptLine(string s)
 		{
-			// SIFOSC の例：[ [ null, allobj, true, false, newobj, 123 ], [ null, newobj, 123, +456, -789, [ ] ], [ 1, 2, 3 ] + [ 2 + 2, 5, 2 * 3 ] + [ 1 + 2 * 3 ], +-+-+-+100, ([([([])])]), 1 + ((1 + 2) * 3 + 1) / 2 % 3 - 4 ];
+			// SIFOSC の例：[ [ null, allobj, true, false, newobj, 123 ], [ null, newobj, 123, +456, -789, [ ] ], [ 1, 2, 3 ] + [ 2 + 2, 5, 2 * 3 ] + [ 1 + 2 * 3 ], +-+-+-+100, ([([([])])]), 1 + ((1 + 2) * 3 + 1) / 2 % 3 - 4, [ true | false & true ^ false, (true | false) & (true ^ false) & false, !(((3 & 5) + (3 | 5) + (3 ^ 5)) - (3 & 5 + 3 | 5 + 3 ^ 5)), !!true, !!0, !!123, !!!false ] ];
 
 			var sc = new SourceCode(s);
 			if (sc.TryParse(out var result)) {