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

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

376
377
378
379
380
381
382
383
384
385
386
  /**
   *
   * @return node containing information about unconnected nodes in the petri net
   */
  protected static DefaultMutableTreeNode getUnconnectedNodesInfo(IQualanalysisService qualanService) {
    return new NodeGroupNetInfo(Messages.getString(prefix + "NumUnconnectedNodes") + ": "
        + +qualanService.getNotConnectedNodes().size(), qualanService.getNotConnectedNodes().iterator()) {
      // Any unconnected nodes must trigger an error
      @Override
      public int getInfoState() {
        if (getChildCount() > 0) {
View Full Code Here
395
396
397
398
399
400
401
402
403
404
405
  /**
   *
   * @return node containing information about not strongly connected nodes in the petri net
   */
  protected static DefaultMutableTreeNode getNotStronglyConnectedInfo(IQualanalysisService qualanService) {
    return new NodeGroupNetInfo(Messages.getString(prefix + "NumNotStronglyConnectedNodes") + ": "
        + qualanService.getNotStronglyConnectedNodes().size(), qualanService.getNotStronglyConnectedNodes()
        .iterator()) {
      // Any nodes that are not strongly connected must trigger an error
      @Override
      public int getInfoState() {
View Full Code Here
424
425
426
427
428
429
430
431
432
433
434
   *
   * @return node containing information mistakes in the initial marking (source place should contain one token, all
   *         other places should contain no token)
   */
  protected static DefaultMutableTreeNode getWronglyMarkedPlacesInfo(IQualanalysisService qualanService) {
    return new NodeGroupNetInfo(Messages.getString(prefix + "NumWronglyMarkedPlaces") + ": "
        + qualanService.getWronglyMarkedPlaces().size(), qualanService.getWronglyMarkedPlaces().iterator()) {
      // wrongly marked places are not good and should trigger an error
      @Override
      public int getInfoState() {
        if (getChildCount() > 0) {
View Full Code Here
451
452
453
454
455
456
457
458
459
460
461
  /**
   *
   * @return node containing information about boundedness of places
   */
  protected static DefaultMutableTreeNode getUnboundedPlacesInfo(IQualanalysisService qualanService) {
    return new NodeGroupNetInfo(Messages.getString(prefix + "NumUnboundedPlaces") + ": "
        + qualanService.getUnboundedPlaces().size(), qualanService.getUnboundedPlaces().iterator()) {
      // Unbounded places are not good and should trigger an error
      @Override
      public int getInfoState() {
        if (getChildCount() > 0) {
View Full Code Here
478
479
480
481
482
483
484
485
486
487
488
  /**
   *
   * @return node containing information about dead transitions
   */
  protected static DefaultMutableTreeNode getDeadTransitionsInfo(IQualanalysisService qualanService) {
    return new NodeGroupNetInfo(Messages.getString(prefix + "NumDeadTransitions") + ": "
        + qualanService.getDeadTransitions().size(), qualanService.getDeadTransitions().iterator()) {
      // dead transitions are not good and should trigger an error
      @Override
      public int getInfoState() {
        if (getChildCount() > 0) {
View Full Code Here
497
498
499
500
501
502
503
504
505
506
507
  /**
   *
   * @return node containing information about non-live transitions
   */
  protected static DefaultMutableTreeNode getNonLiveTransitionsInfo(IQualanalysisService qualanService) {
    return new NodeGroupNetInfo(Messages.getString(prefix + "NumNonLiveTransitions") + ": "
        + qualanService.getNonLiveTransitions().size(), qualanService.getNonLiveTransitions().iterator()) {
      // non-live 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

  • org.woped.core.model.petrinet.AbstractPetriNetElementModel
  • org.woped.qualanalysis.sidebar.expert.ExpertFactory
    • 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.