・ネイティブチャンネルを実装． ...

・出力専用チャンネルの追加．
・List，Map，Json 型の定数項を表すクラスを追加し，シミュレータのリソースの状態の表現に使うようにした．
・ネイティブコードとメッセージのやり取りができるようにシミュレータを改造した．
・パスパラメータを持たない場合にイベント発火の連鎖ができなかったのを修正．
・Swing用の試験実装はまだ途中．

・Jsonの型推論で落ちる不具合の修正． ...

・他controlFlowModelingブランチの修正の反映．

OnlineBattleGame.modelを追加． ...

JAX_RS　出力でフィールドの重複定義のチェックを忘れていたので追加．
型推論でのヌルポ対応．

階層化したリソース間の参照関係の構築． ...

項（Term）の文字列出力の誤りの修正．
リソースパスの誤りの修正．

getter と input method のみ，リソースの多階層化に対応した．

生成部分以外は，JSONに対応した．（型推論も含む．）

リソースの新しい可視化方法に対応 ...

・リソースの新しい可視化方法に対応した．
・データフローグラフ（DataFlowGraph）をリソースの階層化に対応させ，さらにチャンネルもノードとして扱うようにした．
・リソース（ResourcePath）のモデルへの追加方法を変更．
・新しい生成プログラム（CodeGenerator）を持ってきてリソースの階層化に対応させた．

リソースの動的生成削除を可能にするための準備． ...

クラス名の変更：
・IdentifierTemplate -> ResourcePath
・ChannelGenerator -> Channel

1. Rename resource dependency graph => data flow graph. ...

2. Refactor algorithms.
3. Create generators package.

Merge pull request #53 from nitta-lab/Shinji_0520 ...

確認しました．

listの型推論を　tail 関数にも対応．

・Java出力において，ref ポートがある場合の getter 呼び出しをメソッドの先頭で行うようにした．（visualModeling ...

ブランチから一部取り込み．）
・入出力チャンネルの ref ポートに対しても input() メソッドを生成していたのを修正．
・List型に関して，set()，get()，head() 関数に関しても型推論ができるようにした．

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

のみ選択可能にする．

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

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

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

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

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

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

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

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

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

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

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

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

1. Map型を追加． ...

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

StoreAttribute of a node was being overwritten illegally.

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

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

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

・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 メソッドを生成できなかった不具合を修正。

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

入力メソッド先頭のフィールドへの代入文がフィールド名の変更に対応できていなかったバグを修正。

Pairクラスをジェネリクスで生成するようになりました.

クラスと同名の変数名をvalueに置き換えました

Pairクラスをdouble型で宣言するようにしました.

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

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

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

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

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

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

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

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

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

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>に変換する。）

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

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

バグ修正

s

大文字になるように

actionを分けることには成功

修正方法がわからない・・・

・入出力チャンネルにしか出現しないリソースを ResourceDependencyGraph にノードとして出力していなかったのを修正。 ...

・フィールドの参照に "this." を付けるように修正。（引数と名前が被る可能性があるため。）
・入力イベント処理メソッド内部のフィールドの更新処理を正しく生成していなかったのを修正。
・モデルファイルを何も読み込んでいないのにコード生成しようとしてヌルポが発生していたのを修正。

・キャッシュ用のフィールド名の先頭が大文字になっているバグを修正。 ...

・すべての.javaファイルにjava.util.*のインポート文を付けるようにした。

・コード生成時に指定したディレクトリにJavaファイルを出力するようにした。 ...

・生成コードに全角文字が混じっていたのを修正。

・出力するコードをTypeDeclarationのリストではなくて、CompilationUnitのリストにした。 ...

・アルゴリズムのクラス名を論文に合わせた。
・メインクラスの名前を変更できるようにした。
・Editor内のファイル読み込み時の処理を整理した。

複数の入力側リソースからの更新がありうる場合、入力側リソースのキャッシュを出力側リソース内に残すようにする。

コード修正

Merge branch 'master' into ohta

Merge pull request #14 from nitta-lab/updateMethodName ...

updateメソッドの名称変更に対する対応。

updateメソッドの名称変更に対する対応。

Merge branch 'master' into ohta

修正

警告を削除

指摘箇所を修正

Merge pull request #12 from nitta-lab/inputEvent ...

InputEvent

バグ修正

必要な作業は一通り終えた（はず）

指摘箇所を修正

入力イベント処理用のメソッドの中身を埋めるようにした。

IOとpullAccecer完了

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

移行完了

副作用を持つメソッドの型を追加して、cons()をList#add()に正し変換できるようにした。

・入力側が複数あるときにupdate()メソッドに同じ行が複数追加される不具合を修正。 ...

・リソース名でクラス名を検索するときに、先頭以外も小文字にして検索していた不具合を修正。

Merge branch 'master' into ohta

・floor関数とsum関数がJavaで動くようにした。 ...

・Symbolの定義をコード生成時に一時的に置き換えられるようにした。

update()メソッドの呼び出しの連鎖ができるようにした。

・メソッドの中身を出力できるようにした。（まだ残作業あり。） ...

・MethodDeclaration#toString()にヌルポ処理を追加。
・FieldDeclarationにinitializerフィールドを追加。

MethodBodyGeneratorを作成し、CodeGeneratorの後に呼ばれるようにした。

メソッドの中身をコードに追加するように修正

PULL型のバグを修正

PUSH型のコードのバグを修正

Mainの中身を追加

シンボルをもとに型をListかIntで確定させるようにした

型関係の修正

修正

指摘箇所を修正

ミスを修正

突貫工事でメソッドまで作成

コンストラクタ生成部分が終了

コンストラクタ関係の作成中

コンストラクタの中身を作成中

最新版のマージ

Merge remote-tracking branch 'origin/astToImplementation' into ohta

コード関係

・ASTNodeからtoString()で実装を出力できるようにした。 ...

・PrototypeGenerateActionをコードを出力するように修正。
・TypeクラスのgetImplemantationTypeName()のメソッド名が間違っていたので修正した。

コード生成部分を試験的に実装

構文木どおりの生成に成功

中身を大分書いた

Mainの中身を少し

生成順確定アルゴリズムが完成

いくつか生成アルゴリズムの変更に伴い、大幅にパッケージ名や中身を変更