1 files changed, 38 insertions, 0 deletions

diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/PartialSmtLanguageContentAssistParser.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/PartialSmtLanguageContentAssistParser.java
new file mode 100644
index 00000000..ecd1ebf0
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/PartialSmtLanguageContentAssistParser.java
@@ -0,0 +1,38 @@
+/*

+ * generated by Xtext

+ */

+package hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr;

+

+import java.util.Collection;

+import java.util.Collections;

+

+import org.eclipse.xtext.AbstractRule;

+import org.eclipse.xtext.ui.codetemplates.ui.partialEditing.IPartialContentAssistParser;

+import org.eclipse.xtext.ui.editor.contentassist.antlr.FollowElement;

+import org.eclipse.xtext.ui.editor.contentassist.antlr.internal.AbstractInternalContentAssistParser;

+import org.eclipse.xtext.util.PolymorphicDispatcher;

+

+/**

+ * @author Sebastian Zarnekow - Initial contribution and API

+ */

+@SuppressWarnings("restriction")

+public class PartialSmtLanguageContentAssistParser extends SmtLanguageParser implements IPartialContentAssistParser {

+

+        private AbstractRule rule;

+

+        public void initializeFor(AbstractRule rule) {

+                this.rule = rule;

+        }

+        

+        @Override

+        protected Collection<FollowElement> getFollowElements(AbstractInternalContentAssistParser parser) {

+                if (rule == null || rule.eIsProxy())

+                        return Collections.emptyList();

+                String methodName = "entryRule" + rule.getName();

+                PolymorphicDispatcher<Collection<FollowElement>> dispatcher = 

+                        new PolymorphicDispatcher<Collection<FollowElement>>(methodName, 0, 0, Collections.singletonList(parser));

+                dispatcher.invoke();

+                return parser.getFollowElements();

+        }

+

+}