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

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          edu.rice.cs.dynamicjava.symbol.TypeSystem.TypeSystemException
              edu.rice.cs.dynamicjava.symbol.TypeSystem.UnmatchedLookupException
                  edu.rice.cs.dynamicjava.symbol.TypeSystem.UnmatchedFunctionLookupException

All Implemented Interfaces:

Serializable

Enclosing class:

TypeSystem

public static class TypeSystem.UnmatchedFunctionLookupException
extends TypeSystem.UnmatchedLookupException

A function lookup that failed because none of the given candidates matched the provided arguments.

See Also:

Serialized Form

Constructor Summary

TypeSystem.UnmatchedFunctionLookupException(Iterable<? extends Function> candidates)

Method Summary

Iterable<? extends Function>

candidates()

Methods inherited from class edu.rice.cs.dynamicjava.symbol.TypeSystem.UnmatchedLookupException

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.UnmatchedFunctionLookupException

public TypeSystem.UnmatchedFunctionLookupException(Iterable<? extends Function> candidates)

Method Detail

candidates

public Iterable<? extends Function> candidates()