Package jline.solvers

Class Solver.ResolvedVerdict

java.lang.Object

jline.solvers.Solver.ResolvedVerdict

Enclosing class:

Solver

public static final class Solver.ResolvedVerdict
extends Object

The answer of Solver.supportsResolvedMethod(jline.solvers.SolverOptions): whether the model passes the gate of the method that runs, why not, and which method that is.

Field Summary

Fields

Modifier and Type	Field	Description
final String	method	The concrete method the requested name runs as on this model.
final boolean	ok	True when the model passes the gate of the resolved method.
final String	reason	Why it does not, or "" when it does.

Constructor Summary

Constructors

Constructor	Description
ResolvedVerdict(boolean ok, String reason, String method)

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

True when the model passes the gate of the resolved method.

reason

public final String reason

Why it does not, or "" when it does.

method

public final String method

The concrete method the requested name runs as on this model.

Constructor Details

ResolvedVerdict

public ResolvedVerdict(boolean ok,
 String reason,
 String method)