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