fabric.types
Class SilenceableSolverGLB

java.lang.Object
  extended by SolverGLB
      extended by fabric.types.SilenceableSolverGLB

public class SilenceableSolverGLB
extends SolverGLB

SilenceableSolverGLB can be muted, that is, not reporting any error.

Author:
qixin

Constructor Summary
  SilenceableSolverGLB(JifTypeSystem ts, polyglot.frontend.Compiler compiler, java.lang.String solverName)
           
protected SilenceableSolverGLB(SolverGLB js)
           
 
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
 

Constructor Detail

SilenceableSolverGLB

public SilenceableSolverGLB(JifTypeSystem ts,
                            polyglot.frontend.Compiler compiler,
                            java.lang.String solverName)

SilenceableSolverGLB

protected SilenceableSolverGLB(SolverGLB js)
Method Detail

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