Examples of de.tudresden.inf.tcs.oclib.change.AbstractContextModification

    modificationsHash.clear();
    logger.debug("History size: " + getViewComponent().getContext().getHistory().size());
     // for (int i = getViewComponent().getContext().getHistory().size() - 1; i >= 0; --i) {
     for (Iterator<AbstractContextModification> it = getViewComponent().getContext().getHistory().iterator(); it.hasNext();) {
       // add(new ContextModificationRow(this,getViewComponent().getContext().getHistory().get(i)));
       AbstractContextModification modification = it.next();
       // if (modification.canUndo()) {
         JCheckBox checkBox = new JCheckBox();
         checkBox.addItemListener(this);
         modificationsHash.put(modification, checkBox);
         ContextModificationRow modificationRow =

  @Override
  public void actionPerformed(ActionEvent e) {
    logger.info("Undo selected context modifications");
    for (Iterator<AbstractContextModification> it = 
      getViewComponent().getContext().getHistory().iterator(); it.hasNext();) {
      AbstractContextModification modification = it.next();
      if (getViewComponent().getContextModificationsPanel().isSelected(modification)) {
        getViewComponent().getContext().getHistory().undo(modification);
        logger.debug("Undo: " + modification.getChange().getAxiom());
      }
    }
    getViewComponent().getContext().reClassifyOntology();
    // this is to refresh the context table. perhaps some 'new' counterexamples are removed
    // by the undo, they should not appear in the context table.

Related Classes of de.tudresden.inf.tcs.oclib.change.AbstractContextModification

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.