edu.rice.cs.dynamicjava.symbol
Class TypeSystem.UnmatchedLookupException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by edu.rice.cs.dynamicjava.symbol.TypeSystem.TypeSystemException
              extended by edu.rice.cs.dynamicjava.symbol.TypeSystem.UnmatchedLookupException
All Implemented Interfaces:
java.io.Serializable
Direct Known Subclasses:
TypeSystem.AmbiguousFunctionLookupException, TypeSystem.UnmatchedFunctionLookupException
Enclosing class:
TypeSystem

public static class TypeSystem.UnmatchedLookupException
extends TypeSystem.TypeSystemException

See Also:
Serialized Form

Constructor Summary
TypeSystem.UnmatchedLookupException(int matches)
           
 
Method Summary
 int matches()
           
 
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
 

Constructor Detail

TypeSystem.UnmatchedLookupException

public TypeSystem.UnmatchedLookupException(int matches)
Method Detail

matches

public int matches()