DynamicResourceCreationブランチのバグ修正の反映．

コミット忘れ．

・文字列に対する == と != の演算を equals() を使って判定するようコード生成するように修正した． ...

・ファイルセーブ機能でモデルの初期化部分を正しく出力できていなかったのを修正した．
・文字列リテラルの扱い方を整理した．
　- Symbol名としてはダブルクォーテーションで囲む．
　- Constant()のコンストラクタではダブルクォーテーションで囲っていない文字列を引数として渡す．
　- Constant.toString()では，コード上の表現すなわちダブルクォーテーションで囲った文字列を返す．
　- ダブルクォーテーションで囲っていない文字列は，Constant.getValue()で取得するようにする，

演算子の優先順位を考慮するようにした際に混入した不具合の修正．

算術，比較，論理演算子の優先順位付けを行うようにした．

DTRAM言語の構文の変更（比較演算子，論理演算子を中間記法にし，等号を == から = に変更）．

モデルファイルで文字列定数を扱えるようにした．

EventChannelの判定の誤り．dynamicResourceCreation ブランチの修正を反映．

コメントの追加

コメントを追記.

「呼び出し順の変更」の挙動を修正

多相性を持った関数を定義できるようにした．

- ref側リソースから取得した値を渡す input() メソッドの引数名が正しくなかったのを修正． ...

- input() メソッド内でref側リソースから取得した値を使って状態を更新する際の式が不正だったのを修正．

JumpGame.model の ref ポートが正しくコード出力できなくなってしまったので修正．

入力側状態遷移関数の遷移前の状態を使うPUSH型更新の場合に，正しくコードが生成できていなかったのを修正した．

List の remove() 関数と，Map の delete() 関数を追加．

Merge pull request #93 from nitta-lab/refactor ...

リファクタリング

append() 関数のシグニチャが間違っていたので修正．

List に要素を追加する append() 関数の追加．

コメント内のコードを少し修正．

実験用の Jar ファイルを動作させるためのコードもコメントとして記載．

リファクタリング

Merge pull request #92 from nitta-lab/feature_addLoggerToCFD ...

PUSH/PULL拡張のログを吐くようにしました．

PUSH/PULL拡張のログを吐くようにしました．

Merge pull request #91 from nitta-lab/logs ...

Log 出力ができるようにした．ノードを他のエッジやノード上に移動しても子供にならないようにした．

Log 出力ができるようにした．ノードを他のエッジやノード上に移動しても子供にならないようにした．

Merge pull request #90 from nitta-lab/fixMediatorGenerationBug ...

確認しました．

フィールドを更新するコードが二重に出力される場合があった不具合を修正．

リソース間に挿入した仲介者オブジェクトの更新メソッドの本体が不正である不具合を修正．

Merge pull request #89 from nitta-lab/fix_connectionAnEdgeAtDependsOnMediator ...

「仲介者オブジェクトの依存」実行時に正しくエッジが表示されないバグを修正．

「仲介者オブジェクトの依存」実行時に正しくエッジが表示されないバグを修正．

Merge pull request #86 from nitta-lab/fix_denyConnectionToOtherLayer ...

Fix denyConnectionToOtherLayer

PUSH/PULL Extensionにおいてリソース同士が接続できるバグを修正．

データフローモデリングステージにおいて，リソース同士が接続できるバグを修正．

Merge pull request #85 from nitta-lab/fixSerializeException ...

図形移動時にNot Serialize Exceptionが発生するのを抑制．

図形移動時にNot Serialize Exceptionが発生するのを抑制．

Merge pull request #84 from nitta-lab/feature/LocalizationNavWindow ...

ナビゲーションウィンドウの多言語対応

ナビゲーションウィンドウの多言語対応

機能追加用にメソッド名を変更．

Merge pull request #82 from nitta-lab/fixConstructorInvocationBug ...

・Depends on Mediatorコマンドの実行後，コード生成したときにコンストラクタ呼び出しがおかしくなる不具合の修正．

・Depends on Mediatorコマンドの実行後，コード生成したときにコンストラクタ呼び出しがおかしくなる不具合の修正． ...

・Jsonの型推論で落ちる不具合の修正．
・SelectGE,SelectLE関数の追加．
・Produce Mediator -> Introduce Mediator

Merge pull request #81 from nitta-lab/feature/localize ...

マージしてから確認します．

「dependent on Mediator」→「depends on Mediator」に変更．

