diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-08 21:02:33 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-08 21:02:33 +0200 |
commit | 771e3773bb7ebbf6712724cb2b248467c9cc2e3c (patch) | |
tree | b1724af24b9c583b2780c7a2fe76e76fd174359d /Application/org.eclipse.viatra.solver.language.ui/src-gen/org | |
parent | Update solver language grammar (diff) | |
download | VIATRA-Generator-771e3773bb7ebbf6712724cb2b248467c9cc2e3c.tar.gz VIATRA-Generator-771e3773bb7ebbf6712724cb2b248467c9cc2e3c.tar.zst VIATRA-Generator-771e3773bb7ebbf6712724cb2b248467c9cc2e3c.zip |
Synthetic tokens for solver language
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.ui/src-gen/org')
2 files changed, 15 insertions, 8 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/AbstractSolverLanguageUiModule.java b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/AbstractSolverLanguageUiModule.java index e0206f6a..2df9b674 100644 --- a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/AbstractSolverLanguageUiModule.java +++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/AbstractSolverLanguageUiModule.java | |||
@@ -13,7 +13,7 @@ import org.eclipse.jface.viewers.ILabelProvider; | |||
13 | import org.eclipse.ui.plugin.AbstractUIPlugin; | 13 | import org.eclipse.ui.plugin.AbstractUIPlugin; |
14 | import org.eclipse.viatra.solver.language.ide.contentassist.antlr.PartialSolverLanguageContentAssistParser; | 14 | import org.eclipse.viatra.solver.language.ide.contentassist.antlr.PartialSolverLanguageContentAssistParser; |
15 | import org.eclipse.viatra.solver.language.ide.contentassist.antlr.SolverLanguageParser; | 15 | import org.eclipse.viatra.solver.language.ide.contentassist.antlr.SolverLanguageParser; |
16 | import org.eclipse.viatra.solver.language.ide.contentassist.antlr.internal.InternalSolverLanguageLexer; | 16 | import org.eclipse.viatra.solver.language.ide.contentassist.antlr.lexer.InternalSolverLanguageLexer; |
17 | import org.eclipse.viatra.solver.language.ui.contentassist.SolverLanguageProposalProvider; | 17 | import org.eclipse.viatra.solver.language.ui.contentassist.SolverLanguageProposalProvider; |
18 | import org.eclipse.viatra.solver.language.ui.labeling.SolverLanguageDescriptionLabelProvider; | 18 | import org.eclipse.viatra.solver.language.ui.labeling.SolverLanguageDescriptionLabelProvider; |
19 | import org.eclipse.viatra.solver.language.ui.labeling.SolverLanguageLabelProvider; | 19 | import org.eclipse.viatra.solver.language.ui.labeling.SolverLanguageLabelProvider; |
@@ -30,6 +30,8 @@ import org.eclipse.xtext.builder.nature.NatureAddingEditorCallback; | |||
30 | import org.eclipse.xtext.builder.preferences.BuilderPreferenceAccess; | 30 | import org.eclipse.xtext.builder.preferences.BuilderPreferenceAccess; |
31 | import org.eclipse.xtext.generator.IContextualOutputConfigurationProvider; | 31 | import org.eclipse.xtext.generator.IContextualOutputConfigurationProvider; |
32 | import org.eclipse.xtext.ide.LexerIdeBindings; | 32 | import org.eclipse.xtext.ide.LexerIdeBindings; |
33 | import org.eclipse.xtext.ide.editor.contentassist.CompletionPrefixProvider; | ||
34 | import org.eclipse.xtext.ide.editor.contentassist.IndentationAwareCompletionPrefixProvider; | ||
33 | import org.eclipse.xtext.ide.editor.contentassist.antlr.IContentAssistParser; | 35 | import org.eclipse.xtext.ide.editor.contentassist.antlr.IContentAssistParser; |
34 | import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer; | 36 | import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer; |
35 | import org.eclipse.xtext.ide.editor.partialEditing.IPartialEditingContentAssistParser; | 37 | import org.eclipse.xtext.ide.editor.partialEditing.IPartialEditingContentAssistParser; |
@@ -110,7 +112,7 @@ public abstract class AbstractSolverLanguageUiModule extends DefaultUiModule { | |||
110 | public void configureHighlightingLexer(Binder binder) { | 112 | public void configureHighlightingLexer(Binder binder) { |
111 | binder.bind(org.eclipse.xtext.parser.antlr.Lexer.class) | 113 | binder.bind(org.eclipse.xtext.parser.antlr.Lexer.class) |
112 | .annotatedWith(Names.named(LexerIdeBindings.HIGHLIGHTING)) | 114 | .annotatedWith(Names.named(LexerIdeBindings.HIGHLIGHTING)) |
113 | .to(org.eclipse.viatra.solver.language.parser.antlr.internal.InternalSolverLanguageLexer.class); | 115 | .to(org.eclipse.viatra.solver.language.parser.antlr.lexer.InternalSolverLanguageLexer.class); |
114 | } | 116 | } |
115 | 117 | ||
116 | // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2 | 118 | // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2 |
@@ -135,6 +137,11 @@ public abstract class AbstractSolverLanguageUiModule extends DefaultUiModule { | |||
135 | binder.bind(InternalSolverLanguageLexer.class).toProvider(LexerProvider.create(InternalSolverLanguageLexer.class)); | 137 | binder.bind(InternalSolverLanguageLexer.class).toProvider(LexerProvider.create(InternalSolverLanguageLexer.class)); |
136 | } | 138 | } |
137 | 139 | ||
140 | // contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2 | ||
141 | public Class<? extends CompletionPrefixProvider> bindCompletionPrefixProvider() { | ||
142 | return IndentationAwareCompletionPrefixProvider.class; | ||
143 | } | ||
144 | |||
138 | // contributed by org.eclipse.xtext.xtext.generator.validation.ValidatorFragment2 | 145 | // contributed by org.eclipse.xtext.xtext.generator.validation.ValidatorFragment2 |
139 | public Class<? extends AbstractValidatorConfigurationBlock> bindAbstractValidatorConfigurationBlock() { | 146 | public Class<? extends AbstractValidatorConfigurationBlock> bindAbstractValidatorConfigurationBlock() { |
140 | return SolverLanguageValidatorConfigurationBlock.class; | 147 | return SolverLanguageValidatorConfigurationBlock.class; |
diff --git a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/contentassist/AbstractSolverLanguageProposalProvider.java b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/contentassist/AbstractSolverLanguageProposalProvider.java index fbf12ae8..4beca20e 100644 --- a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/contentassist/AbstractSolverLanguageProposalProvider.java +++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/ui/contentassist/AbstractSolverLanguageProposalProvider.java | |||
@@ -138,9 +138,6 @@ public abstract class AbstractSolverLanguageProposalProvider extends TerminalsPr | |||
138 | public void completeAggregation_Condition(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 138 | public void completeAggregation_Condition(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
139 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 139 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
140 | } | 140 | } |
141 | public void completeAtomicExpression_ArgumentList(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
142 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | ||
143 | } | ||
144 | public void completeCall_Functor(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 141 | public void completeCall_Functor(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
145 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); | 142 | completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor); |
146 | } | 143 | } |
@@ -445,13 +442,16 @@ public abstract class AbstractSolverLanguageProposalProvider extends TerminalsPr | |||
445 | public void complete_QUOTED_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 442 | public void complete_QUOTED_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
446 | // subclasses may override | 443 | // subclasses may override |
447 | } | 444 | } |
448 | public void complete_PLUS(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 445 | public void complete_SL_COMMENT(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
446 | // subclasses may override | ||
447 | } | ||
448 | public void complete_TRANSITIVE_CLOSURE(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | ||
449 | // subclasses may override | 449 | // subclasses may override |
450 | } | 450 | } |
451 | public void complete_STAR(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 451 | public void complete_REFLEXIVE_TRANSITIVE_CLOSURE(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
452 | // subclasses may override | 452 | // subclasses may override |
453 | } | 453 | } |
454 | public void complete_DOT(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 454 | public void complete_FULL_STOP(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |
455 | // subclasses may override | 455 | // subclasses may override |
456 | } | 456 | } |
457 | public void complete_NamedElement(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { | 457 | public void complete_NamedElement(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) { |