Package net.ssehub.easy.reasoning.sseReasoner.functions

Class ScopeAssignments

java.lang.Object

net.ssehub.easy.reasoning.sseReasoner.functions.ScopeAssignments

public class ScopeAssignments
extends java.lang.Object

Class contains variables that were assigned in a specific scope..

Author:

Sizonenko

Field Summary

Fields

Modifier and Type	Field	Description
private java.util.Set<IDecisionVariable>	currentScopeSet
private java.util.Map<IModelElement,java.util.Set<IDecisionVariable>>	scopeAssignments

Constructor Summary

Constructors

Constructor	Description
ScopeAssignments()	Sole constructor.

Method Summary

Modifier and Type	Method	Description
void	addAssignedVariable(IDecisionVariable variable)	Method for registering a variable that was assigned.
void	clear()	Clears all assignments.
void	clearScopeAssignments(Project scope)	Clears all scope assignments for scope.
void	setCurrentScope(Constraint constraint)	Defines the current scope due to the parents of the given constraint.
void	setCurrentScope(IModelElement currentScope)	Defines the current scope.
boolean	wasAssignedInThisScope(IDecisionVariable variable)	Method for determining if variable was assigned in the specific scope.

Methods inherited from class java.lang.Object

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

Field Detail

scopeAssignments

private java.util.Map<IModelElement,java.util.Set<IDecisionVariable>> scopeAssignments

currentScopeSet

private transient java.util.Set<IDecisionVariable> currentScopeSet

Constructor Detail

ScopeAssignments

public ScopeAssignments()

Sole constructor.

Method Detail

addAssignedVariable

public void addAssignedVariable(IDecisionVariable variable)

Method for registering a variable that was assigned. Call setCurrentScope(IModelElement) before.

Parameters:

variable - Assigned variable.

wasAssignedInThisScope

public boolean wasAssignedInThisScope(IDecisionVariable variable)

Method for determining if variable was assigned in the specific scope. Call setCurrentScope(IModelElement) before.

Parameters:

variable - Variable under question.

Returns:

True if variable already was assigned in this scope.

clear

public void clear()

Clears all assignments.

clearScopeAssignments

public void clearScopeAssignments(Project scope)

Clears all scope assignments for scope.

Parameters:

scope - the scope to clear

setCurrentScope

public void setCurrentScope(Constraint constraint)

Defines the current scope due to the parents of the given constraint.

Parameters:

constraint - defining the current scope

setCurrentScope

public void setCurrentScope(IModelElement currentScope)

Defines the current scope.

Parameters:

currentScope - the current scope