1
我下載了一個模型檢查器nusmv-tools（https://code.google.com/a/eclipselabs.org/p/nusmv-tools/）。 我在eclipse上成功安裝了它及其依賴項（如xtext）並重新啓動了eclipse。在eclipse中解析smv文件
現在，我希望eclipse能夠識別nusmv文件（哪個擴展名是'.smv'），但是它不能。
我的問題是，我應該怎麼做才能在eclipse中解析nusmv文件，這樣eclipse會識別並突出顯示nusmv文件（.smv）。
（我應該創建一個XTEXT項目或Java項目或一般項目？ 我要補充的項目，該項目庫或外部罐子？）
任何幫助嗎？ 感謝