interleave の処理の設計ノート
                                                                20050805   -MT-
                                                                2005080503 -KM-
                                                                20050824   -MT-

  【interleave 用のデータと操作】
    + データ
      - interleaveArray[]
         -> brunch() を行う位置を格納する配列。
         -> interleave の子要素の最後に、0 を格納する。

    + 操作
      - brunchInterleave()
         -> 未だ通過していないルートのみに、brunch() を行う。

      - finishInterleave()
         -> interleaveArray[] の値が、全て 0 以外であれば、interleave の処理
            を終えると判定する。(この場合、全て負の値が格納されている)
         -> interleaveArray[] の値に、1つでも 0 が格納されていれば、remove()
            する。

      - livingInterleave()
         -> interleaveArray[] の値に、一つでも 0 以外の値があれば、0 を返す。
         -> 0 を返すと、remove() される。


  【decode】

    + UMS
      <interleave>
        <group>
          <txt:line encode="txt">
            <java:value-of select="strData">
              <value type="string">INTERLEAVE_A1</value>
            </java:value-of>
            <java:callFunction expr="sendA1( strData );"/>
          </txt:line>
          <txt:line encode="txt">
             <java:value-of select="strData">
              <value type="string">INTERLEAVE_A2</value>
            </java:value-of>
            <java:callFunction expr="sendA2( strData );"/>
          </txt:line>
        </group>
        <txt:line encode="txt">
          <java:value-of select="strData">
            <value type="string">INTERLEAVE_B</value>
          </java:value-of>
          <java:callFunction expr="sendB( strData );"/>
        </txt:line>
        <group>
          <txt:line encode="txt">
            <java:value-of select="strData">
              <value type="string">INTERLEAVE_C</value>
            </java:value-of>
            <java:callFunction expr="sendC( strData );"/>
          </txt:line>
        </group>
      </interleave>
      
    + 処理方針
     [interleave template]
      - interleave 配列に、interleave の子要素の case 番号を代入する。
      - brunchInterleave() をコールし、interleave の子要素への brunch を行う。
      - interleave の子要素について、それぞれ case 番号を貼り付ける。
      - interleave の子要素の最後で、interleave 配列に 0 を代入する。
        interleave の最後に Jump させる。
      - finishInterleave() の呼び出しを記述する。

     [byte、bit、line template]
      - 処理の最初で livingInterleave (すべてのカウンタが 0 でないこと)
        をチェックする。否ならば、remove する。
      - 処理の最後で、interleave 配列の値を、自分の case -番号に更新する。
      - brunchInterleave() をコールする。

    + 生成ソースイメージ
    
      //<interleave>
      case 20:
        interleaveArray[0] = 32;
        interleaveArray[1] = 122;
        interleaveArray[2] = 162;
        brunchInterleave( 0, 3 );
        
        //<group>
      case 32:
          //<txt:line encode="txt">
        if ( ! livingInterleave( 3 ) ) {
          remove();
          break;
        }

            //<java:value-of select="strData">
              //<value type="string">INTERLEAVE_A1</value>
            //</java:value-of>
            //<java:callFunction expr="sendA1( strData );"/>

        interleaveArray[0] = -42;
        ums__num_alive = brunchInterleave( 0, 3 );
      case -42:
          //</txt:line>
          //<txt:line encode="txt">
        if ( ! livingInterleave( 3 ) ) {
          remove();
          break;
        }
          
             //<java:value-of select="strData">
              //<value type="string">INTERLEAVE_A2</value>
            //</java:value-of>
            //<java:callFunction expr="sendA2( strData );"/>

        interleaveArray[0] = -82;
        ums__num_alive = brunchInterleave( 0, 3 );
      case -82:
          //</txt:line>

        interleaveArray[0] = 0;
        cpos = -20;
        continue;
        //</group>

        //<txt:line encode="txt">
      case 122:
        if ( ! livingInterleave( 3 ) ) {
          remove();
          break;
        }

          //<java:value-of select="strData">
            //<value type="string">INTERLEAVE_B</value>
          //</java:value-of>
          //<java:callFunction expr="sendB( strData );"/>

        interleaveArray[1] = -122;
        ums__num_alive = brunchInterleave( 0, 3 );
      case -122:
        //</txt:line>

        interleaveArray[1] = 0;
        cpos = -20;
        continue;
        //<group>
      case 162:
          //<txt:line encode="txt">
        if ( ! livingInterleave( 3 ) ) {
          remove();
          break;
        }
          
            //<java:value-of select="strData">
              //<value type="string">INTERLEAVE_C</value>
            //</java:value-of>
            //<java:callFunction expr="sendC( strData );"/>

        interleaveArray[2] = -172;
        ums__num_alive = brunchInterleave( 0, 3 );
      case -172:
          //</txt:line>

        interleaveArray[2] = 0;
        //</group>

      case -20:
        cpos = finishInterleave( 0, 3, interleaveArray );
        if ( cpos == 0 ) {
          remove();
        } else if ( cpos != 1 ) {
          continue;
        }
      //</interleave>


  【encode】

    + UMS
      <interleave>
        <group>
          <txt:line encode="txt">
            <java:callFunction expr="strData = receiveA1();"/>
            <java:value-of select="strData">
              <value type="string">INTERLEAVE_A1</value>
            </java:value-of>
            <java:callFunction expr="nextData();"/>
          </txt:line>
          <txt:line encode="txt">
            <java:callFunction expr="strData = receiveA2();"/>
            <java:value-of select="strData">
              <value type="string">INTERLEAVE_A2</value>
            </java:value-of>
            <java:callFunction expr="nextData();"/>
          </txt:line>
        </group>
        <txt:line encode="txt">
          <java:callFunction expr="strData = receiveB();"/>
          <java:value-of select="strData">
            <value type="string">INTERLEAVE_B</value>
          </java:value-of>
          <java:callFunction expr="nextData();"/>
        </txt:line>
        <group>
          <txt:line encode="txt">
            <java:callFunction expr="strData = receiveC();"/>
            <java:value-of select="strData">
              <value type="string">INTERLEAVE_C</value>
            </java:value-of>
            <java:callFunction expr="nextData();"/>
          </txt:line>
        </group>
      </interleave>
            
    + 処理方針
     [interleave template]
      - decode 側と同じ。

     [byte、bit、line template]
      - decode 側と同じ。

    + 生成ソースイメージ
      - decode 側と同じ。


