コード例 #1
0
ファイル: Process.java プロジェクト: blacklensama/1709
 @SuppressWarnings("unused")
 private void addArc(CustomedTransition t, CustomedPlace p) {
   TransitionToPlace arc = new TransitionToPlace();
   arc.p = p;
   arc.t = t;
   this.ttpList.put(String.valueOf(t.getId()) + "," + String.valueOf(p.getId()), arc);
 }
コード例 #2
0
ファイル: Process.java プロジェクト: blacklensama/1709
 private void updateLastActivePlace(CustomedPlace p) {
   if (lastActivePlace != null) {
     lastActivePlace.setInvalid(false);
     // 把输入弧置为invalid
     Set<String> pSet = ttpList.keySet();
     for (Iterator<String> it = pSet.iterator(); it.hasNext(); ) {
       String id = (String) it.next();
       String idArray[] = id.split(",");
       if (null != idArray
           && idArray.length > 1
           && null != idArray[1]
           && idArray[1].equals(String.valueOf(lastActivePlace.getId()))) {
         TransitionToPlace ttp = ttpList.get(id);
         if (ttp != null) ttp.invalid = true;
       }
     }
     // 把输出弧置为invalid
     pSet = pttList.keySet();
     for (Iterator<String> it = pSet.iterator(); it.hasNext(); ) {
       String id = (String) it.next();
       String idArray[] = id.split(",");
       if (null != idArray
           && idArray.length > 1
           && null != idArray[0]
           && idArray[0].equals(String.valueOf(lastActivePlace.getId()))) {
         PlaceToTransition ptt = pttList.get(id);
         if (ptt != null) ptt.invalid = true;
       }
     }
   }
   lastActivePlace = p;
 }
コード例 #3
0
ファイル: Process.java プロジェクト: blacklensama/1709
 private void addArc(CustomedTransition t, CustomedPlace p, CustomedCondition c) {
   TransitionToPlace arc = new TransitionToPlace();
   arc.con = c;
   arc.p = p;
   arc.t = t;
   p.addInArc(arc);
   this.ttpList.put(String.valueOf(t.getId()) + "," + String.valueOf(p.getId()), arc);
 }