各種メニューの多言語化へ対応

ステージのダイアログ位置を調整

Merge pull request #80 from nitta-lab/feature/dependOnMediator ...

マージしてから動作確認します．

「仲介者オブジェクトへの依存」による制御フローの重複を削除．

「仲介者オブジェクトへの依存」の操作を実装

updateHierarchicalResourcesブランチの修正の反映．（主にJSON関係）

JSON型とその型推論を追加．以下の不具合を修正． ...

・拡張PULL型の場合に，メソッドが重複して出力される．
・コンポーネントの初期化の順序（参照関係）がおかしい．

アーキテクチャモデル内の送信メッセージを逆関数を用いて定義できるように拡張した．

Rename class names: ...

IdentifierTemplate --> ResourcePath
ChannelGenerator --> Channel

バグのあるモデルファイル（JumpGame.model）を読めなくなっていたので修正．同時にモデルファイル自体のバグも修正．

Flow Layer Window に名前を変更．その他細かい修正．

Merge pull request #75 from nitta-lab/popupMenu ...

>ポップアップメニューの追加とその他CFDに関わるバグの修正

動作確認しました．

ポップアップメニューの名前変更

ポップアップメニューの追加とその他CFDに関わるバグの修正

Merge pull request #74 from nitta-lab/codeGenerationFromControlFlowGraph ...

確認しました．

CodeGeneratorを3つのクラスに分割し整理した．

細かなバグ修正や未作業項目の対応を行い，拡張PUSHと拡張PULLが一通り出力できるようにした．

tuple の戻り値を分解して返したり引数として渡せるようにした．

update や input が戻り値を返せるようにした． （戻り値の組を変えることも可能．）

input メソッドを生成するのか update メソッドを生成するのかの判定に誤りがあったので修正． ...

引数と戻り値の列挙アルゴリズムの不具合を修正．

引数を持たない update や input メソッド用の処理を追加した．

PULL側に仲介オブジェクトを挿入しても無視される不具合を修正．

コード生成を拡張PUSH/拡張PULL，仲介オブジェクトの挿入に対応させた． ...

（ControlFlowGraphを元にコードを生成できるようにした．）

・データフローグラフからのコード生成部分と制御フローグラフからの生成部分を分ける． ...

・データフローグラフから生成したときに，コンポーネントの生成順がおかしかった不具合を修正．

同じクラスが複数個生成される不具合を修正した． ...

・ControlFlowGrapghにおいて，ResourceNodeとStatefulObjectNodeがペアで登録されるようになっていたのを修正．
・ControlFlowGrapghのPUSH部とPULL部でノードを共有している場合に，PUSH部に存在しているノードのみを取得するようにした．

Merge pull request #73 from nitta-lab/generateFromControlFlowGraph ...

確認しました．

refポートに対応．

コード生成部分を大幅に整理した． ...

JavaCodeGenerator と　JavaMethodBodyGenerator を廃止の方向で作業中．
CodeGenerator にほぼ統合完了．言語依存部分は，　ILanguageSpecificに切り出し．

Merge pull request #71 from nitta-lab/fixSomeBugs ...

FixSomeBugs
とりあえずマージします．

delegatableNodeの表示において，選択している転送方式と違うNodeに対しても選択できないことが見てわかるようにしました．

コメントの追加と，データ/制御の流れの表示を切り替えるウィンドウををShowFlowWindowからShowFlowLayerWindowへ変更．

EntryPointObjectの初期座標をDataFlowModelingStageのチャンネルの座標から引継ぎ．

delegate不可能な場所にdelegate出来ていたバグを修正．

ナビゲーションウィンドウの通知の再入を禁止するようにした．

Merge pull request #70 from nitta-lab/fix_the_algorithm ...

Fix the algorithm
とりあえずマージします．

CONTROL_FLOW_LAYERを削除し，PUSH/PULLの分割グラフを同時に表示するように変更． ...

EditorのnotifyStageChangeListerners()で無限ループ

チェックボックスによるレイヤー切り替えを実装

CallEdgeAttributeにdelegate前のResourceNodeを持たせるように．

EntryPointに対して仲介オブジェクトを挿入した際にEntryPointから仲介オブジェクトへのエッジが出現しない不具合を修正．

Conflictの解消とentryPointObjectNodeのセルを表示するように．

PUSH探索範囲の修正とレイヤー切り替えウィンドウの実装．