--------------------------------------
2005080503 改定のためのケーススタディ

interleave カウンタの振る舞いのシミュレート例

<interleave>
case 22:
  <group>
    <byte>
case -30: [A1]
    </byte>
    <byte>
case -40: [A2]
    </byte>
  </group>
  <group>
case 52:
    <byte>
case -60: [B]
    </byte>
  </group>
  <group>
case 72:
    <byte>
case -80: [C]
    </byte>
  </group>
case -10:
</interleave>

[ 22,52,72
[[A1] -30,52,72
[[A1][A2] -40,52,72
[[A1][A2][B] -40,-60,72
[[A1][A2][B][C] -40,-60,-80

元 finishInterleave の処理は
ひとつが 0 の時点で他が 0 に
なっていないことを理由に remove しようと
してしまうので動作しない。

すべてが 0 になるまで interleave の動作を
続ける必要があるのだが、終わり方にもいろいろ
あるので

[[A1][A2][B][C]] 0,-60,-80
[[A1][A2][B][C]]   0,0,-80
[[A1][A2][B][C]]     0,0,0 (case 1)
[[A1][A2][B][C]]   0,-60,0 => NG
[[A1][A2][B][C]]     0,0,0 (case 2) NG
[[A1][A2][B][C]] -40,0,-80 => NG
[[A1][A2][B][C]]   0,0,-80 NG
[[A1][A2][B][C]]     0,0,0 (case 3) NG
[[A1][A2][B][C]]   -40,0,0 NG
[[A1][A2][B][C]]     0,0,0 (case 4) NG
[[A1][A2][B][C]] -40,-60,0 => NG
[[A1][A2][B][C]]   0,-60,0 NG
[[A1][A2][B][C]]     0,0,0 (case 5) NG
[[A1][A2][B][C]]   -40,0,0 NG
[[A1][A2][B][C]]     0,0,0 (case 6) NG

と状態が増えてしまう。先頭のカウンタから順に
0 になるような場合のみを許せばよい。

でも、それだけじゃだめ。一つでも 0 が
発生したらそれ以降はコンテナ処理をしてはいけない。

コンテナの処理の先頭でカウンタが 0 になっているものが
ひとつもないことを確認すればよい。

<interleave>
  <line/>
  <line/>
  <group>
    <line/>
    <callFunction/> <=(*)
  </group>
</interleave>

と書く場合 (*) の処理が interleave 的にみて不完全になり
multiple possibility exception を起こす。# case 2 の
一つ上の NG を発生する直前に callFunction がおきる。

まずは、この記述が何を意味するのかまず定義を明確化する
必要がある。安直には禁止してしまうことである。

multiple possibility exception を起こしてしまうことは
ツールの制約であって mappingSchema 自身の制約ではない。


  【参照】
    - デザインノート 2005061503 : 制御構造の取り扱い 


                                                                           以上