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

Algoモデルの変更 ...

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

Merge pull request #42 from nitta-lab/fixLookupNullPointerBug ...

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

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

Merge pull request #41 from nitta-lab/reviseRef ...

ReviseRef

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

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

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

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

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

Merge pull request #40 from nitta-lab/map ...

Map

同じ式がMap型, List型, Tuple型, Pair型の異なるグループに同時に所属している場合に，推論が正しく進まない不具合を修正．

1. Map型を追加． ...

2. nil をList型とMap型に限定し，null を追加．
3. if文が入れ子になったときなどに副作用が正しく出力されなかったのを修正．（若干の設計変更あり．）
4. 実行文直後の改行が出力されない場合があったのを修正．
5. 初期化子の型も推論するようにした．
6. ジェネリクス中の型のデフォルトが Integer になっていたのを修正．
7. 酒屋の在庫問題のモデルファイルを追加．

Merge pull request #39 from nitta-lab/Shinji_0511 ...

>mod関数を追加しました

確認しました．

剰余演算を演算子ではなく,mod関数で演算を行うようにしました.

剰余の計算を行う演算子「%」を使用できるようにしました

x方向とy方向の速度を独立に指定できるように move リソースを movex リソースと movey リソースに分割した．

Merge pull request #38 from nitta-lab/illegalPullSelectability ...

確認しました.

StoreAttribute of a node was being overwritten illegally.

StoreAttribute of a node was being overwritten illegally.

Merge pull request #37 from nitta-lab/mainConstructor ...

>メインクラスのコンストラクタを追加し、フィールドの初期化をコンストラクタ内で行うように修正。

自分でマージします。

メインクラスのコンストラクタを追加し、フィールドの初期化をコンストラクタ内で行うように修正。

Merge pull request #36 from nitta-lab/init ...

・init {} で初期化ができるようにした。 ・入力メソッドが複数存在したときに、各メソッドに更新メソッドの呼び出しを正しく追加できていなかった。

・init {} で初期化ができるようにした。 ...

・入力メソッドが複数存在したときに、各メソッドに更新メソッドの呼び出しを正しく追加できていなかった。

Merge pull request #34 from nitta-lab/bugFix ...

自分でマージします。

生成された Java コードを削除した。

・JAX-RS 出力での Pair クラス対応。 ...

・Tuple 型のパラメータとレスポンスの受け渡しが正しくできていなかった？のを修正。
・if 文で用いるローカル変数の名前が競合していたのを修正。

・状態を保持するフィールド名の value への変更を JAX-RS のコード生成にも反映させる。 ...

・Pair クラスのフィールドを left と right に。
・Pair 型の型推論を強化した。
・Pair クラスの追加を JAX-RS のコード生成にも反映させる。
・model ファイルの変更（単位元による遷移を削除、fst/snd関数 → left/right関数）

JAX-RS出力でもフィルド名を value に変更するようにした。

メインクラスの getter メソッドからの getter メソッドの呼び出しが、getValue() になっていなかったのを修正。

引数を持たない input メソッドを生成できなかった不具合を修正。

コンストラクタ内でのフィールドの初期化が不完全だった不具合を修正。