public class ToStrings
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static org.joda.time.format.PeriodFormatter |
duration |
static org.joda.time.format.PeriodFormatter |
fine |
static org.joda.time.format.PeriodFormatter |
medium |
static org.joda.time.format.PeriodFormatter |
rough |
Constructor and Description |
---|
ToStrings() |
Modifier and Type | Method and Description |
---|---|
static org.joda.time.format.DateTimeFormatter |
getFittingDateTimeFormatter(org.joda.time.Period p) |
static org.joda.time.format.PeriodFormatter |
getFittingPeriodFormatter(org.joda.time.Duration d) |
static java.lang.String |
print(org.joda.time.Duration d) |
static java.lang.String |
print(org.joda.time.Period p) |
static java.lang.String |
print(org.joda.time.Period p,
org.joda.time.format.PeriodFormatter formatter) |
static java.lang.String |
print(org.processmining.plugins.replayer.replayresult.SyncReplayResult replayResult) |
public static final org.joda.time.format.PeriodFormatter rough
public static final org.joda.time.format.PeriodFormatter medium
public static final org.joda.time.format.PeriodFormatter fine
public static final org.joda.time.format.PeriodFormatter duration
public static java.lang.String print(org.joda.time.Duration d)
public static java.lang.String print(org.joda.time.Period p)
public static java.lang.String print(org.joda.time.Period p, org.joda.time.format.PeriodFormatter formatter)
public static org.joda.time.format.PeriodFormatter getFittingPeriodFormatter(org.joda.time.Duration d)
public static org.joda.time.format.DateTimeFormatter getFittingDateTimeFormatter(org.joda.time.Period p)
public static java.lang.String print(org.processmining.plugins.replayer.replayresult.SyncReplayResult replayResult)