Package tools.refinery.language.ide

Class ProblemIdeModule

java.lang.Object
org.eclipse.xtext.service.AbstractGenericModule
org.eclipse.xtext.ide.DefaultIdeModule
tools.refinery.language.ide.AbstractProblemIdeModule
tools.refinery.language.ide.ProblemIdeModule
All Implemented Interfaces:
com.google.inject.Module
public class ProblemIdeModule extends AbstractProblemIdeModule
Use this class to register ide components.

  • Constructor Details

    • ProblemIdeModule

      public ProblemIdeModule()

  • Method Details

    • bindIContentAssistParser

      public Class<? extends org.eclipse.xtext.ide.editor.contentassist.antlr.IContentAssistParser> bindIContentAssistParser()
      Overrides:
      bindIContentAssistParser in class AbstractProblemIdeModule

    • bindIPartialEditingContentAssistParser

      public Class<? extends org.eclipse.xtext.ide.editor.partialEditing.IPartialEditingContentAssistParser> bindIPartialEditingContentAssistParser()

    • bindISemanticHighlightingCalculator

      public Class<? extends org.eclipse.xtext.ide.editor.syntaxcoloring.ISemanticHighlightingCalculator> bindISemanticHighlightingCalculator()

    • bindIPrefixMatcher

      public Class<? extends org.eclipse.xtext.ide.editor.contentassist.IPrefixMatcher> bindIPrefixMatcher()
      Overrides:
      bindIPrefixMatcher in class AbstractProblemIdeModule

    • bindIdeContentProposalProvider

      public Class<? extends org.eclipse.xtext.ide.editor.contentassist.IdeContentProposalProvider> bindIdeContentProposalProvider()

    • bindIdeCrossrefProposalProvider

      public Class<? extends org.eclipse.xtext.ide.editor.contentassist.IdeCrossrefProposalProvider> bindIdeCrossrefProposalProvider()