org.eclipse.xtext.xbase.resource
Class XbaseResource.AssumptionState

java.lang.Object
  org.eclipse.xtext.xbase.resource.XbaseResource.AssumptionState

Enclosing class:

XbaseResource

protected static class XbaseResource.AssumptionState
extends java.lang.Object

Field Summary

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

Constructor Summary

protected

XbaseResource.AssumptionState()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

proxyToAssumption

protected java.util.Map<JvmIdentifiableElement,JvmIdentifiableElement> proxyToAssumption

featureCallToReceiverAssumption

protected java.util.Map<XAbstractFeatureCall,XExpression> featureCallToReceiverAssumption

featureCallToFirstArgumentAssumption

protected java.util.Map<XAbstractFeatureCall,XExpression> featureCallToFirstArgumentAssumption

assumptionTracker

protected XbaseResource.AssumptionTracker assumptionTracker

Constructor Detail

XbaseResource.AssumptionState

protected XbaseResource.AssumptionState()