Package jline.api.sn

Class SnIsDiscreteTime.Result

java.lang.Object

jline.api.sn.SnIsDiscreteTime.Result

Enclosing class:

SnIsDiscreteTime

public static final class SnIsDiscreteTime.Result
extends Object

Outcome of the test: the verdict, the slot length and why it failed.

Field Summary

Fields

Modifier and Type	Field	Description
final boolean	hasContinuous
final boolean	hasDmap
final boolean	hasLattice
final boolean	isDiscreteTime
final String	reason
final double	slotLength

Constructor Summary

Constructors

Constructor	Description
Result(boolean isDiscreteTime, double slotLength, boolean hasLattice, boolean hasContinuous, boolean hasDmap, String reason)

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

isDiscreteTime

public final boolean isDiscreteTime

slotLength

public final double slotLength

hasLattice

public final boolean hasLattice

hasContinuous

public final boolean hasContinuous

hasDmap

public final boolean hasDmap

reason

public final String reason

Constructor Details

Result

public Result(boolean isDiscreteTime,
 double slotLength,
 boolean hasLattice,
 boolean hasContinuous,
 boolean hasDmap,
 String reason)