private static void Revert(IReversible <OperationContextType> reversible, OperationContextType context) { if (reversible != null) { reversible.Reverse(context); } }
public void Push(IReversible reversible) { Pointer.Next = new ReversibleNode { Previous = Pointer, Value = reversible }; Pointer = Pointer.Next; // Execute reversible reversible.Redo(); if (CurrentCount == MaxCount) { Head = Head.Next; Head.Previous = null; Head.Value = null; } else { ++CurrentCount; } }
public static object?__new__(CodeContext context, [NotNone] PythonType type, [NotNone] IReversible o) { return(o.__reversed__()); }
public static void UnRegisterReversible(IReversible reversible) { registeredReversibles.Remove(reversible); }
public static void RegisterReversible(IReversible reversible) { registeredReversibles.Add(reversible); }
public static bool IsRegistered(IReversible reversible) { return registeredReversibles.Contains(reversible); }
public static bool IsRegistered(IReversible reversible) { return(registeredReversibles.Contains(reversible)); }