1) mxIGraphModel の mxIEventListener もステージ毎に変えられるようにした． ...

2) ControlFlowGraph を作成する際に，EntryPointObjectNode も pullCallGraph
側に同時に追加するようにした．

仲介オブジェクト挿入時に名前の重複を禁止する．

選択したエッジの呼び出し順を変更可能にした．

一部コメントの変更

Control-Flow-Delegation ...

Stageにおいて、任意のエッジに対し右クリックすることで、転送を仲介するオブジェクトを挿入できるようになった．

PushPullSelectionStageからControlFlowDelegationStageに移行したとき、cellの位置を同期するように．

委譲可能範囲のうち、共通する範囲の取得可能にした．

辺をダブルクリックしてPUSH/PULLとその選択した辺の情報を取得できるようにした．

Merge pull request #69 from nitta-lab/showControlFlow ...

ControlFlowを可視化
動作確認しました．

ControlFlowを可視化

Merge pull request #67 from nitta-lab/multiLayers ...

確認しました．

複数レイヤに分けられるようにした． ...

DataFlowCellEditor の処理の一部を PushPullCellEditor に移動．

Merge pull request #66 from nitta-lab/edgeAttributes ...

確認しました．

Merge remote-tracking branch 'origin/controlFlowModeling' into ...

edgeAttributes

Conflicts:
	AlgebraicDataflowArchitectureModel/src/application/editor/stages/PushPullSelectionStage.java

ControlFlowDelegationStageのために，InEdgeAttributeとOutEdgeAttributeクラスのインスタンスをmxGraphに付加するように変更．

Merge pull request #65 from nitta-lab/delegationAlgorithms ...

確認しました．

FlowCellEditorに共通するフィールドを移植

solve the conflict.

CellEditorの新規追加

Editor/Stage/CellEditorの参照関係を変更

prepared Delegating control flow model.

無意味にstageChanged()が呼ばれる不具合を修正． ...

（JButtonのリスナを，ChangeListenerからActionListenerに変更．）

prepared Delegating control flow model.

Merge pull request #62 from nitta-lab/NavigationWindow ...

確認しました．

Navigationウィンドウを作成し，ステージの遷移を操作できるようにした． ...

同時にカレントステージの変更および遷移可能性をNavigationウィンドウの表示に反映させるようにした．

Merge pull request #61 from nitta-lab/newEditors ...

NewEditors

編集操作を複数のステージに分割した．Stageクラスを作成し，Editorクラスで行っていたステージに依存した操作を，Stageクラスの具象クラスに委譲するようにした．

Stageを導入するための準備．

PUSH優先で制御フローグラフを生成する際に，PULL優先になっていたのを修正． ...

ObjectNodeに名前を持たせることができなかったのを修正．

データフローグラフから，呼び出しグラフと制御フローグラフを生成できるようにした．

Merge pull request #59 from nitta-lab/dataflowGraph ...

confirmed

fix stack overflow by ignoring ref ports.

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

2. Refactor algorithms.
3. Create generators package.

Merge pull request #58 from nitta-lab/ErasingServices ...

確認しました．残りの作業は後のバージョンでお願いします．

WebServiceに関するクラスを全て消去しました．

add baseURL and resources info to dtram file.

fixed attaching file extension.

fixed attaching extension of file and implemented web services info of ...

dtram.

bug fixed

implented the menu's item "create new webservice"

Merge pull request #56 from nitta-lab/parse_DTRAM_for_Web_services ...

確認しました．

refactored

refactored

refactored

refactored

refactored

fix comments

removed "Token".

bug fixed and refactored

change to const values from "Token" values.

Parser fixed.

fix some bugs and refactored

web editor's parser was implemented. but not checking to test.

insert to check right bracket

in progress

create "WebServiceEditor.java" extends from "Editor".

created package named models.WebServices and prepared classes "Service", ...

"WebServices".

Merge pull request #55 from nitta-lab/visualModeling ...

多分大丈夫だと思います．

Merge remote-tracking branch 'origin/master' into visualModeling ...

Conflicts:
	AlgebraicDataflowArchitectureModel/src/graphicalrefactor/editor/Editor.java
	AlgebraicDataflowArchitectureModel/src/graphicalrefactor/views/GraphicalRefactorMenuBar.java

Merge pull request #54 from nitta-lab/DAGlayout ...

DAGlayout

コードの整形

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

