Esempio xtext di un oggetto con scope

Question

Sto cercando un esempio (in XText) su come implementare il completamento del codice su membri di oggetti definiti dall'utente. Per quanto posso vedere ho bisogno di usare IScope, ma come tutti questi fili insieme non è chiaro.

Dato che trait è un tipo definito dall'utente, come posso fare per la costruzione di una grammatica di codice completo/validare i metodi contenuti in String quando si digita name.?

trait String { 
    def toLowerCase(): String 
    def toUpperCase(): String 
} 

val name = new String() 
name.toLowerCase() 

Grazie

Answer 1

Esso dipende in larga misura la grammatica quello che hai da fare per adottare scoping. Diciamo che avete una grammatica come

Model: 
    statements+=Statement+ 
; 

Statement: 
    Trait | VarDef | Call 
; 

Trait: 
    "trait" name=ID "{" 
     ops+=Operation* 
    "}" 
; 

Operation: 
    "def" name=ID "()" ":" type=[Trait] 
; 

VarDef: 
    "val" name=ID "=" "new" type=[Trait] "()" 
; 

Call: 
    var=[VarDef] "." op=[Operation] "()" 
; 

allora il vostro scopeprovider assomiglierebbe

public class MyDslScopeProvider extends AbstractDeclarativeScopeProvider { 

    IScope scope_Call_op(Call call, EReference ref) { 
     return Scopes.scopeFor(call.getVar().getType().getOps()); 
    } 
}  

È possibile trovare una serie di blog sul tema qui:

https://web.archive.org/web/20130129085620/http://blogs.itemis.de/stundzig/archives/773

Answer 2

In il mio libro su Xtext, "Implementazione di linguaggi specifici del dominio con Xtext e Xtend", https://www.packtpub.com/application-development/implementing-domain-specific-languages-xtext-and-xtend, c'è un capitolo sulla scoping per un linguaggio Java "più piccolo" (che si occupa anche di ereditarietà). È possibile trovare le fonti di esempi qui: https://github.com/LorenzoBettini/packtpub-xtext-book-examples