protected static class XbaseResource.AssumptionState
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected XbaseResource.AssumptionTracker |
assumptionTracker |
protected java.util.Map<XAbstractFeatureCall,XExpression> |
featureCallToFirstArgumentAssumption |
protected java.util.Map<XAbstractFeatureCall,XExpression> |
featureCallToReceiverAssumption |
protected java.util.Map<JvmIdentifiableElement,JvmIdentifiableElement> |
proxyToAssumption |
Modifier | Constructor and Description |
---|---|
protected |
XbaseResource.AssumptionState() |
protected java.util.Map<JvmIdentifiableElement,JvmIdentifiableElement> proxyToAssumption
protected java.util.Map<XAbstractFeatureCall,XExpression> featureCallToReceiverAssumption
protected java.util.Map<XAbstractFeatureCall,XExpression> featureCallToFirstArgumentAssumption
protected XbaseResource.AssumptionTracker assumptionTracker