hlt.language.design.types

Class PruningGoal

java.lang.Object

hlt.language.design.types.TimeStamp

hlt.language.design.types.Goal

hlt.language.design.types.PruningGoal

public class PruningGoal
extends Goal

The meaning of a PruningGoal is to unify the filter field of a specified Global with the specified filter. The purpose is to allow narrowing the sets of viable types for the global when this global is subsequently typechecked (which is done by a GlobalTypingGoal).

Constructor Summary

Constructors

Constructor and Description
PruningGoal(Global global, Type filter, Locatable extent)

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.String	toString() Returns a string form of this typing goal.

Methods inherited from class hlt.language.design.types.TimeStamp

setTimeStamp, setTimeStamp, timeStamp

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

PruningGoal

public PruningGoal(Global global,
           Type filter,
           Locatable extent)

Method Detail

toString

public final java.lang.String toString()

Returns a string form of this typing goal.

Overrides:

toString in class Goal