Add some judge functions. Code cleanup.

Assets/Cryville/Crtr/Judge.cs

@@ -16,19 +16,15 @@ namespace Cryville.Crtr {
 		struct JudgeEvent {
 			public float StartTime { get; set; }
 			public float EndTime { get; set; }
+			public float StartClip { get; set; }
+			public float EndClip { get; set; }
 			public JudgeDefinition Definition { get; set; }
 			public ContainerState State { get; set; }
 		}
 		static readonly IComparer<JudgeEvent> _stcmp = new JudgeEventStartTimeComparer();
 		class JudgeEventStartTimeComparer : IComparer<JudgeEvent> {
 			public int Compare(JudgeEvent x, JudgeEvent y) {
-				return x.StartTime.CompareTo(y.StartTime);
-			}
-		}
-		static readonly IComparer<JudgeEvent> _etcmp = new JudgeEventEndTimeComparer();
-		class JudgeEventEndTimeComparer : IComparer<JudgeEvent> {
-			public int Compare(JudgeEvent x, JudgeEvent y) {
-				return x.EndTime.CompareTo(y.EndTime);
+				return x.StartClip.CompareTo(y.StartClip);
 			}
 		}
 		public Judge(PdtRuleset rs) {
@@ -48,8 +44,10 @@ namespace Cryville.Crtr {
 				activeEvs.Add(input, new List<JudgeEvent>());
 			}
 			var ev = new JudgeEvent {
-				StartTime = st + def.clip[0],
-				EndTime = et + def.clip[1],
+				StartTime = st,
+				EndTime = et,
+				StartClip = st + def.clip[0],
+				EndClip = et + def.clip[1],
 				Definition = def,
 				State = container,
 			};
@@ -57,21 +55,80 @@ namespace Cryville.Crtr {
 			if (index < 0) index = ~index;
 			list.Insert(index, ev);
 		}
+		static bool _flag;
+		static readonly PropOp.Boolean _flagop = new PropOp.Boolean(v => _flag = v);
+		static readonly int _var_fn = IdentifierManager.SharedInstance.Request("fn");
+		static readonly int _var_tn = IdentifierManager.SharedInstance.Request("tn");
+		static readonly int _var_ft = IdentifierManager.SharedInstance.Request("ft");
+		static readonly int _var_tt = IdentifierManager.SharedInstance.Request("tt");
+		readonly byte[] _numbuf1 = new byte[sizeof(float)];
+		readonly byte[] _numbuf2 = new byte[sizeof(float)];
+		readonly byte[] _numbuf3 = new byte[sizeof(float)];
+		readonly byte[] _numbuf4 = new byte[sizeof(float)];
+		unsafe void LoadNum(byte[] buffer, float value) {
+			fixed (byte* ptr = buffer) *(float*)ptr = value;
+		}
+		// Adopted from System.Collections.Generic.ArraySortHelper<T>.InternalBinarySearch(T[] array, int index, int length, T value, IComparer<T> comparer)
+		int BinarySearch(List<JudgeEvent> list, float time, int stack) {
+			int num = 0;
+			int num2 = list.Count - 1;
+			while (num <= num2) {
+				int num3 = num + (num2 - num >> 1);
+				int num4 = -list[num3].Definition.stack.CompareTo(stack);
+				if (num4 == 0) num4 = list[num3].StartClip.CompareTo(time);
+				if (num4 == 0) return num3;
+				else if (num4 < 0) num = num3 + 1;
+				else num2 = num3 - 1;
+			}
+			return ~num;
+		}
 		public void Feed(Identifier target, float ft, float tt) {
 			Forward(target, tt);
 			var actlist = activeEvs[target];
-			foreach (var ev in actlist) {
-				// TODO judge ev
+			if (actlist.Count > 0) {
+				LoadNum(_numbuf3, ft); _etor.ContextCascadeUpdate(_var_ft, new PropSrc.Arbitrary(PdtInternalType.Number, _numbuf3));
+				LoadNum(_numbuf4, tt); _etor.ContextCascadeUpdate(_var_tt, new PropSrc.Arbitrary(PdtInternalType.Number, _numbuf4));
+				var index = 0;
+				while (index >= 0 && index < actlist.Count) {
+					var ev = actlist[index];
+					LoadNum(_numbuf1, ev.StartTime); _etor.ContextCascadeUpdate(_var_fn, new PropSrc.Arbitrary(PdtInternalType.Number, _numbuf1));
+					LoadNum(_numbuf2, ev.EndTime); _etor.ContextCascadeUpdate(_var_tn, new PropSrc.Arbitrary(PdtInternalType.Number, _numbuf2));
+					var def = ev.Definition;
+					if (def.hit != null) _etor.Evaluate(_flagop, def.hit);
+					else _flag = true;
+					if (_flag) {
+						if (def.scores != null) UpdateScore(def.scores);
+						if (def.pass != null) Pass(def.pass);
+						actlist.RemoveAt(index);
+						index = BinarySearch(actlist, ev.StartClip, def.prop);
+						if (index < 0) index = ~index;
+					}
+					else index++;
+				}
 			}
 		}
+		bool Pass(Identifier[] ids) {
+			foreach (var i in ids) {
+				var def = _rs.judges[i];
+				if (def.hit != null) _etor.Evaluate(_flagop, def.hit);
+				else _flag = true;
+				if (_flag) {
+					if (def.scores != null) UpdateScore(def.scores);
+					if (def.pass != null) Pass(def.pass);
+					Logger.Log("main", 0, "Judge", "hit {0}", i);
+					return true;
+				}
+			}
+			return false;
+		}
 		public void Cleanup(Identifier target, float ft, float tt) {
 			Forward(target, tt);
 			var actlist = activeEvs[target];
 			for (int i = actlist.Count - 1; i >= 0; i--) {
 				JudgeEvent ev = actlist[i];
-				if (tt > ev.EndTime) {
+				if (tt > ev.EndClip) {
 					actlist.RemoveAt(i);
-					// TODO miss ev
+					if (ev.Definition.miss != null) Pass(ev.Definition.miss);
 				}
 			}
 		}
@@ -79,12 +136,16 @@ namespace Cryville.Crtr {
 			var list = evs[target];
 			var actlist = activeEvs[target];
 			JudgeEvent ev;
-			while (list.Count > 0 && (ev = list[0]).StartTime <= tt) {
+			while (list.Count > 0 && (ev = list[0]).StartClip <= tt) {
 				list.RemoveAt(0);
-				var index = actlist.BinarySearch(ev, _etcmp);
+				var index = BinarySearch(actlist, ev.StartClip, ev.Definition.stack);
 				if (index < 0) index = ~index;
 				actlist.Insert(index, ev);
-				// TODO priority?
+			}
+		}
+		void UpdateScore(Dictionary<ScoreOperation, PdtExpression> scores) {
+			foreach (var score in scores) {
+				// TODO
 			}
 		}
 		public readonly Dictionary<int, ScoreDefinition> scoreDefs = new Dictionary<int, ScoreDefinition>();
@@ -120,8 +181,10 @@ namespace Cryville.Crtr {
 		public PdtExpression input;
 		public PdtExpression hit;
 		public Identifier[] pass;
-		public Identifier miss;
+		public Identifier[] miss;
 		public Dictionary<ScoreOperation, PdtExpression> scores;
+		public int stack;
+		public int prop = -1;
 	}
 	public class ScoreOperation {
 		public Identifier name;

Assets/Cryville/Crtr/Motion.cs

@@ -284,21 +284,15 @@ namespace Cryville.Crtr {
 		}
 
 		// Adopted from System.Collections.Generic.ArraySortHelper<T>.InternalBinarySearch(T[] array, int index, int length, T value, IComparer<T> comparer)
-		internal int BinarySearch(float value) {
+		int BinarySearch(float value) {
 			int num = 0;
 			int num2 = RelativeNodes.Count - 1;
 			while (num <= num2) {
 				int num3 = num + (num2 - num >> 1);
 				int num4 = RelativeNodes[num3].Time.Value.CompareTo(value);
-				if (num4 == 0) {
-					return num3;
-				}
-				if (num4 < 0) {
-					num = num3 + 1;
-				}
-				else {
-					num2 = num3 - 1;
-				}
+				if (num4 == 0) return num3;
+				if (num4 < 0) num = num3 + 1;
+				else num2 = num3 - 1;
 			}
 			return ~num;
 		}

Assets/Cryville/Crtr/PdtEvaluator.cs

@@ -134,6 +134,11 @@ namespace Cryville.Crtr {
 			_ctxops.Add(IdentifierManager.SharedInstance.Request("min"), new func_min(() => ContextSelfValue));
 			_ctxops.Add(IdentifierManager.SharedInstance.Request("max"), new func_max(() => ContextSelfValue));
 			_ctxops.Add(IdentifierManager.SharedInstance.Request("abs"), new func_abs(() => ContextSelfValue));
+
+			Func<int, PropSrc> cccb = k => ContextCascadeLookup(k);
+			_ctxops.Add(IdentifierManager.SharedInstance.Request("attack_timing"), new func_attack_timing(cccb));
+			_ctxops.Add(IdentifierManager.SharedInstance.Request("enter_timing"), new func_enter_timing(cccb));
+			_ctxops.Add(IdentifierManager.SharedInstance.Request("release_timing"), new func_release_timing(cccb));
 		}
 		static PdtEvaluator() {
 			_shortops.Add(new PdtOperatorSignature("@", 2), new op_at_2());
@@ -158,6 +163,7 @@ namespace Cryville.Crtr {
 		}
 		#region Operators
 #pragma warning disable IDE1006
+		#region Basic Operators
 		class op_add_1 : PdtOperator {
 			public op_add_1() : base(1) { }
 			protected override void Execute() {
@@ -273,6 +279,8 @@ namespace Cryville.Crtr {
 				else throw new InvalidOperationException("Not a vector or number");
 			}
 		}
+		#endregion
+		#region Basic Functions
 		class func_frame_seq : PdtOperator {
 			public func_frame_seq() : base(3) { }
 			protected override unsafe void Execute() {
@@ -303,6 +311,39 @@ namespace Cryville.Crtr {
 				}
 			}
 		}
+		class func_in_area : PdtOperator {
+			public func_in_area() : base(1) { }
+			protected override unsafe void Execute() {
+				var arg = GetOperand(0);
+				if (arg.Type == PdtInternalType.Error) {
+					throw new InvalidOperationException("Error");
+				}
+				else if (arg.Type == PdtInternalType.Number && arg.AsNumber() <= 0) {
+					GetReturnFrame(PdtInternalType.Null, 0);
+				}
+				else {
+					var ret = GetReturnFrame(arg.Type, arg.Length);
+					arg.CopyTo(ret);
+				}
+			}
+		}
+		class func_int_map : PdtOperator {
+			public func_int_map(int pc) : base(pc) {
+				if (pc < 4) throw new ArgumentOutOfRangeException("Too few parameters for int_map");
+			}
+			protected override unsafe void Execute() {
+				var value = GetOperand(0).AsNumber();
+				var offset = GetOperand(1).AsNumber();
+				var step = GetOperand(2).AsNumber();
+				var index = (int)((value - offset) / step);
+				if (index < 0 || index >= LoadedOperandCount - 3) index = 0;
+				var hit = GetOperand(index + 3);
+				var ret = GetReturnFrame(hit.Type, hit.Length);
+				hit.CopyTo(ret);
+			}
+		}
+		#endregion
+		#region Contextual Functions
 		class func_screen_edge : PdtOperator {
 			readonly Func<Transform> _ctxcb;
 			public func_screen_edge(Func<Transform> ctxcb) : base(1) {
@@ -408,41 +449,61 @@ namespace Cryville.Crtr {
 				ret.SetNumber(Mathf.Abs(arg));
 			}
 		}
-		class func_in_area : PdtOperator {
-			public func_in_area() : base(1) { }
-			protected override unsafe void Execute() {
-				var arg = GetOperand(0);
-				if (arg.Type == PdtInternalType.Error) {
-					throw new InvalidOperationException("Error");
-				}
-				else if (arg.Type == PdtInternalType.Number && arg.AsNumber() <= 0) {
-					GetReturnFrame(PdtInternalType.Null, 0);
-				}
-				else {
-					var ret = GetReturnFrame(arg.Type, arg.Length);
-					arg.CopyTo(ret);
-				}
+		#endregion
+		#region Judge Functions
+		static readonly int _var_fn = IdentifierManager.SharedInstance.Request("fn");
+		static readonly int _var_tn = IdentifierManager.SharedInstance.Request("tn");
+		static readonly int _var_ft = IdentifierManager.SharedInstance.Request("ft");
+		static readonly int _var_tt = IdentifierManager.SharedInstance.Request("tt");
+		static readonly int _var_fv = IdentifierManager.SharedInstance.Request("fv");
+		static readonly int _var_tv = IdentifierManager.SharedInstance.Request("tv");
+		abstract class JudgeFunction : PdtOperator {
+			readonly Func<int, PropSrc> _ctxcb;
+			protected JudgeFunction(int pc, Func<int, PropSrc> ctxcb) : base(pc) {
+				_ctxcb = ctxcb;
+			}
+			protected sealed override void Execute() {
+				var ret = GetReturnFrame(PdtInternalType.Number, sizeof(float));
+				var fn = oputil.AsNumber(_ctxcb(_var_fn));
+				var tn = oputil.AsNumber(_ctxcb(_var_tn));
+				var ft = oputil.AsNumber(_ctxcb(_var_ft));
+				var tt = oputil.AsNumber(_ctxcb(_var_tt));
+				var fv = oputil.AsVector(_ctxcb(_var_fv));
+				var tv = oputil.AsVector(_ctxcb(_var_tv));
+				ret.SetNumber(ExecuteImpl(fn, tn, ft, tt, fv, tv) ? 1 : 0);
+			}
+			protected abstract bool ExecuteImpl(float fn, float tn, float ft, float tt, Vector3? fv, Vector3? tv);
+		}
+		class func_attack_timing : JudgeFunction {
+			public func_attack_timing(Func<int, PropSrc> ctxcb) : base(2, ctxcb) { }
+			protected override bool ExecuteImpl(float fn, float tn, float ft, float tt, Vector3? fv, Vector3? tv) {
+				if (fv != null) return false;
+				var t0 = GetOperand(0).AsNumber() + fn;
+				var t1 = GetOperand(1).AsNumber() + tn;
+				return tt > t0 && tt <= t1;
 			}
 		}
-		class func_int_map : PdtOperator {
-			public func_int_map(int pc) : base(pc) {
-				if (pc < 4) throw new ArgumentOutOfRangeException("Too few parameters for int_map");
-			}
-			protected override unsafe void Execute() {
-				var value = GetOperand(0).AsNumber();
-				var offset = GetOperand(1).AsNumber();
-				var step = GetOperand(2).AsNumber();
-				var index = (int)((value - offset) / step);
-				if (index < 0 || index >= LoadedOperandCount - 3) index = 0;
-				var hit = GetOperand(index + 3);
-				var ret = GetReturnFrame(hit.Type, hit.Length);
-				hit.CopyTo(ret);
+		class func_enter_timing : JudgeFunction {
+			public func_enter_timing(Func<int, PropSrc> ctxcb) : base(1, ctxcb) { }
+			protected override bool ExecuteImpl(float fn, float tn, float ft, float tt, Vector3? fv, Vector3? tv) {
+				if (fv == null || tv == null) return false;
+				var t0 = GetOperand(0).AsNumber() + fn;
+				return ft < t0 && tt >= t0;
 			}
 		}
+		class func_release_timing : JudgeFunction {
+			public func_release_timing(Func<int, PropSrc> ctxcb) : base(2, ctxcb) { }
+			protected override bool ExecuteImpl(float fn, float tn, float ft, float tt, Vector3? fv, Vector3? tv) {
+				if (tv != null) return false;
+				var t0 = GetOperand(0).AsNumber() + fn;
+				var t1 = GetOperand(1).AsNumber() + tn;
+				return ft > t0 && ft <= t1;
+			}
+		}
+		#endregion
 		unsafe static class oputil {
 			public static float AsNumber(PropSrc src) {
-				if (src == null)
-					throw new ArgumentNullException("src");
+				if (src == null) throw new ArgumentNullException("src");
 				int type; byte[] value;
 				src.Get(out type, out value);
 				if (type != PdtInternalType.Number)
@@ -451,6 +512,25 @@ namespace Cryville.Crtr {
 					return *(float*)ptr;
 				}
 			}
+			public static Vector3? AsVector(PropSrc src) {
+				if (src == null) throw new ArgumentNullException("src");
+				int type; byte[] value;
+				src.Get(out type, out value);
+				if (type == PdtInternalType.Vector) {
+					fixed (byte* ptr = value) {
+						return *(Vector3*)ptr;
+					}
+				}
+				else if (type == PdtInternalType.Number) {
+					fixed (byte* ptr = value) {
+						return new Vector3(*(float*)ptr, 0, 0);
+					}
+				}
+				else if (type == PdtInternalType.Null) {
+					return null;
+				}
+				else throw new ArgumentException("Not a number");
+			}
 		}
 #pragma warning restore IDE1006
 		#endregion

Assets/GlobalSuppressions.cs

@@ -37,3 +37,6 @@ using System.Diagnostics.CodeAnalysis;
 
 // Index operator not supported
 [assembly: SuppressMessage("Style", "IDE0056")]
+
+// Local function not supported
+[assembly: SuppressMessage("Style", "IDE0039")]