diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-06 17:26:43 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-06 17:26:43 -0500 |
commit | 5c4471e3a4cd273bf68eb2ccc1d91f99b5c8c7bc (patch) | |
tree | 7a2481581a3bc14a672f6e1f7965573853e62c04 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/AbstractVampireLanguageIdeModule.java | |
parent | Restructure Vampire Reasoner project (diff) | |
download | VIATRA-Generator-5c4471e3a4cd273bf68eb2ccc1d91f99b5c8c7bc.tar.gz VIATRA-Generator-5c4471e3a4cd273bf68eb2ccc1d91f99b5c8c7bc.tar.zst VIATRA-Generator-5c4471e3a4cd273bf68eb2ccc1d91f99b5c8c7bc.zip |
Implement Enum handling and study hierarchy handling
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/AbstractVampireLanguageIdeModule.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/AbstractVampireLanguageIdeModule.java | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/AbstractVampireLanguageIdeModule.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/AbstractVampireLanguageIdeModule.java index 323e4df4..d3d4b54d 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/AbstractVampireLanguageIdeModule.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/AbstractVampireLanguageIdeModule.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.14.0 |
3 | */ | 3 | */ |
4 | package ca.mcgill.ecse.dslreasoner.ide; | 4 | package ca.mcgill.ecse.dslreasoner.ide; |
5 | 5 | ||
@@ -15,6 +15,9 @@ import org.eclipse.xtext.ide.editor.contentassist.IProposalConflictHelper; | |||
15 | import org.eclipse.xtext.ide.editor.contentassist.antlr.AntlrProposalConflictHelper; | 15 | import org.eclipse.xtext.ide.editor.contentassist.antlr.AntlrProposalConflictHelper; |
16 | import org.eclipse.xtext.ide.editor.contentassist.antlr.IContentAssistParser; | 16 | import org.eclipse.xtext.ide.editor.contentassist.antlr.IContentAssistParser; |
17 | import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer; | 17 | import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer; |
18 | import org.eclipse.xtext.ide.refactoring.IRenameStrategy2; | ||
19 | import org.eclipse.xtext.ide.server.rename.IRenameService; | ||
20 | import org.eclipse.xtext.ide.server.rename.RenameService; | ||
18 | 21 | ||
19 | /** | 22 | /** |
20 | * Manual modifications go to {@link VampireLanguageIdeModule}. | 23 | * Manual modifications go to {@link VampireLanguageIdeModule}. |
@@ -44,4 +47,14 @@ public abstract class AbstractVampireLanguageIdeModule extends DefaultIdeModule | |||
44 | return FQNPrefixMatcher.class; | 47 | return FQNPrefixMatcher.class; |
45 | } | 48 | } |
46 | 49 | ||
50 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 | ||
51 | public Class<? extends IRenameService> bindIRenameService() { | ||
52 | return RenameService.class; | ||
53 | } | ||
54 | |||
55 | // contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2 | ||
56 | public Class<? extends IRenameStrategy2> bindIRenameStrategy2() { | ||
57 | return IRenameStrategy2.DefaultImpl.class; | ||
58 | } | ||
59 | |||
47 | } | 60 | } |