Package org.woped.qualanalysis.sidebar.expert.components

Examples of org.woped.qualanalysis.sidebar.expert.components.NodeGroupListNetInfo


  /**
   *
   * @return node containing information about free-choice violations in the petri net
   */
  protected static DefaultMutableTreeNode getFreeChoiceViolationsInfo(IQualanalysisService qualanService) {
    return new NodeGroupListNetInfo(Messages.getString(prefix + "NumFreeChoiceViolations") + ": "
        + qualanService.getFreeChoiceViolations().size(), qualanService.getFreeChoiceViolations().iterator()) {
      @Override
      public String getGroupDisplayString(int nIndex, Collection<?> group) {
        return Messages.getString(prefix + "FreeChoiceViolationGroup") + " " + (nIndex + 1);
      }
View Full Code Here


   * Display the S-Components of this net
   *
   * @return node containing information about sComponents
   */
  protected static DefaultMutableTreeNode getSComponentsInfo(IQualanalysisService qualanService) {
    return new NodeGroupListNetInfo(Messages.getString(prefix + "NumSComponents") + ": "
        + qualanService.getSComponents().size(), qualanService.getSComponents().iterator()) {
      @Override
      public String getGroupDisplayString(int nIndex, Collection<?> group) {
        return Messages.getString(prefix + "SComponent") + ":" + group.size();
      }
View Full Code Here

   *
   * @param qualanService
   * @return information about
   */
  protected static DefaultMutableTreeNode getStronglyConnectedComponentsInfo(IQualanalysisService qualanService) {
    return new NodeGroupListNetInfo(Messages.getString(prefix + "stronglyConnectedComponents") + ": "
        + qualanService.getStronglyConnectedComponents().size(), qualanService.getStronglyConnectedComponents()
        .iterator()) {
      @Override
      public String getGroupDisplayString(int nIndex, Collection<?> group) {
        return Messages.getString(prefix + "stronglyConnectedComponent") + ":" + group.size();
View Full Code Here

   *
   * @param qualanService
   * @return information about
   */
  protected static DefaultMutableTreeNode getConnectedComponentsInfo(IQualanalysisService qualanService) {
    return new NodeGroupListNetInfo(Messages.getString(prefix + "connectedComponents") + ": "
        + qualanService.getConnectedComponents().size(), qualanService.getConnectedComponents().iterator()) {
      @Override
      public String getGroupDisplayString(int nIndex, Collection<?> group) {
        return Messages.getString(prefix + "connectedComponent") + ":" + group.size();
      }
View Full Code Here

  /**
   *
   * @return node containing information about place-transitions-handles
   */
  protected static DefaultMutableTreeNode getPTHandlesInfo(IQualanalysisService qualanService) {
    return new NodeGroupListNetInfo(Messages.getString(prefix + "NumPTHandles") + ": "
        + qualanService.getPTHandles().size(), qualanService.getPTHandles().iterator()) {
      @Override
      public String getGroupDisplayString(int nIndex, Collection<?> group) {
        return Messages.getString(prefix + "PTHandlePair") + " #" + (nIndex + 1);
      }
View Full Code Here

  /**
   *
   * @return node containing information about transition-places-handles
   */
  protected static DefaultMutableTreeNode getTPHandlesInfo(IQualanalysisService qualanService) {
    return new NodeGroupListNetInfo(Messages.getString(prefix + "NumTPHandles") + ": "
        + qualanService.getTPHandles().size(), qualanService.getTPHandles().iterator()) {
      @Override
      public String getGroupDisplayString(int nIndex, Collection<?> group) {
        return Messages.getString(prefix + "TPHandlePair") + " #" + (nIndex + 1);
      }
View Full Code Here

TOP

Related Classes of org.woped.qualanalysis.sidebar.expert.components.NodeGroupListNetInfo

Copyright © 2018 www.massapicom. All rights reserved.
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.