Package org.checkerframework.framework.util.typeinference8.util

Class FalseBoundException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

org.checkerframework.framework.util.typeinference8.util.FalseBoundException

All Implemented Interfaces:

Serializable

public class FalseBoundException
extends RuntimeException

Exception thrown when the Java types make it so that false is inferred.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
FalseBoundException(Constraint constraint, ReductionResult result)	Creates a false bound exception

Method Summary

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

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

Constructor Details

FalseBoundException

public FalseBoundException(Constraint constraint,
 ReductionResult result)

Creates a false bound exception

Parameters:

constraint - the constraint the was not resolved

result - the result of reduction