Class ProblemScopeProvider

java.lang.Object
org.eclipse.xtext.scoping.impl.AbstractScopeProvider
org.eclipse.xtext.scoping.impl.DelegatingScopeProvider
tools.refinery.language.scoping.AbstractProblemScopeProvider
tools.refinery.language.scoping.ProblemScopeProvider
All Implemented Interfaces:
org.eclipse.xtext.scoping.impl.IDelegatingScopeProvider, org.eclipse.xtext.scoping.IScopeProvider

public class ProblemScopeProvider extends AbstractProblemScopeProvider
This class contains custom scoping description.

See ... on how and when to use it.

  • Constructor Summary

    Constructors
    Constructor
    Description
     
  • Method Summary

    Modifier and Type
    Method
    Description
    protected void
    addExistentiallyQualifiedVariableToScope(org.eclipse.emf.ecore.EObject currentContext, Collection<Variable> variables)
     
    protected void
    addSingletonVariableToScope(org.eclipse.emf.ecore.EObject context, Collection<Variable> variables)
     
    protected org.eclipse.xtext.scoping.IScope
    getNodesScope(org.eclipse.emf.ecore.EObject context, org.eclipse.xtext.scoping.IScope delegateScope)
     
    protected org.eclipse.xtext.scoping.IScope
    getOppositeScope(org.eclipse.emf.ecore.EObject context)
     
    org.eclipse.xtext.scoping.IScope
    getScope(org.eclipse.emf.ecore.EObject context, org.eclipse.emf.ecore.EReference reference)
     
    protected org.eclipse.xtext.scoping.IScope
    getVariableScope(org.eclipse.emf.ecore.EObject context, org.eclipse.xtext.scoping.IScope delegateScope)
     

    Methods inherited from class org.eclipse.xtext.scoping.impl.DelegatingScopeProvider

    delegateGetScope, getDelegate, setDelegate

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    Methods inherited from interface org.eclipse.xtext.scoping.impl.IDelegatingScopeProvider

    setWrapper
  • Constructor Details

    • ProblemScopeProvider

      public ProblemScopeProvider()
  • Method Details

    • getScope

      public org.eclipse.xtext.scoping.IScope getScope(org.eclipse.emf.ecore.EObject context, org.eclipse.emf.ecore.EReference reference)
      Specified by:
      getScope in interface org.eclipse.xtext.scoping.IScopeProvider
      Overrides:
      getScope in class org.eclipse.xtext.scoping.impl.DelegatingScopeProvider
    • getNodesScope

      protected org.eclipse.xtext.scoping.IScope getNodesScope(org.eclipse.emf.ecore.EObject context, org.eclipse.xtext.scoping.IScope delegateScope)
    • getVariableScope

      protected org.eclipse.xtext.scoping.IScope getVariableScope(org.eclipse.emf.ecore.EObject context, org.eclipse.xtext.scoping.IScope delegateScope)
    • addSingletonVariableToScope

      protected void addSingletonVariableToScope(org.eclipse.emf.ecore.EObject context, Collection<Variable> variables)
    • addExistentiallyQualifiedVariableToScope

      protected void addExistentiallyQualifiedVariableToScope(org.eclipse.emf.ecore.EObject currentContext, Collection<Variable> variables)
    • getOppositeScope

      protected org.eclipse.xtext.scoping.IScope getOppositeScope(org.eclipse.emf.ecore.EObject context)