desmoj.core.simulator

Class SingleUnitTimeFormatter

java.lang.Object

desmoj.core.simulator.SingleUnitTimeFormatter

All Implemented Interfaces:

TimeFormatter

public class SingleUnitTimeFormatter
extends java.lang.Object
implements TimeFormatter

Author:

goebel

Constructor Summary

Constructors

Constructor and Description
SingleUnitTimeFormatter(java.util.concurrent.TimeUnit unit, java.util.concurrent.TimeUnit epsilon, int floats, boolean writeUnit) Constructs a DecimalTimeFormatter.

Method Summary

Modifier and Type	Method and Description
java.lang.String	buildTimeString(TimeInstant instant) Returns the String-Representation of the given TimeInstant
java.lang.String	buildTimeString(TimeSpan span) Returns the String-Representation of the given TimeSpan
java.lang.String	getUnit() The units used to format time span and time instants.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SingleUnitTimeFormatter

public SingleUnitTimeFormatter(java.util.concurrent.TimeUnit unit,
                               java.util.concurrent.TimeUnit epsilon,
                               int floats,
                               boolean writeUnit)

Constructs a DecimalTimeFormatter.

Parameters:

unit - java.util.concurrent.TimeUnit : The time values that will be used

floats - int : The number of floating point digits to print

writeUnit - boolean : Indicates if the time unit will be included in the time String.

Method Detail

buildTimeString

public java.lang.String buildTimeString(TimeInstant instant)

Returns the String-Representation of the given TimeInstant

Specified by:

buildTimeString in interface TimeFormatter

Parameters:

instant - TimeInstant: the instant of time to be formatted

Returns:

String: the String representation of the given timeInstant

buildTimeString

public java.lang.String buildTimeString(TimeSpan span)

Returns the String-Representation of the given TimeSpan

Specified by:

buildTimeString in interface TimeFormatter

Parameters:

span - TimeSpan: the instant of time to be formatted

Returns:

String: the String representation of the given timeSpan.

getUnit

public java.lang.String getUnit()

Description copied from interface: TimeFormatter

The units used to format time span and time instants.

Specified by:

getUnit in interface TimeFormatter

Returns:

String: The description of the smallest time unit or all time units.