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