org.eclipse.xtext.xbase.resource
Class LinkingAssumptions.Assumption

java.lang.Object
  org.eclipse.xtext.xbase.resource.LinkingAssumptions.Assumption

Enclosing class:

LinkingAssumptions

public static class LinkingAssumptions.Assumption
extends java.lang.Object

Constructor Summary

LinkingAssumptions.Assumption(JvmIdentifiableElement proxy, JvmIdentifiableElement candidate)

LinkingAssumptions.Assumption(JvmIdentifiableElement proxy, JvmIdentifiableElement candidate, XAbstractFeatureCall featureCall, XExpression implicitReceiver, XExpression implicitFirstArgumentReceiver)

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

LinkingAssumptions.Assumption

public LinkingAssumptions.Assumption(JvmIdentifiableElement proxy,
                                     JvmIdentifiableElement candidate)

LinkingAssumptions.Assumption

public LinkingAssumptions.Assumption(JvmIdentifiableElement proxy,
                                     JvmIdentifiableElement candidate,
                                     XAbstractFeatureCall featureCall,
                                     XExpression implicitReceiver,
                                     XExpression implicitFirstArgumentReceiver)