Package tools.refinery.language.resource.state

Class ImplicitVariableScope

java.lang.Object

tools.refinery.language.resource.state.ImplicitVariableScope

public class ImplicitVariableScope
extends Object

Constructor Summary

Constructors

Constructor	Description
ImplicitVariableScope(org.eclipse.emf.ecore.EObject root, ExistentialQuantifier quantifier, Set<String> knownVariables)
ImplicitVariableScope(ExistentialQuantifier root, Set<String> knownVariables)

Method Summary

Modifier and Type	Method	Description
protected ImplicitVariable	createNamedVariable(String variableName)
protected void	createSingletonVariable(VariableOrNodeExpr variableOrNodeExpr, String variableName)
protected void	createVariable(String variableName)
void	createVariables(org.eclipse.xtext.scoping.IScopeProvider scopeProvider, org.eclipse.xtext.linking.impl.LinkingHelper linkingHelper, org.eclipse.xtext.naming.IQualifiedNameConverter qualifiedNameConverter, Deque<ImplicitVariableScope> scopeQueue)
protected boolean	tryCreateVariableForArgument(VariableOrNodeExpr variableOrNodeExpr, String crossRefString, org.eclipse.xtext.naming.IQualifiedNameConverter qualifiedNameConverter, org.eclipse.xtext.scoping.IScope scope)

Methods inherited from class java.lang.Object

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

Constructor Details

ImplicitVariableScope

public ImplicitVariableScope(org.eclipse.emf.ecore.EObject root,
 ExistentialQuantifier quantifier,
 Set<String> knownVariables)

ImplicitVariableScope

public ImplicitVariableScope(ExistentialQuantifier root,
 Set<String> knownVariables)

Method Details

createVariables

public void createVariables(org.eclipse.xtext.scoping.IScopeProvider scopeProvider,
 org.eclipse.xtext.linking.impl.LinkingHelper linkingHelper,
 org.eclipse.xtext.naming.IQualifiedNameConverter qualifiedNameConverter,
 Deque<ImplicitVariableScope> scopeQueue)

tryCreateVariableForArgument

protected boolean tryCreateVariableForArgument(VariableOrNodeExpr variableOrNodeExpr,
 String crossRefString,
 org.eclipse.xtext.naming.IQualifiedNameConverter qualifiedNameConverter,
 org.eclipse.xtext.scoping.IScope scope)

createVariable

protected void createVariable(String variableName)

createSingletonVariable

protected void createSingletonVariable(VariableOrNodeExpr variableOrNodeExpr,
 String variableName)

createNamedVariable

protected ImplicitVariable createNamedVariable(String variableName)