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 LowlevelImplementsClash  

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

All Implemented Interfaces:

java.io.Serializable

---

public class LowlevelImplementsClash

extends LowlevelUnsatisfiable

Thrown when the constraint implies that the rigid variable a implement i which is not the case

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	i

 

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)	LowlevelImplementsClash(int a, int i)

 

Method Summary
int	getA()
int	getI()

 

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, getMessage, 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

a

private int a

---

i

private int i

Constructor Detail

LowlevelImplementsClash

LowlevelImplementsClash(int a,
                        int i)

Method Detail

getA

public int getA()

---

getI

public int getI()

---

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

---