protected static class XbaseResource.AssumptionTracker extends java.lang.Object implements LinkingAssumptions.Tracker
Modifier | Constructor and Description |
---|---|
protected |
XbaseResource.AssumptionTracker(XbaseResource.AssumptionState host) |
Modifier and Type | Method and Description |
---|---|
boolean |
isIndependentOfAssumptions() |
protected void |
markDependent() |
void |
stopTracking() |
java.lang.String |
toString() |
protected XbaseResource.AssumptionTracker(XbaseResource.AssumptionState host)
public boolean isIndependentOfAssumptions()
isIndependentOfAssumptions
in interface LinkingAssumptions.Tracker
public void stopTracking()
stopTracking
in interface LinkingAssumptions.Tracker
protected void markDependent()
public java.lang.String toString()
toString
in class java.lang.Object