Block blc1 extends blc2 {
   blc2.feat
}
Block blc2 {
   Attribute feat
}

Block blc1 extends blc2 {
blc2.
}

Block blc1 extends blc2 {
blc2.|
sometext
}

terminal SID : ('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'_'|'0'..'9')*;
IID : SID [ INT ]
SIDone: SID;
SIDtwo: '(' SID ')';
SIDthree: SID;
IIDone : IID
IIDtwo : IID

RuleOne: name = SIDone ...
RuleFoo: name = [RuleOne | SIDone] ...
RuleBar: name = SIDtwo ...
RuleFortyTwo: name = IIDtwo ...

terminal SID : ('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'_'|'0'..'9')*;
IID : SID ([ INT ])?
SIDone: id=SID;
SIDtwo: id='(' SID ')';
SIDthree: id=SID;
IIDone : id=IID
IIDtwo : id=IID

grammar org.xtext.example.abc.ABC with org.eclipse.xtext.common.Terminals

generate aBC "http://www.xtext.org/example/abc/ABC"

ABCLanguage: (D += ItemDefinition)*;

ItemDefinition: 
	"Item" name=ID
 	(inheritance ?= ":" inherits=Inherits)?
 	body=ItemBody;
	

ItemBody:
	body?="{" 
  	(  WD += WorkingDefinition |
    	ID += ItemDefinition AI += AbstractItem
  	)*
  	"}";
  
Inherits:
	defrefs += DefinitionReference ("," defrefs+= DefinitionReference)*;
	
DefinitionReference:
	(name=ID hasName?="<-")?
	ref = [ItemDefinition | ID];

WorkingDefinition:
  	"Working" name=ID;

AbstractItem:
	"AbstractItem" id=ID "holds" ref=[ItemDefinition | ID];

Item aaa111 : aaa222 {
	Item aaa444 : aaa222 {} AbstractItem Id holds aaa222
}

Item aaa222 {
	
}

class ABCScopeProvider extends AbstractDeclarativeScopeProvider {
	
	override IScope getScope(EObject context, EReference reference) {
		
		println("")
		println("scope_" + reference.EContainingClass.name +
				"_" + reference.name + 
				"(" + context.eClass.name + ", ..)"
				)
		super.getScope(context,reference);
	}
	
	def IScope scope_DefinitionReference_ref(ItemDefinition item, EReference eRef) {
		Literals::DEFINITION_REFERENCE__REF!=null // assertion		
		
		val parent = item.eContainer
		switch (parent) {
			ItemBody : {
				val parentMod = parent.eContainer as ItemDefinition
				Scopes::scopeFor(parent.AI, scope_DefinitionReference_ref(parentMod, eRef))
			}
			ABCLanguage : {
				Scopes::scopeFor(parent.d)
			}
			default : {
				IScope::NULLSCOPE
			}
		}
	}
	
	
}

public class ABCQualifiedNameProvider extends SimpleNameProvider  {


	// copied from DefaultDeclarativeQualifiedNameProvider and changed by
	// (1) simple names instead of fully qualified names
	// (2) scoping issues with constraining parent and child views (set parent scopes to IScope.NULLSCOPE)
	// compare getFullyQualifiedName methods
	private PolymorphicDispatcher<QualifiedName> qualifiedName = new PolymorphicDispatcher<QualifiedName>("qualifiedName",1,1,Collections.singletonList(this), PolymorphicDispatcher.NullErrorHandler.<QualifiedName>get())
			{
		@Override
		protected QualifiedName handleNoSuchMethod(Object... params) { 
			return null;
		}
	}; 
	
	private Function<EObject, String> resolver = SimpleAttributeResolver.newResolver(String.class, "name");
	
	protected Function<EObject, String> getResolver() {
		return resolver;
	}
	
	@Inject
	private IQualifiedNameConverter converter = new IQualifiedNameConverter.DefaultImpl();
	
	public QualifiedName getFullyQualifiedName(final EObject obj) {
	
		EObject temp = obj;
		QualifiedName qualifiedNameFromDispatcher = qualifiedName.invoke(temp);
		if (qualifiedNameFromDispatcher!=null)
			return qualifiedNameFromDispatcher;
		String name = getResolver().apply(temp);
		if (Strings.isEmpty(name))
			return null;
		QualifiedName qualifiedNameFromConverter = converter.toQualifiedName(name);
		return qualifiedNameFromConverter;
	}
				
	
	QualifiedName qualifiedName(DefinitionReference defref) {
		String name = null;
		QualifiedName qname = null;
		if(defref.isHasName()) {
			name = defref.getName();
			qname = converter.toQualifiedName(name);
		} else {
		// qname = getFullyQualifiedName(defref.getRef()); // can call lazy links
			List<INode> nodes = NodeModelUtils.findNodesForFeature(defref, ABCPackage.Literals.DEFINITION_REFERENCE__REF);
			INode first = null;
			if(nodes.size()>=1) {
				first = nodes.get(0);
				name = NodeModelUtils.getTokenText(first);
				qname = converter.toQualifiedName(name);
			}
		}
		return qname;
	}
}

Item aaa111 : aaa222 {
	Item aaa444 : aaa222 {} AbstractItem Id holds aaa222
	Item aaa333 : | 
}

Item aaa222 {}

		val parent = EcoreUtil2::getContainerOfType(context, typeof(ABCLanguage))
		println(parent.d)

AbstractItem: {AbstractItem}
	"AbstractItem" ;//id=ID;// "holds";// ref=[ItemDefinition | ID];

AbstractItem:
	"AbstractItem" id=ID;// "holds";// ref=[ItemDefinition | ID];