// automatically generated by Xtext
grammar eposse.experiments.xtext.sandbox.mydsl.MySandboxDsl with org.eclipse.xtext.common.Terminals

import "http://www.example.org/sandbox" 
import "http://www.eclipse.org/emf/2002/Ecore" as ecore

System returns System:
    {System}
    'System'
    name=EString
    '{'
        (imports+=Import)*
        (artifacts+=Artifact | widgets+=Widget | modules+=Module)*
    '}';

Import returns Import:
	'import' 'ns' importedNamespace=QualifiedName ('.*')?
	| 'import' 'uri' importURI=STRING
;
 
QualifiedName:
  ID ('.' ID)*;

EString returns ecore::EString:
    STRING | ID;

Artifact returns Artifact:
    {Artifact}
    'Artifact'
    name=EString;

Widget returns Widget:
    {Widget}
    'Widget'
    name=EString
    ':'
    artifact=[Artifact]
    ;

Module returns Module:
    {Module}
    'Module'
    name=EString
    '{'
        (artifacts+=Artifact | widgets+=Widget | modules+=Module)*
    '}';

class MySandboxDslRuntimeModule extends AbstractMySandboxDslRuntimeModule
{
    override bindIGlobalScopeProvider() { ImportUriGlobalScopeProvider }
}

class MySandboxDslScopeProvider extends AbstractMySandboxDslScopeProvider 
{
    @Inject IGlobalScopeProvider gsp

    override IScope getScope(EObject context, EReference reference)
    {
        switch context {
            Widget case reference == SandboxPackage.Literals.WIDGET__ARTIFACT : 
            {
                return gsp.getScope(context.eResource, reference, Predicates.alwaysTrue)
            }
        }
        return super.getScope(context, reference);
  }
}

// a.sandsl
System S1
{
	Artifact A1
	Artifact A2
}

// b.sandsl
System S2
{
	import uri "platform:/resource/a/a.sandsl"
	Widget W1 : 
}