Overview  Package   Class  Use  Deprecated  Index
Home >> All >> mlsub >> typing >> [ lowlevel overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

mlsub.typing.lowlevel
Class LowlevelIncompatibleClash  

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          mlsub.typing.lowlevel.Unsatisfiable
              mlsub.typing.lowlevel.LowlevelUnsatisfiable
                  mlsub.typing.lowlevel.LowlevelIncompatibleClash

All Implemented Interfaces:

java.io.Serializable

---

public class LowlevelIncompatibleClash

extends LowlevelUnsatisfiable

Thrown when the constraint implies that a and b have a common subtype or supertype, but a and b are rigid and this is not true

Version:

$Revision: 1.1 $, $Date: 2000/06/14 13:32:51 $

---

Nested Class Summary

 

Nested classes inherited from class java.lang.Throwable

 

Field Summary
private  int	a
private  int	b
static int	NO_COMMON_SUBTYPE
static int	NO_COMMON_SUPERTYPE
private  int	what
private  int	z

 

Fields inherited from class mlsub.typing.lowlevel.LowlevelUnsatisfiable

refinedReports

 

Fields inherited from class java.lang.Exception

 

Fields inherited from class java.lang.Throwable

 

Constructor Summary
(package private)	LowlevelIncompatibleClash(int what, int a, int b, int z)

 

Method Summary
java.lang.String	getMessage()           Get the message associated with this Throwable.
int	getReason()
int[]	getRigidPair()
int	getVar()

 

Methods inherited from class mlsub.typing.lowlevel.LowlevelUnsatisfiable

setRefinedReports

 

Methods inherited from class mlsub.typing.lowlevel.Unsatisfiable

isKindError

 

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

 

Methods inherited from class java.lang.Object

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

 

Field Detail

NO_COMMON_SUBTYPE

public static final int NO_COMMON_SUBTYPE

See Also:

Constant Field Values

---

NO_COMMON_SUPERTYPE

public static final int NO_COMMON_SUPERTYPE

See Also:

Constant Field Values

---

what

private int what

---

a

private int a

---

b

private int b

---

z

private int z

Constructor Detail

LowlevelIncompatibleClash

LowlevelIncompatibleClash(int what,
                          int a,
                          int b,
                          int z)

Method Detail

getReason

public int getReason()

---

getRigidPair

public int[] getRigidPair()

---

getVar

public int getVar()

---

getMessage

public java.lang.String getMessage()

Description copied from class: java.lang.Throwable

Get the message associated with this Throwable.

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> mlsub >> typing >> [ lowlevel overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---