//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\
// PLEASE DO NOT EDIT WITHOUT THE EXPLICIT CONSENT OF THE AUTHOR! \\
//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\
package ilog.language.design.types;
/**
* @version Last modified on Tue Dec 10 20:38:39 2002 by hak
* @author Hassan Aït-Kaci
* @copyright © 2000-2002 ILOG, S.A.
*/
import ilog.language.tools.Misc;
import ilog.language.util.Locatable;
/**
* A Goal is anything that may be established and undone by a TypeChecker.
* Here are the different types of goals:
*
* - BaseTypeGoal,
*
- ArrayIndexTypeGoa,
*
- CheckExitableGoal,
*
- EmptyGoal,
*
- GlobalTypingGoal,
*
- PopExitableGoal,
*
- PruningGoal,
*
- PushExitableGoal,
*
- ResiduatedGoal,
*
- ShadowUnifyGoal,
*
- TypingGoal,
*
- UnifyBaseTypeGoal,
*
- UnifyGoal,
*
- NoVoidTypeGoal.
*
*/
abstract public class Goal extends TimeStamp
{
private boolean _isTrailable = true;
final void setIsTrailable (boolean isTrailable)
{
_isTrailable = isTrailable;
}
final void trail (TypeChecker typeChecker)
{
if (_isTrailable)
typeChecker.trail(this);
}
/**
* This method is called by the type checker to try and establish this goal.
*/
abstract void prove (TypeChecker typeChecker) throws StaticSemanticsErrorException;
/**
* This method is called by the type checker upon popping it from the goal trail.
*/
void undo (TypeChecker typeChecker)
{
typeChecker.pushGoal(this);
}
/**
* Returns this goal's location's extent as a
* Locatable.
*/
abstract Locatable extent ();
public String toString ()
{
return /* Misc.locationString(extent()) + */ "Goal " + timeStamp();
}
}