fabric.types
Class SilenceableSolverGLB
java.lang.Object
SolverGLB
fabric.types.SilenceableSolverGLB
public class SilenceableSolverGLB
- extends SolverGLB
SilenceableSolverGLB
can be muted, that is, not reporting any error.
- Author:
- qixin
Method Summary |
boolean |
isSolved()
|
static void |
mute(boolean b)
|
static boolean |
muted()
|
protected void |
reportError(Constraint c,
java.util.Collection variables)
|
VarMap |
solve()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
SilenceableSolverGLB
public SilenceableSolverGLB(JifTypeSystem ts,
polyglot.frontend.Compiler compiler,
java.lang.String solverName)
SilenceableSolverGLB
protected SilenceableSolverGLB(SolverGLB js)
muted
public static boolean muted()
mute
public static void mute(boolean b)
isSolved
public boolean isSolved()
solve
public VarMap solve()
throws SemanticException
- Throws:
SemanticException
reportError
protected void reportError(Constraint c,
java.util.Collection variables)
throws SemanticException
- Throws:
SemanticException