Package org.woped.core.model.petrinet

Examples of org.woped.core.model.petrinet.Toolspecific

100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
            }
            g.setColor(this.getInnerDrawingsColor());
            // XOR JOIN Lines
            //this.drawOperatorArrow(g, false, false);
            Toolspecific t = ((TransitionModel) getCell()).getToolSpecific();
            drawOperatorArrow2(g, t.getOperatorPosition(), t.getOperatorDirection() );
            // XOR Split Lines
            //this.drawOperatorArrow(g, true, true);
            drawOperatorArrow2(g, t.getOperatorOppositePosition(), t.getOperatorDirection() );
           
                 
            if (isActive())
            {
              ImageIcon img = Messages.getImageIcon("TokenGame.Active");
View Full Code Here
97
98
99
100
101
102
103
104
105
106
107
108
109
                g.drawRect(b, b, d.width - b - 1, d.height - b - 1);
            }
            g.setColor(this.getInnerDrawingsColor());
            // XOR JOIN Lines
            //this.drawOperatorArrow(g, false, false);
            Toolspecific t = ((TransitionModel) getCell()).getToolSpecific();
            drawOperatorArrow2(g, t.getOperatorPosition(), t.getOperatorDirection() );
            // XOR Split Lines
            //this.drawOperatorArrow(g, true, true);
            drawOperatorArrow2(g, t.getOperatorOppositePosition(), t.getOperatorDirection() );
           
            drawTime(g2, d);
        }
View Full Code Here
331
332
333
334
335
336
337
338
339
340
   */
  public TriggerModel newTrigger(CreationMap map) {
    TransitionModel transition = (TransitionModel) getElementContainer()
        .getElementById(map.getId());
    if (transition.getToolSpecific() == null) {
      transition.setToolSpecific(new Toolspecific(transition.getId()));
    }
    return transition.getToolSpecific().setTrigger(map);

  }
View Full Code Here
342
343
344
345
346
347
348
349
350
  // TODO: DOCUMentation
  public TransitionResourceModel newTransResource(CreationMap map) {
    TransitionModel transition = (TransitionModel) getElementContainer()
        .getElementById(map.getId());
    if (transition.getToolSpecific() == null) {
      transition.setToolSpecific(new Toolspecific(transition.getId()));
    }
    return transition.getToolSpecific().setTransResource(map);
  }
View Full Code Here
105
106
107
108
109
110
111
112
113
114
115
116
            }
           
            g.setColor(this.getInnerDrawingsColor());
            // AND JOIN Lines
            //this.drawOperatorArrow(g, false, true);
            Toolspecific t = ((TransitionModel) getCell()).getToolSpecific();
            drawOperatorArrow2(g, t.getOperatorPosition(), t.getOperatorDirection() );
           
            if (isActive())
            {
              ImageIcon img = Messages.getImageIcon("TokenGame.Active");
                g2.drawImage(img.getImage(), 5, 20, 16, 16, img.getImageObserver());
View Full Code Here
101
102
103
104
105
106
107
108
109
110
111
112
                g.drawRect(b, b, d.width - b - 1, d.height - b - 1);
            }
            g.setColor(getInnerDrawingsColor());
            // AND Split Lines
            //this.drawOperatorArrow(g, true, false);
            Toolspecific t = ((TransitionModel) getCell()).getToolSpecific();
            drawOperatorArrow2(g, t.getOperatorPosition(), t.getOperatorDirection() );
           
            if (isActive())
            {
              ImageIcon img = Messages.getImageIcon("TokenGame.Active");
                g2.drawImage(img.getImage(), 5, 20, 16, 16, img.getImageObserver());
View Full Code Here
101
102
103
104
105
106
107
108
109
110
111
                g.drawRect(b, b, d.width - b - 1, d.height - b - 1);
            }
            g.setColor(this.getInnerDrawingsColor());
            // XOR JOIN Lines
            // this.drawOperatorArrow(g, false, false);
            Toolspecific t = ((TransitionModel) getCell()).getToolSpecific();
            drawOperatorArrow2(g, t.getOperatorPosition(), t.getOperatorDirection() );
           
           
            drawTime(g2, d);
        }
View Full Code Here
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
            g2.setStroke(new BasicStroke(b));
            g.setColor(getInnerDrawingsColor());
             
            // AND JOIN Lines
            //drawOperatorArrow(g,false,true);
            Toolspecific t = ((TransitionModel) getCell()).getToolSpecific();
            drawOperatorArrow2(g, t.getOperatorPosition(), t.getOperatorDirection() );
            // XOR Split Lines
            // drawOperatorArrow(g,true,true);
            drawOperatorArrow2(g, t.getOperatorOppositePosition(), t.getOperatorOppositeDirection() );


            if (bordercolor != null)
            {
                g.setColor(getInnerDrawingsColor());
View Full Code Here
101
102
103
104
105
106
107
108
109
110
111
                g.drawRect(b, b, d.width - b - 1, d.height - b - 1);
            }
            g.setColor(getInnerDrawingsColor());
            // XOR Split Lines
            //this.drawOperatorArrow(g, true, true);
            Toolspecific t = ((TransitionModel) getCell()).getToolSpecific();
            drawOperatorArrow2(g, t.getOperatorPosition(), t.getOperatorDirection() );
           
           
            drawTime(g2, d);
        }
View Full Code Here
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
            g2.setStroke(new BasicStroke(b));
            g.setColor(getInnerDrawingsColor());
             
            // XOR JOIN Lines
            //drawOperatorArrow(g,false,false);
            Toolspecific t = ((TransitionModel) getCell()).getToolSpecific();
            drawOperatorArrow2(g, t.getOperatorPosition(), t.getOperatorDirection() );
            // AND Split Lines
            // drawOperatorArrow(g,true,false);
            drawOperatorArrow2(g, t.getOperatorOppositePosition(), t.getOperatorOppositeDirection() );


            if (bordercolor != null)
            {
                g.setColor(getInnerDrawingsColor());
View Full Code Here
TOP

Related Classes of org.woped.core.model.petrinet.Toolspecific

  • org.woped.core.model.PetriNetModelProcessor
  • org.woped.editor.view.petrinet.TransAndJoinView$TransAndJoinRenderer
  • org.woped.editor.view.petrinet.TransAndJoinXOrSplitView$TransAndJoinXOrSplitRenderer
  • org.woped.editor.view.petrinet.TransAndSplitJoinView$TransAndSplitJoinRenderer
  • org.woped.editor.view.petrinet.TransAndSplitView$TransAndSplitRenderer
  • org.woped.editor.view.petrinet.TransXorJoinAndSplitView$TransXorJoinAndSplitRenderer
  • org.woped.editor.view.petrinet.TransXOrJoinView$TransXOrJoinRenderer
  • org.woped.editor.view.petrinet.TransXOrSplitJoinView$TransXOrSplitJoinRenderer
  • org.woped.editor.view.petrinet.TransXOrSplitView$TransXOrSplitRenderer
    • 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.