Merge pull request #19 from nitta-lab/typeInferenceForOperators ...

TypeInferenceForOperators
すべてのモデルファイルからコードが生成できることを確認．

複数の親を持てるように型階層を拡張し，それに合わせて型推論できるように修正．

・四則演算，fst，snd 関数に対する型推論を行う． ...

・数値型の間に型階層を導入する．
・Tuple 型の要素の型の違いによる型階層を考慮する．
・その他型推論のもろもろのバグ修正．

・生成されたJavaコードの Main ...

クラスのフィールド定義順が不適切でコンパイルエラーが出ていたため，トポロジカルソートを行って定義順を決めるようにした．
・同一のIOチャンネルに複数の入力メッセージが定義されていた場合に正しくメソッドが生成されていなかったのを修正．

・JumpGame.model　の変数名の誤りの修正． ...

・ref ポートに定義されたリソースをコンストラクタの引数として渡し，フィールドの初期化を行うようにする．
・コンパイルエラーが出るので，タプル型フィールドの初期化は行わないようにする．（リスト型フィールドのみ初期化する．）
・小数の定数を double 型，整数の定数を int 型として解釈するようにする．

JumpGame.model のアーキテクチャ設計にさらに以下の不備があったので修正． ...

・地面に着地したときに一瞬地面にめり込む場合があったのを修正．
・地面の上に乗っているとき，下向きに動こうとした場合は受け付けないようにする．
・地面の上に乗っている場合は，重力の加速度の影響を受けないようにする．

onground リソースが更新されたときに，チャンネル c3 と c4 の両方の通知が行き，velocity リソースの c3 からの更新と ...

c4 からの更新が競合してしまう（状態遷移の制約2に違反する）ので，onground を最後に更新し，onground の値は ref
で参照するように，JumpGame.model のアーキテクチャモデルを設計変更した．

Merge pull request #18 from nitta-lab/referenceResources ...

・アーキテクチャモデルへの ref ポートの導入に対応．・JumpGame.model の追加． ・Tuple 型の pull data transfer の JAX-RS コード生成の不具合修正．

・アーキテクチャモデルへの ref ポートの導入に対応した．（JumpGame.model で2段ジャンプを禁止できるようにするため，ref ...

ポートを含むようなループのみ受け入れ可能にした．）
・JumpGame.model の追加．
・Tuple 型の pull data transfer の JAX-RS コードが正しく生成されていなかったのを修正．

and, or, neg, true, false を追加した．

Game.model から JAX-RS 出力すると，Velocity リソースに POST メソッドが2つ定義されてしまっていたのを修正． ...

・PUS/POST メソッドの判定を isNeeded() ではなくて，右単項性で行うようにした．
・StateTransition クラスに，isRightUnary() メソッドを追加した．

・POST/PUT判別処理の不具合修正の残り． ...

・選択可能なデータ転送方式の導出アルゴリズムの不具合を修正．

・PUTとPOSTの判別が間違っている場合があったのを修正． ...

・状態保存の必要性判定アルゴリズムの一部に誤りがあったのを修正．

1つ前のコミットで入れたバグの修正．

余分な import 文の削除．

サイズが3以上のタプルも JSON で受け取れるように修正．

Jersey プロトタイプの生成処理を Twitter.model に完全対応させた． ...

・メソッド定義で throws を出力できるようにする．
・Tuple を含む List や Tuple そのものを REST API を使って正しく受け渡しできるようにした。
・上記対応のため，Jackson を使うようにした．
・Java の Wrapper 型を返す関数を DataConstraintModel.java に移動した．

・リソースがプロトタイプに出力されない場合があったのを修正． ...

・キャッシュ用のフィールドが初期化されていなくて，プロトタイプを実行すると落ちる場合があったのを修正．
・Jersey のプロトタイプ生成で出力される型名がおかしかったのを修正．
・メニューの「Jersey」を「JAX-RS」に．

Twitter.model から実行可能（コンパイル可能）なプロトタイプが生成できなかった不具合（以下のもの）を修正． ...

・コンパイルエラーが発生するため，定数 nil に対応する Java
のコードで，ボックスオペレータを使わないようにした．（DataConstraintModel.java）
・型推論で，項の間の型の依存関係が不足していた．（TypeInference.java）
・型推論で，等式から項を取り出すときに集合として取り出していたため，同じ形の項が1つにまとめられてしまっていた．（TypeInference.java）
・Position クラスの同一性判定を，リストの長さで行っていたため，結果的に Term#getSubTerms()
ですべての部分項を取ってこれていなかった．（Position.java）
・定数の複製で型情報を複製していなかった．（Constant.java）
・if 関数の項も型推論の対象となるようにした．（TypeInference.java）
シンボルの拡張を，ModelExtension クラスで行うようにした．

・Twitter.model が運が良ければ正しくコード生成できるようになった． ...

・cons() 以外のリスト処理関数も型推論で使用するようにする．

・GENERATIVE 型のシンボル（プログラムで生成可能な可変シンボル）が定義できるようにする． ...

・数式の実装表現を生成するときに，副作用コードと式表現を分けて生成できるようにする．
・tuple() 関数が動くようにする．（タプル型インスタンスを生成できるようにする．）
・sum() 関数を GENERATIVE 型のシンボルで定義しなおす．
・merge() 関数を GENERATIVE 型のシンボルで定義する．
・定数 nil の実装．（Parser で登録されている定数を識別できるようにする．）
・List 型の set()，get()　関数を定義する．

型推論システムの実装

・型として，ListOfStr, ListOfInt, ListOfFloat, ListOfDouble, ListOfList を追加する． ...

・cons 関数の第一引数の型から，第二引数の List のジェネリック型を推論できるようにする．

・Twitterを模倣したモデルファイルを作成．（まだ動作するプロトタイプは生成できない．） ...

・文字列型 Str，リストに対する contains() 関数，neq 関数（!= 演算子）を追加した．
・入力チャンネルに複数の出力側リソースが定義されていた場合に，生成されるJavaプロトタイプのメインクラスで，同じ入力めせっどが重複して定義される不具合を修正．
・入力メソッドの引数名をチャンネルに定義されたメッセージの変数名に合わせ，入力メソッドが複数の引数を持つ場合にも対応する．

・PUSH型の入力辺が2つ以上存在したときに、Jerseyプロトタイプで入力側リソース毎に子リソースを作成するようにした。 ...

・入力辺にPUSH型とPULL型が混在していた場合に、updateおよびgetメソッドの実装がおかしかったのを修正。
・各リソースで状態を保存するかどうかの判定（PULL属性部分グラフの抽出）処理が間違っていたのを修正。

・Jersey出力用にList型を、List<Integer>からList<String>に置き換えなくてもプロトタイプが動くように修正

・代数項をラムダ式を使って任意の形の式に変換して出力できるようにした。 ...

・if関数の変換をラムダ式で指定するようにした。
・head関数とtail関数を正しく定義した。
・実装型とインタフェース型を区別できるようにした。
・Jerseyプロトタイプ生成で、List型に対応した。（Jerseyの場合、ListはArrayList<String>に変換する。）

WeatherObservationSystem.model内の各気温の型をIntからDoubleに変更。

・Javaのプロトタイプにアノテーションを付けれるようにした。 ...

・データフローグラフのすべてのエッジの属性が同時に変更されてしまう不具合を修正した。
・Jerseyのプロトタイプを出力できるようにした。
  - List型の受け渡しは未対応
  - 入力エッジが複数存在する場合の更新メソッドを1つにまとめる作業は未対応

バグ修正