Changeset 61
- Timestamp:
- 03/04/10 22:17:08 (6 months ago)
- Files:
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
kahina/trunk/src/org/kahina/gui/breakpoint/BooleanConnectorPanel.java
r38 r61 22 22 import org.kahina.control.event.KahinaEvent; 23 23 24 public class BooleanConnectorPanel extends JPanel implements MouseListener, 25 KahinaListener 24 public class BooleanConnectorPanel extends JPanel implements MouseListener, KahinaListener 26 25 { 27 KahinaController control; 28 29 SingleNodeConstraintPanel nodeConstPanel; 30 31 Map<TreeNodePattern, Integer> xCoord; 32 26 KahinaController control; 27 SingleNodeConstraintPanel nodeConstPanel; 28 Map<TreeNodePattern, Integer> xCoord; 33 29 Map<TreeNodePattern, Integer> yCoord; 34 30 35 int xDim; 36 31 int xDim; 37 32 int yDim; 38 33 … … 42 37 private int nodeSelectionMode; 43 38 44 public BooleanConnectorPanel(SingleNodeConstraintPanel nodeConstPanel, 45 KahinaController control) 39 public BooleanConnectorPanel(SingleNodeConstraintPanel nodeConstPanel, KahinaController control) 46 40 { 47 41 this.control = control; … … 103 97 break; 104 98 } 105 //boolean connectives with two arguments106 // (since atomic pattern should already have received their107 // coordinates)99 // this only concerns boolean connectives with two arguments 100 // (since atomic pattern should already have received their 101 // coordinates) 108 102 default: 109 103 { … … 365 359 nodeConstPanel.hint("Add or a remove a constraint, or select a connective."); 366 360 } 367 control.processEvent(new BreakpointEditorEvent(BreakpointEditorEvent.CHANGE_NODE_SELECTION_MODE, BreakpointEditPanel.NO_PENDING_OPERATION));361 control.processEvent(new BreakpointEditorEvent(BreakpointEditorEvent.CHANGE_NODE_SELECTION_MODE, BreakpointEditPanel.NO_PENDING_OPERATION)); 368 362 } 369 363 else if (nodeSelectionMode == BreakpointEditPanel.PENDING_OR_OPERATION) kahina/trunk/src/org/kahina/gui/breakpoint/SingleNodeConstraintPanel.java
r40 r61 369 369 boolPanel.markedPattern = neg; 370 370 displayChangeInConnectiveStructure(); 371 announceUpdate(); 372 synchronizeEditors(); 371 373 } 372 374 … … 462 464 TreeNodePattern rightAncestor = arg2; 463 465 if (rightAncestor == arg1) return false; 464 while (rightAncestor == null && rightAncestor != getRootPattern())466 while (rightAncestor != null && rightAncestor != getRootPattern()) 465 467 { 466 468 rightAncestor = parentPatterns.get(rightAncestor); … … 479 481 private void removeFromStructureWithoutBreakingIt(TreeNodePattern arg1) 480 482 { 483 if (getRootPattern() == arg1 && arg1.getLeftArgument() == null) 484 { 485 virtualRootPattern = new TreeNodePattern(); 486 parentPatterns.remove(arg1); 487 return; 488 } 481 489 TreeNodePattern node = arg1; 482 490 TreeNodePattern parent = parentPatterns.get(arg1);
