diff --git a/org.framed.iorm.ui/src/org/framed/iorm/ui/editPolicy/ConstraintRuleVisitor.java b/org.framed.iorm.ui/src/org/framed/iorm/ui/editPolicy/ConstraintRuleVisitor.java
index a1aee014d1fe0fb8d94c4ddaff3fa39b5c2f18f1..38258e0f11fe594ca3de56d1e738d08d1d3e4796 100644
--- a/org.framed.iorm.ui/src/org/framed/iorm/ui/editPolicy/ConstraintRuleVisitor.java
+++ b/org.framed.iorm.ui/src/org/framed/iorm/ui/editPolicy/ConstraintRuleVisitor.java
@@ -12,13 +12,10 @@ import org.eclipse.graphiti.mm.pictograms.Anchor;
import org.eclipse.graphiti.mm.pictograms.ContainerShape;
import org.eclipse.graphiti.mm.pictograms.Diagram;
import org.eclipse.graphiti.mm.pictograms.Shape;
-import org.framed.iorm.model.Model;
import org.framed.iorm.model.ModelElement;
import org.framed.iorm.model.Type;
import org.framed.iorm.ui.UIUtil;
import org.framed.iorm.ui.exceptions.NoDiagramFoundException;
-import org.framed.iorm.ui.exceptions.NoModelFoundException;
-import org.framed.iorm.ui.references.AbstractGroupingFeatureReference;
import editpolicymodel.AndConstraintRule;
import editpolicymodel.ConstraintRule;
@@ -32,46 +29,47 @@ import editpolicymodel.OrConstraintRule;
import editpolicymodel.SourceEqualsTarget;
import editpolicymodel.SourceEqualsTargetType;
import editpolicymodel.TrueConstraintRule;
-import compartment.AddCompartmentTypeContext;
/**
- * This class provides the rule-parse for the command-rules. Using VisitorPattern
+ * This class provides the rule-parse for the command-rules. Using
+ * VisitorPattern
*
* @author Christian Deussen
*
*/
public class ConstraintRuleVisitor {
-
- public Map<Type,String> groupingFeatureCache=new HashMap<Type,String>();
+
+ public Map<Type, String> groupingFeatureCache = new HashMap<Type, String>();
/**
* command to check rules against
*/
private Object context;
-
+
@SuppressWarnings("unused")
private Type type;
private Diagram diagram;
-
+
public ConstraintRuleVisitor(Object context, Type type, Diagram diagram) {
this.context = context;
this.type = type;
this.diagram = diagram;
}
-
- public Diagram getDiagramWithName(String name, Diagram rootDiagram)
- {
+
+ public Diagram getDiagramWithName(String name, Diagram rootDiagram) {
Diagram containerDiagram = UIUtil.getContainerDiagramForAnyDiagram(rootDiagram);
- if(containerDiagram == null) throw new NoDiagramFoundException();
- for(Shape shape : containerDiagram.getChildren()) {
- if(shape instanceof Diagram) {
- if(((Diagram) shape).getName().equals(name))
- return ((Diagram) shape);
+ if (containerDiagram == null)
+ throw new NoDiagramFoundException();
+ for (Shape shape : containerDiagram.getChildren()) {
+ if (shape instanceof Diagram) {
+ if (((Diagram) shape).getName().equals(name))
+ return ((Diagram) shape);
}
}
return null;
}
+
/**
* dispatch abstract rule
*
@@ -80,45 +78,44 @@ public class ConstraintRuleVisitor {
* @param rule
* @return Boolean
*/
- public boolean checkRule(ConstraintRule rule)
- {
- if(rule instanceof InCompartment) {
- return isInCompartmentRuleVisitor((InCompartment)rule);
+ public boolean checkRule(ConstraintRule rule) {
+ if (rule instanceof InCompartment) {
+ return isInCompartmentRuleVisitor((InCompartment) rule);
}
-
+
if (rule instanceof AndConstraintRule)
- return andRuleVisitor((AndConstraintRule)rule);
-
+ return andRuleVisitor((AndConstraintRule) rule);
+
if (rule instanceof OrConstraintRule)
- return orRuleVisitor((OrConstraintRule)rule);
-
+ return orRuleVisitor((OrConstraintRule) rule);
+
if (rule instanceof NotConstraintRule)
- return notRuleVisitor((NotConstraintRule)rule);
-
- if(rule instanceof IsSourceType) {
- return isSourceTypeVisitor((IsSourceType)rule);
+ return notRuleVisitor((NotConstraintRule) rule);
+
+ if (rule instanceof IsSourceType) {
+ return isSourceTypeVisitor((IsSourceType) rule);
}
-
- if(rule instanceof SourceEqualsTargetType) {
- return sourceEqualsTargetTypeVisitor((SourceEqualsTargetType)rule);
+
+ if (rule instanceof SourceEqualsTargetType) {
+ return sourceEqualsTargetTypeVisitor((SourceEqualsTargetType) rule);
}
-
- if(rule instanceof SourceEqualsTarget) {
- return sourceEqualsTargetVisitor((SourceEqualsTarget)rule);
+
+ if (rule instanceof SourceEqualsTarget) {
+ return sourceEqualsTargetVisitor((SourceEqualsTarget) rule);
}
-
- if(rule instanceof IsTargetType) {
- return isTargetTypeVisitor((IsTargetType)rule);
+
+ if (rule instanceof IsTargetType) {
+ return isTargetTypeVisitor((IsTargetType) rule);
}
-
- if(rule instanceof ContainsCompartment) {
- return containsCompartmentVisitor((ContainsCompartment)rule);
+
+ if (rule instanceof ContainsCompartment) {
+ return containsCompartmentVisitor((ContainsCompartment) rule);
}
-
+
if (rule instanceof TrueConstraintRule) {
- return true;
+ return true;
}
-
+
if (rule instanceof FalseConstraintRule) {
return false;
}
@@ -127,112 +124,118 @@ public class ConstraintRuleVisitor {
return true;
}
-
private boolean isInCompartmentRuleVisitor(InCompartment rule) {
- ContainerShape container =null;
+ ContainerShape container = null;
if (this.context instanceof AddContext) {
container = ((AddContext) this.context).getTargetContainer();
- }else if (this.context instanceof CreateContext) {
+ } else if (this.context instanceof CreateContext) {
container = ((CreateContext) this.context).getTargetContainer();
}
- if (container==null) return false;
- //travers Containers to find the compartment type.
- Diagram compartmentDiagram=findContainerDiagramOfType(container,Type.COMPARTMENT_TYPE);
- return compartmentDiagram!=null;
+ if (container == null)
+ return false;
+ // travers Containers to find the compartment type.
+ Diagram compartmentDiagram = findContainerDiagramOfType(container, Type.COMPARTMENT_TYPE);
+ return compartmentDiagram != null;
}
-
+
/**
- * Returns the grouping reference (diagram kind) of the given container type, if it exists.
- * Note: this method is cached for better performance.
+ * Returns the grouping reference (diagram kind) of the given container type, if
+ * it exists. Note: this method is cached for better performance.
*
- * @param type the IORM::Type of the container element
+ * @param type
+ * the IORM::Type of the container element
* @return the string reference of the diagram kind of the given container type
*/
private String getGroupingReference(Type type) {
- if (groupingFeatureCache.containsKey(type)) return groupingFeatureCache.get(type);
- Optional<String> result= UIUtil.getGroupingFeatureReferences().stream()
- .filter(a -> a.getModelType()==type) // rule.getType();
- .map(a -> a.getDiagramKind())
- .findFirst();
- if (!result.isPresent()) return null;
+ if (groupingFeatureCache.containsKey(type))
+ return groupingFeatureCache.get(type);
+ Optional<String> result = UIUtil.getGroupingFeatureReferences().stream().filter(a -> a.getModelType() == type) // rule.getType();
+ .map(a -> a.getDiagramKind()).findFirst();
+ if (!result.isPresent())
+ return null;
groupingFeatureCache.put(type, result.get());
return result.get();
}
-
+
/**
- * This method checks if the given container shape is a Diagram of the Diagram Kind of the given type.
- * Otherwise, the method traverses the containers to find a suitable candidate, if any exists.
+ * This method checks if the given container shape is a Diagram of the Diagram
+ * Kind of the given type. Otherwise, the method traverses the containers to
+ * find a suitable candidate, if any exists.
*
- * @param sourceShape the ContainerShape to investigate
- * @param type the IORM::Type of the container to look for
- * @return the diagram of the correct diagram kind or null if no corresponding diagram was not found.
+ * @param sourceShape
+ * the ContainerShape to investigate
+ * @param type
+ * the IORM::Type of the container to look for
+ * @return the diagram of the correct diagram kind or null if no corresponding
+ * diagram was not found.
*/
public Diagram findContainerDiagramOfType(ContainerShape sourceShape, Type type) {
- String groupingReference=getGroupingReference(type);
- while ((sourceShape!=null) &&
- !((sourceShape instanceof Diagram) && (UIUtil.isDiagram_KindValue((Diagram) sourceShape, groupingReference)))) {
- sourceShape=sourceShape.getContainer();
+ String groupingReference = getGroupingReference(type);
+ while ((sourceShape != null) && !((sourceShape instanceof Diagram)
+ && (UIUtil.isDiagram_KindValue((Diagram) sourceShape, groupingReference)))) {
+ sourceShape = sourceShape.getContainer();
}
- if (sourceShape==null)
+ if (sourceShape == null)
return null;
if (sourceShape instanceof Diagram)
return (Diagram) sourceShape;
- throw new IllegalStateException("Invariant violated! findDiagramOfType found a sourceShape that was not a Diagram.");
+ throw new IllegalStateException(
+ "Invariant violated! findDiagramOfType found a sourceShape that was not a Diagram.");
}
-
+
private boolean andRuleVisitor(AndConstraintRule rule) {
- for(ConstraintRule abstractRule : rule.getRules()) {
- if(!checkRule(abstractRule))
+ for (ConstraintRule abstractRule : rule.getRules()) {
+ if (!checkRule(abstractRule))
return false;
}
return true;
}
-
+
private boolean isSourceTypeVisitor(IsSourceType rule) {
Anchor sourceAnchor = this.getSourceAnchorFromContext(this.context);
- if(sourceAnchor == null) {
+ if (sourceAnchor == null) {
System.out.println("failed isSourceType() sourceAnchor== null, this.context: " + this.context.toString());
return false;
}
ModelElement source = UIUtil.getModelElementForAnchor(sourceAnchor);
return rule.getType().getLiteral().equals(source.getType().getLiteral());
}
-
+
private boolean isTargetTypeVisitor(IsTargetType rule) {
Anchor anchor = this.getTargetAnchorFromContext(this.context);
- if(anchor == null) {
+ if (anchor == null) {
System.out.println("failed isTargetType() anchor== null, this.context: " + this.context.toString());
return false;
}
ModelElement source = UIUtil.getModelElementForAnchor(anchor);
return rule.getType().getLiteral().equals(source.getType().getLiteral());
}
-
+
private boolean containsCompartmentVisitor(ContainsCompartment rule) {
System.out.println("containsCompartmentVisitor: TODO, implement!: " + this.diagram.getChildren().toString());
return false;
}
-
+
private boolean sourceEqualsTargetVisitor(SourceEqualsTarget rule) {
- //System.out.println("class is: " + this.context.getClass());
+ // System.out.println("class is: " + this.context.getClass());
Anchor sourceAnchor = this.getSourceAnchorFromContext(this.context);
ModelElement source = UIUtil.getModelElementForAnchor(sourceAnchor);
-
+
Anchor targetAnchor = this.getTargetAnchorFromContext(this.context);
ModelElement target = UIUtil.getModelElementForAnchor(targetAnchor);
-
- if(targetAnchor == null || sourceAnchor == null)
+
+ if (targetAnchor == null || sourceAnchor == null)
return false;
- return source.hashCode() == target.hashCode();
+ return source.hashCode() == target.hashCode();
}
private Anchor getSourceAnchorFromContext(Object context) {
Anchor sourceAnchor = null;
- if(this.context instanceof AddConnectionContext) {
+ if (this.context instanceof AddConnectionContext) {
AddConnectionContext ctx = (AddConnectionContext) this.context;
sourceAnchor = ctx.getSourceAnchor();
- } else if(this.context instanceof CreateConnectionContext) {
+ } else if (this.context instanceof CreateConnectionContext) {
CreateConnectionContext ctx = (CreateConnectionContext) this.context;
sourceAnchor = ctx.getSourceAnchor();
}
@@ -241,44 +244,45 @@ public class ConstraintRuleVisitor {
private Anchor getTargetAnchorFromContext(Object context) {
Anchor anchor = null;
- if(this.context instanceof AddConnectionContext) {
+ if (this.context instanceof AddConnectionContext) {
AddConnectionContext ctx = (AddConnectionContext) this.context;
anchor = ctx.getTargetAnchor();
- } else if(this.context instanceof CreateConnectionContext) {
+ } else if (this.context instanceof CreateConnectionContext) {
CreateConnectionContext ctx = (CreateConnectionContext) this.context;
anchor = ctx.getTargetAnchor();
}
return anchor;
}
-
+
private boolean sourceEqualsTargetTypeVisitor(SourceEqualsTargetType rule) {
- //System.out.println("class is: " + this.context.getClass());
+ // System.out.println("class is: " + this.context.getClass());
try {
Anchor sourceAnchor = this.getSourceAnchorFromContext(this.context);
ModelElement source = UIUtil.getModelElementForAnchor(sourceAnchor);
-
+
Anchor targetAnchor = this.getTargetAnchorFromContext(this.context);
ModelElement target = UIUtil.getModelElementForAnchor(targetAnchor);
- System.out.println("sourceEqualsTargetTypeVisitor comparison: " + source.getType().getLiteral() + " == " + target.getType().getLiteral());
+ System.out.println("sourceEqualsTargetTypeVisitor comparison: " + source.getType().getLiteral() + " == "
+ + target.getType().getLiteral());
return target.getType().getLiteral().equals(source.getType().getLiteral());
- } catch(Exception e) {
+ } catch (Exception e) {
System.out.println("failed sourceEqualsTargetVisitor: " + e.getMessage());
}
-
+
return false;
}
-
+
private boolean orRuleVisitor(OrConstraintRule rule) {
- for(ConstraintRule abstractRule : rule.getRules()) {
- if(checkRule(abstractRule))
+ for (ConstraintRule abstractRule : rule.getRules()) {
+ if (checkRule(abstractRule))
return true;
}
return false;
}
-
+
private boolean notRuleVisitor(NotConstraintRule rule) {
return !checkRule(rule.getRule());
- }
+ }
}