You've said "What about simply resolve the uri and get the resource". Sorry to ask but: When? And then what? Would that (1) make the "contents" of the included* file accessible to the including* file and (2) create an IncludeStmt element with an importURI as a reference to the included* file's root element?

What I would like is that the rule

IncludeStmt: "include" importURI=STRING ;

(1) provides the default/expected functionality for "importURI" rules (in my case, to make the "contents" of the included* file accessible to the including* file) and at the same time
(2) provides a behavior slightly different to the behavior given by "normal" grammar rules with no "importURI" (that is, to create an IncludeStmt element with an importURI attribute as a reference to the included* file's root element).

Maybe a more appropriate rule would be:

IncludeStmt: "include" importURI=[ExternalModel|Location] ;

Where:
- ExternalModel represents the root of included* model and
- Location represents the location of the file/model in the filesystem (or include path).
(Both implicitly provided by the global scope provided.)

The issue with the default behavior is that a rule with importURI will not create any element in the model. In my case, however, I need this. As in C, the location of inclusion is important.

Isn't the global scope provider used during the linking stage?
Wouldn't I need the IncludeStmt to have been created already?

grammar org.xtext.example.mydsl.MyDsl with org.eclipse.xtext.common.Terminals

generate myDsl "http://www.xtext.org/example/mydsl/MyDsl"

Model:
stmt+=Stmt*
;

Stmt:
(DataType | DataInstance | ImportDecl | ImportStmt) ';'
;

DataType:
'data' name=ID ('{'
stmt+=Stmt*
'}')?
;

DataInstance:
type=[DataType] name=ID
;

ImportDecl:
"includedecl" name=STRING
;

ImportStmt:
"include" importURI=[ImportDecl|STRING]
;

data int;
data char;

includedecl "primitivetype.mydsl";
includedecl "module.mydsl";

include "primitivetype.mydsl";

int abc; // ERROR: Couldn't resolve reference to DataType 'int'.

data manyint {
int a1; // ERROR: Couldn't resolve reference to DataType 'int'.
int a2; // ERROR: Couldn't resolve reference to DataType 'int'.
int a3; // ERROR: Couldn't resolve reference to DataType 'int'.
};

manyint m1;

data manymanyint {
manyint a1;
manyint a2;
manyint a3;
};

class MyDslQualifiedNameProvider extends DefaultDeclarativeQualifiedNameProvider {

@Inject
IQualifiedNameConverter converter = new IQualifiedNameConverter.DefaultImpl();

def QualifiedName qualifiedName(ImportStmt ele) {
val nodes = NodeModelUtils.findNodesForFeature(ele, MyDslPackage.Literals.IMPORT_STMT__IMPORT_URI)
for (n : nodes) {
val text = NodeModelUtils.getTokenText(n)
if (text !== null) {
return converter.toQualifiedName(text)
}
}
return null
}
}