public class SaveRecorder
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.util.Random |
ticketNumGen |
Constructor and Description |
---|
SaveRecorder() |
Modifier and Type | Method and Description |
---|---|
static boolean |
changesShouldBeMerged(long thisEditTime,
long ticket,
WikiPage page) |
static void |
clear() |
static long |
newTicket() |
static long |
pageSaved(WikiPage page,
long ticketNumber) |
static long |
timeStamp() |
public static long pageSaved(WikiPage page, long ticketNumber)
public static boolean changesShouldBeMerged(long thisEditTime, long ticket, WikiPage page)
public static long timeStamp()
public static long newTicket()
public static void clear()