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

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


  /**
   *
   * @return node containing information about places
   */
  protected static DefaultMutableTreeNode getPlacesInfo(IQualanalysisService qualanService) {
    return new NodeGroupNetInfo(Messages.getString(prefix + "NumPlaces") + ": " + qualanService.getPlaces().size(),
        qualanService.getPlaces().iterator());
  }
View Full Code Here


  /**
   *
   * @return node containing information about transitions
   */
  protected static DefaultMutableTreeNode getTransitionsInfo(IQualanalysisService qualanService) {
    return new NodeGroupNetInfo(Messages.getString(prefix + "NumTransitions") + ": "
        + qualanService.getTransitions().size(), qualanService.getTransitions().iterator());
  }
View Full Code Here

  /**
   *
   * @return node containing information about operators
   */
  protected static DefaultMutableTreeNode getOperatorsInfo(IQualanalysisService qualanService) {
    return new NodeGroupNetInfo(Messages.getString(prefix + "NumOperators") + ": "
        + qualanService.getOperators().size(), qualanService.getOperators().iterator());
  }
View Full Code Here

  /**
   *
   * @return node containing information about subprocesses
   */
  protected static DefaultMutableTreeNode getSubprocessesInfo(IQualanalysisService qualanService) {
    return new NodeGroupNetInfo(Messages.getString(prefix + "NumSubprocesses") + ": "
        + qualanService.getSubprocesses().size(), qualanService.getSubprocesses().iterator());
  }
View Full Code Here

  /**
   *
   * @return node containing information about wrongly used operators
   */
  protected static DefaultMutableTreeNode getWronglyUsedOperatorsInfo(IQualanalysisService qualanService) {
    return new NodeGroupNetInfo(Messages.getString(prefix + "NumWronglyUsedOperators") + ": "
        + qualanService.getWronglyUsedOperators().size(), qualanService.getWronglyUsedOperators().iterator()) {
      // wrongly used operators are not good and should trigger an error
      @Override
      public int getInfoState() {
        if (getChildCount() > 0) {
View Full Code Here

   * s-coverable
   *
   * @return node containing information about uncovered places
   */
  protected static DefaultMutableTreeNode getSCompUncoveredInfo(IQualanalysisService qualanService) {
    return new NodeGroupNetInfo(Messages.getString(prefix + "NotSCovered") + ": "
        + qualanService.getNotSCovered().size(), qualanService.getNotSCovered().iterator()) {
      @Override
      public int getInfoState() {
        if (getChildCount() > 0) {
          return InfoStateERROR;
View Full Code Here

  /**
   *
   * @return node containing information about source-places
   */
  protected static DefaultMutableTreeNode getSourcePlacesInfo(IQualanalysisService qualanService) {
    return new NodeGroupNetInfo(Messages.getString(prefix + "NumSourcePlaces") + ": "
        + qualanService.getSourcePlaces().size(), qualanService.getSourcePlaces().iterator()) {
      // We want exactly one source place
      @Override
      public int getInfoState() {
        if (getChildCount() != 1) {
View Full Code Here

  /**
   *
   * @return node containing information about sink-places
   */
  protected static DefaultMutableTreeNode getSinkPlacesInfo(IQualanalysisService qualanService) {
    return new NodeGroupNetInfo(Messages.getString(prefix + "NumSinkPlaces") + ": "
        + qualanService.getSinkPlaces().size(), qualanService.getSinkPlaces().iterator()) {
      // We want exactly one sink place
      @Override
      public int getInfoState() {
        if (getChildCount() != 1) {
View Full Code Here

  /**
   *
   * @return node containing information about source-transitions
   */
  protected static DefaultMutableTreeNode getSourceTransitionsInfo(IQualanalysisService qualanService) {
    return new NodeGroupNetInfo(Messages.getString(prefix + "NumSourceTransitions") + ": "
        + qualanService.getSourceTransitions().size(), qualanService.getSourceTransitions().iterator()) {
      // Source transitions are not good and should trigger an error
      @Override
      public int getInfoState() {
        if (getChildCount() > 0) {
View Full Code Here

  /**
   *
   * @return node containing information about sink-transitions
   */
  protected static DefaultMutableTreeNode getSinkTransitionsInfo(IQualanalysisService qualanService) {
    return new NodeGroupNetInfo(Messages.getString(prefix + "NumSinkTransitions") + ": "
        + qualanService.getSinkTransitions().size(), qualanService.getSinkTransitions().iterator()) {
      // Sink transitions are not good and should trigger an error
      @Override
      public int getInfoState() {
        if (getChildCount() > 0) {
View Full Code Here

TOP

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

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.