作用域對象的Xtext示例

Question

我正在尋找如何在用戶定義的對象成員上實現代碼完成的示例（在XText中）。據我所見，我需要使用IScope，但所有這些線路如何不清楚。

鑑於trait是用戶定義的類型，我怎麼去建設一個語法編寫完成/驗證中String包含當我輸入name.的方法呢？

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

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

感謝

Answer 1

這在很大程度上取決於你的語法，你必須做的，採取什麼樣的作用域。 讓我們說你有一個像

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] "()" 
; 

語法那麼你scopeprovider會是什麼樣子

public class MyDslScopeProvider extends AbstractDeclarativeScopeProvider { 

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

你可以找到關於該主題在這裏一個博客系列：

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

Answer 2

在我在Xtext上的書「使用Xtext和Xtend實現特定領域的語言」https://www.packtpub.com/application-development/implementing-domain-specific-languages-xtext-and-xtend，有一章關於範圍對於一個「較小」的Java語言（也涉及繼承）。你可以在這裏找到示例的源代碼：https://github.com/LorenzoBettini/packtpub-xtext-book-examples