diff options
| author |  Reza Ahmadi <reza.ahmadi@uta.fi> | 2014-07-18 21:16:40 +0300 |
|---|---|---|
| committer | Reza Ahmadi <reza.ahmadi@uta.fi> | 2014-07-18 21:16:40 +0300 |
| commit | 77143c833cbb14a20c704fb60fc28dd94edb44eb (patch) | |
| tree | 7da7588d8dccb94fb1c5c42f23ec69c4edab2785 /Util/Emacs | |
| parent | c377658acba5472b6d0c1e1452ce4c4c8f1fc28e (diff) | |
added trait feature:
-possibility to declare traits in Dafny
-possibility to extend a class by a trait
-possibility to override body-less methods
Diffstat (limited to 'Util/Emacs')
| -rw-r--r-- | Util/Emacs/dafny-mode.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Util/Emacs/dafny-mode.el b/Util/Emacs/dafny-mode.el index 6c59c50a..d589fb78 100644 --- a/Util/Emacs/dafny-mode.el +++ b/Util/Emacs/dafny-mode.el @@ -31,6 +31,7 @@ `(,(dafny-regexp-opt '(
"class" "datatype" "codatatype" "type" "iterator"
+ "trait" "extends"
"function" "predicate" "copredicate"
"ghost" "var" "method" "lemma" "constructor" "colemma"
"abstract" "module" "import" "default" "as" "opened" "static" "refines"
|