polyglot.types
Interface PlaceHolder

All Superinterfaces:
java.io.Serializable
All Known Subinterfaces:
NamedPlaceHolder
All Known Implementing Classes:
PlaceHolder_c

public interface PlaceHolder
extends java.io.Serializable

A place holder used to serialize type objects that cannot be serialized.


Method Summary
 TypeObject resolve(TypeSystem ts)
          Resolve the place holder into a TypeObject.
 

Method Detail

resolve

TypeObject resolve(TypeSystem ts)
                   throws CannotResolvePlaceHolderException
Resolve the place holder into a TypeObject. This method should never throw a SchedulerException. Instead, it should return null if the object cannot be resolved until after another pass runs. The method is responsible for setting up the appropriate dependencies to reattempt the current goal.

Throws:
CannotResolvePlaceHolderException