確認しました．

不要なモデルの削除

コメントの削除

sortByKeyの更新処理を忘れていたので追加

Algolike用に作った関数のシンボル登録処理を, ModelExtension.javaに移植

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

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

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

かんぺき～

不足分の追加

Algolike.modelの追加

保存したdtramファイルを開く事が出来るようになりました。

やっと動きましたわー

大方動く

岡田健伸のブランチ

modelやdtramで保存する事が出来るようになりました。

EditorにsaveModel追加しました。

ファイルを開く時や保存する時に.modelと.dtramを選択できる様にしました。

GraphicalRefactorCellEditorのFormulaChannelを編集する際の画面のレイアウトをGridBagLayoutに変更しました。

NewFormulaChannelActionの文を整えました。

NewFormulaChannelAction完成しました。

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

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

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

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

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

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

コミット忘れ．

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

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

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

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

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

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

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

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

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

Merge pull request #52 from nitta-lab/graphVisual ...

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

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

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

Merge pull request #51 from nitta-lab/forMultipleOutputResources ...

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

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

のみ選択可能にする．

Merge pull request #50 from nitta-lab/refValue ...

RefValue

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

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

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

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

Algoモデルの修正

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

Merge pull request #47 from nitta-lab/fixInitializerBug ...

merged

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

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

Merge pull request #44 from nitta-lab/channelOutputs ...

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

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メソッドの追加

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

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

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

Merge pull request #30 from nitta-lab/create_pair ...

Create pair
OKです。

不要な生成ファイルを削除しました.

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

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

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

Merge pull request #24 from nitta-lab/to_refactor_of_cond ...

To refactor of cond

modelファイルを修正しました.

if文生成時の一時変数の型を宣言するよう修正しました.

Revert "if文の一時変数に型がなかったのを修正しました." ...

This reverts commit 0ccc738.

if文の一時変数に型がなかったのを修正しました.

Merge pull request #21 from nitta-lab/to_refactor_of_cond ...

>if文を修正しました

確認しました。マージします。

if文を修正しました

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つにまとめる作業は未対応

バグ修正

s

修正中

大文字になるように

actionを分けることには成功

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

バグを確認

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

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

修正ミスがあった。

POSとトポロジーが変わるように変更した。

Merge pull request #17 from nitta-lab/saveJavaFiles ...

SaveJavaFiles

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

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

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

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

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

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

Game.modelの質量の値を初期化し、キャッシュに保存されるように修正。

Merge pull request #16 from nitta-lab/cashUpdate ...

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

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

計測値確定

計測値の調整

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

実験用

計測時間が整数に丸められていた。

purchase(100)の計測条件が一定になるように修正。

全てのメソッドで平均値をとるように

実験クラスの中身を作成、結果に明らかに差が出ている

Merge branch 'master' into ohta

Merge pull request #15 from nitta-lab/ohta ...

とりあえずマージします。

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

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

中身を作成中

実験用クラスを作成中

コード修正

Merge branch 'master' into ohta

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

Merge pull request #13 from nitta-lab/ohta ...

確認しました。

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

InputEvent

Merge branch 'master' into ohta

修正

警告を削除

push型の実験用クラスを作成

paymentがおかしい

指摘箇所を修正

実験用クラスを作成

バグ修正

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

切り直し

指摘箇所を修正

インデントを修正。

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

IOとpullAccecer完了

Merge branch 'master' into ohta

修正

・メッセージの引数に指定した型を、メッセージのシンボルのシグニチャに反映させるようにした。 ...

・Listの実装型をArrayListにした。
・型情報をきちんとパースするように修正した。（コロンの直後にスペースがあると処理できなかった。）
・consのシグニチャを設定した。

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

移行完了

テストケースとGnerator処理の書き換え

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

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

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

Merge branch 'master' into ohta

modelファイル中で、リソース状態の型を指定できるようにした。 ...

out payment(p:Int, purchase(x)) == x
のように。

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の中身を少し

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

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

Merge pull request #6 from nitta-lab/javaAST ...

Javaのコード生成用にjava.astパッケージを作成した。

Javaのコード生成用にjava.astパッケージを作成した。

修正

コード整理

判定条件の修正

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

・入出力チャンネルが複数あるようなモデル（同じリソースに対して同一チャンネル内でout側遷移が複数定義されているようなモデル）の修正（CustomerOffice.model）、作成（Game.model）。 ...

