NewFormulaChannelAction完成しました。

数式チャンネルにリソースを繋げると，チャンネルのコードが動的に変更されるようにした．

数式チャンネルを作れるようになりました。

数式チャンネル用のクラスを作成．

・入力したりファイルから読み込んだソースコードがそのまま編集・保存できるようにした． ...

・初期化コードを保存できるようにした．

アプリケーションウィンドウのタイトルを変更し，タイトルにモデルファイルのパスを表示できるようにした．

コミット忘れ．

・作成したモデルからプロトタイプを生成するときに，プルダウンメニューの更新を行うようにした． ...

・新規コマンド系をサブメニューにまとめた．
・モデルファイルを保存できるようにした．
・削除コマンドを実装した．

チャンネルのコードを入力し，プロトタイプを生成できるようにした．

チャンネルをダブルクリックした際にメッセージを入力出来るようになりました。

リソースとチャンネルを接続するたびに再描画しないようにした．

チャンネルとリソースを結べるようにしました。

Channelも新規作成できるようにした．

IOチャンネルとリソースを新規作成出来るようにした。

NewResource, NewChannel,Deleteコマンドをメニューに追加

・入出力チャンネルを表示するようにした． ...

・refポートに接続しているリソースを表示するようにした．
・エッジを勝手に動かしたり切断できないようにした．
・エッジを勝手に追加できないようにした．

1つのチャンネルの出力側に複数のリソースが接続していて，出力側リソース毎に右単項性が異なった場合，入力側の辺は必ず PUSH ...

のみ選択可能にする．

input チャンネルの out ポートと ref ポートに同じリソースが指定されていた場合に，input ...

メソッドが二重に定義されてしまう不具合を修正．

・Java出力で，ref ポートからのデータの取得を update メソッドないの最初に行うようにする． ...

・Java出力で，getValue() メソッドが返す型が基本型でない場合，状態のコピーを返すようにする．

Algoモデルの修正

要素のキーでリストをソートする関数「sortByKey」を追加しました。

フィールドの初期化文を生成するコードに混入していたバグが if 文の入れ子に対応したときに顕在化したので，修正を行った．

Merge branch 'master' of http://nitta-lab-www.is.konan-u.ac.jp/gitbucket/git/nitta-lab/AlgebraicDataflowArchitectureModel.git into Shinji_0520

1つのリソースに2つの入出力チャンネルが接続しているとき，また1つのリソースが2種類の入力メッセージ受けるときに正しく生成できなかった不具合を修正した．

Merge branch 'master' of http://nitta-lab-www.is.konan-u.ac.jp/gitbucket/git/nitta-lab/AlgebraicDataflowArchitectureModel.git into Shinji_0520

Algoモデルの変更 ...

カードをソートするSortCardメソッドの追加

lookup で null が返されるときのエラー処理を追加。

・JAX-RS出力もrefポートの実装方法の変更に対応した。 ...

・JAX-RS出力がMap型に対応していなかった。

refポートの実装方法の変更に対応（Java）

1. 酒屋の在庫問題のモデルをより詳細なものにした． ...

2. Tuple型の要素が3つ以上になったときの2つ目以降の要素に関する型推論が不適切であったのを修正．(2つ目以降の要素を別々に扱うか，まとめて1つのTuple型として扱うかがバラバラだった．)
3. variables グループ内における型情報の伝搬が不十分であった．