本文整理了Java中org.protege.editor.core.ui.view.View.dispose()方法的一些代码示例，展示了View.dispose()的具体用法。这些代码示例主要来源于Github/Stackoverflow/Maven等平台，是从一些精选项目中提取出来的代码，具有较强的参考意义，能在一定程度帮忙到你。View.dispose()方法的具体详情如下：
包路径：org.protege.editor.core.ui.view.View
类名称：View
方法名：dispose

View.dispose介绍

暂无

代码示例

代码示例来源：origin: org.protege/protege-editor-owl

public void dispose() {
    if (view != null) {
      view.dispose();
    }
  }
}

代码示例来源：origin: protegeproject/protege

public void dispose() {
    if (view != null) {
      view.dispose();
    }
  }
}

代码示例来源：origin: edu.stanford.protege/protege-editor-owl

public void dispose() {
    if (view != null) {
      view.dispose();
    }
  }
}

代码示例来源：origin: edu.stanford.protege/org.protege.editor.owl

public void dispose() {
    if (view != null) {
      view.dispose();
    }
  }
}

代码示例来源：origin: protegeproject/protege

public void dispose() {
    for (View view : UIUtil.getComponentsExtending(this, View.class)) {
      view.dispose();
    }
  }
}

代码示例来源：origin: protegeproject/protege

public void dispose() {
  // Dispose of the views
  logger.debug("Disposing of views");
  for (View view : getViews()) {
    view.dispose();
  }
}

代码示例来源：origin: org.protege/protege-editor-core-application

public void dispose() {
  // Dispose of the views
  logger.debug("Disposing of views");
  for (View view : getViews()) {
    view.dispose();
  }
}

代码示例来源：origin: edu.stanford.protege/org.protege.editor.core.application

public void dispose() {
    for (View view : UIUtil.getComponentsExtending(this, View.class)) {
      view.dispose();
    }
  }
}

代码示例来源：origin: edu.stanford.protege/org.protege.editor.core.application

public void dispose() {
  // Dispose of the views
  logger.debug("Disposing of views");
  for (View view : getViews()) {
    view.dispose();
  }
}

代码示例来源：origin: org.protege/protege-editor-core-application

public void dispose() {
    for (View view : UIUtil.getComponentsExtending(this, View.class)) {
      view.dispose();
    }
  }
}

代码示例来源：origin: edu.stanford.protege/org.protege.editor.core.application

public void windowClosing(WindowEvent e) {
    try {
      view.dispose();
      view.getViewComponent().dispose();
    }
    catch (Exception e1) {
      logger.warn("BAD VIEW: (" + view.getViewComponent().getClass().getSimpleName() + ") - exception on dispose: " + e1.getMessage());
    }
  }
});

代码示例来源：origin: protegeproject/protege

public void windowClosing(WindowEvent e) {
    try {
      view.dispose();
      view.getViewComponent().dispose();
    }
    catch (Exception e1) {
      logger.warn("BAD VIEW: (" + view.getViewComponent().getClass().getSimpleName() + ") - exception on dispose: " + e1.getMessage());
    }
  }
});

代码示例来源：origin: org.protege/protege-editor-core-application

public void windowClosing(WindowEvent e) {
    try {
      view.dispose();
      view.getViewComponent().dispose();
    }
    catch (Exception e1) {
      logger.warn("BAD VIEW: (" + view.getViewComponent().getClass().getSimpleName() + ") - exception on dispose: " + e1.getMessage());
    }
  }
});

代码示例来源：origin: protegeproject/protege

public void closeView() {
  // Just remove from parent
  NodePanel nodePanel = (NodePanel) SwingUtilities.getAncestorOfClass(NodePanel.class, this);
  if (nodePanel != null) {
    getParent().remove(this);
    dispose();
    nodePanel.rebuild();
    nodePanel.repaint();
  }
  else {
    if (getParent() instanceof ViewContainer) {
      ((ViewContainer) getParent()).closeView(this);
      dispose();
    }
  }
}

代码示例来源：origin: edu.stanford.protege/org.protege.editor.core.application

public void closeView() {
  // Just remove from parent
  NodePanel nodePanel = (NodePanel) SwingUtilities.getAncestorOfClass(NodePanel.class, this);
  if (nodePanel != null) {
    getParent().remove(this);
    dispose();
    nodePanel.rebuild();
    nodePanel.repaint();
  }
  else {
    if (getParent() instanceof ViewContainer) {
      ((ViewContainer) getParent()).closeView(this);
      dispose();
    }
  }
}

代码示例来源：origin: org.protege/protege-editor-core-application

public void closeView() {
  // Just remove from parent
  NodePanel nodePanel = (NodePanel) SwingUtilities.getAncestorOfClass(NodePanel.class, this);
  if (nodePanel != null) {
    getParent().remove(this);
    dispose();
    nodePanel.rebuild();
    nodePanel.repaint();
  }
  else {
    if (getParent() instanceof ViewContainer) {
      ((ViewContainer) getParent()).closeView(this);
      dispose();
    }
  }
}