dk.brics.tajs.unevalizer

Class UnevalizerLimitations

java.lang.Object

dk.brics.tajs.unevalizer.UnevalizerLimitations

public class UnevalizerLimitations
extends java.lang.Object

Utility class for allowing unevalizer limitations unsoundly when needed.

Constructor Summary

Constructors

Constructor and Description
UnevalizerLimitations()

Method Summary

Modifier and Type	Method and Description
static Value	handle(java.lang.String msg, AbstractNode node, GenericSolver.SolverInterface c)
static Value	handle(java.lang.String msg, AbstractNode node, Value value, GenericSolver.SolverInterface c)

Methods inherited from class java.lang.Object

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

Constructor Detail

UnevalizerLimitations

public UnevalizerLimitations()

Method Detail

handle

public static Value handle(java.lang.String msg,
                           AbstractNode node,
                           GenericSolver.SolverInterface c)

handle

public static Value handle(java.lang.String msg,
                           AbstractNode node,
                           Value value,
                           GenericSolver.SolverInterface c)