・異常系があるようなモデル（上記に加え、非決定的なout側遷移を持つ、単一リソースが複数チャンネルのout側に接続することを許すようなモデル）の作成（Game.model）

途中

Merge branch 'ohta' ...

Conflicts:
	AlgebraicDataflowArchitectureModel/src/graphicalrefactor/editor/Editor.java

バグ修正

試行錯誤

試行錯誤中

とりあえずエディターにアルゴリズムを導入完了、コード生成アルゴリズムはまだ

エディターに一連のアルゴリズムを追加(正常には動作していない)

ひな形を整えた

loyalty --> points

Editor内で生成されたResourceDependencyGraphにアクセスできるようにした。

ブランチを切る、コード生成アルゴリズム考察中

コード生成アルゴリズムを考案中

テスト完了

UpdateConflictCheckTestを変更、全アルゴリズムをデバッグ中

4つ完了？

データ転送テスト完了？

テストコード調整中

jdk13導入

転送方式の選択可能性判定を一通り実装、テストコードはこれから

保存必要性アルゴリズム完成

komit

Position周りにバグ？

修正、テストは通らず

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

アップデート

Merge pull request #5 from nitta-lab/graphicViews ...

ユーザインタフェース周りを一通り作成。

考案中

Merge branch 'ohta'

テストコードが整う、まだ正常な動作はできていない

未テスト

整合性判定の実装完了？

JGraphXを用いてアプリケーションを作成した。 ...

・Main.javaを追加。
・graphicalrefactor.*パッケージ群を作成。
・JGraphXのテストプログラムを追加。
・PushPullAttributeクラスを選択可能な転送方式の集合ではなくリストに。（リストの先頭要素が選択された要素であるとわかるように。）

・顧客リストモデルを追加。 ...

・if関数とeq関数の追加。
・数式の文字列出力と実装出力を分けるようにする。

Merge branch 'master' into ohta

・StateTransition#deriveMessageConstraintFor() ...

内の処理で、変数に変数を代入する場合を考慮していなかった。
・単一化で代数系上の変数とプログラム上の変数を単一化しようとする場合があったので。プログラム上の変数を Variable ではなく、 Field
と Parameter で表すようにした。
・項中のパラメータ（Parameter）の一覧を取得したかったので、 Expression#getSubterms(Class<T>)
を作った。また、 Expression#getVariables() は、このメソッドを呼ぶようにした。
・力学演算を行うモデルを追加した。

Merge pull request #4 from nitta-lab/separateAlgebraPackage ...

以下の修正および改良

・リソース更新コード生成テストプログラム（UpdateCodeGenerationTest.java）で、引数とフィールドを同じ名前にしていたため、生成コードがおかしくなっていた不具合を修正。 ...

・リソースと変数に型を定義できるようにし、シンボルにシグニチャを定義できるようにした。
・入力側リソースの状態遷移関数で遷移後の項が含んでいる変数の値を、遷移前の項が含んでいる変数の値から求められる場合、求めた値を使って、メッセージ制約を導出するようにした。（そのようにしないと導出できない場合があるため。また、そのようにすることで変数の値の重複定義を回避できる場合があるため。）

Merge pull request #3 from nitta-lab/separateAlgebraPackage ...

代数処理系を別パッケージに分けた。

Merge pull request #2 from nitta-lab/addStateTransitions ...

代数処理系を追加

代数処理系を別パッケージに分けた。

代数処理系を追加

考案中

Merge pull request #1 from nitta-lab/addStateTransitions ...

コードのひな型（インタフェース）を追加した。

自ブランチを更新

コードのひな型（インタフェース）を追加した。

テストケース修正 動作確認？

Tajanアルゴリズム実装完了（未点検）

Tajanアルゴリズム実装中

テストケースなどを追加

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

・DataFlowModelTest.java に代数式などをコメントとして追加した。 ...

・ソフトウェア工学研究会の原稿に合わせて、チャンネルを利用しない単純な例題（POSシステム）のテストケースを追加した。

assignの中身を作成中

帰りがけ作成中

Kosarajuアルゴリズムを使用することに

TarjanとKosarajuの両方を調べ中

もう少し

深さ優先探索完成一歩手前？

深さ優先探索を作成中

tarjanアルゴリズム作成中

アルゴリズムを作成中

アルゴリズム用にノードとエッジに属性を付加できるようにした。

初期コミット

Initial commit