Package jline.solvers.ctmc

Class MemoryGuard.GateResult

java.lang.Object

jline.solvers.ctmc.MemoryGuard.GateResult

Enclosing class:

MemoryGuard

public static final class MemoryGuard.GateResult
extends Object

Result of a gate decision.

Field Summary

Fields

Modifier and Type	Field	Description
final String	message
final boolean	ok

Constructor Summary

Constructors

Constructor	Description
GateResult(boolean ok, String message)

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

ok

public final boolean ok

message

public final String message

Constructor Details

GateResult

public GateResult(boolean ok,
 String message)