イベントチャンネルか否かの判定で，チャンネルの階層化を考慮していなかったのを修正．

生成したプロトタイプを管理するようにした． ...

ArrayList.removeLast() を使わないようにした．
CustomerOffice.model -> CustomerManagement.model

JsonAccessor を正しく解釈できていない場合があったので修正．（例えば，(type == request.requestType) ...

のような場合．）

List型リソースの初期化が正しくできていなかったのを修正．

モデリングをリソースの階層化に対応させた． ...

モデリングでセレクタを持ったチャンネルを作成できるようにした．
チャンネルのコード編集のダイアログで編集中のコード全体が表示されるようにした．
チャンネルやリソースのラベルが中央に表示されていたのを上部に表示されるようにした．
Editor.java のメソッドを整理した．

・JsonAccessor に型が指定されていたときにモデルファイルを読めなかったのを修正． ...

・JsonAccessor の演算子が dot なのか dotParam なのかの判定が正しくできていなかったのを修正．

サブチャンネルへのメッセージのブロードキャストを，refポートでも受けられるようにした． ...

サブチャンネルを示すキーワードを sub から for に変更した．
GroupChat.model を追加した．

文字列リテラルの扱い方を整理した． ...

・Symbol名としてはダブルクォーテーションで囲む．
・Constant()のコンストラクタではダブルクォーテーションで囲っていない文字列を引数として渡す．
・Constant.toString()では，コード上の表現すなわちダブルクォーテーションで囲った文字列を返す．
・ダブルクォーテーションで囲っていない文字列は，Constant.getValue()で取得するようにする，

パスパラメータに等式（制約条件）を記述できるようにし，パラメータが制約を満たした場合のみイベントが発火するようにした．

・チャンネルセレクタが複数定義されていたときにモデルファイルが読めなかった不具合とシミュレータが正しく動作しなかった不具合を修正． ...

・チャンネルが階層化されていたときにシミュレータにメッセージを送信できなかった不具合を修正．
・シミュレータのメッセージ選択ダイアログをシミュレータウィンドウの上に表示するようにした．

・ダブルクォーテーションの処理の改善に伴う不具合の修正． ...

・JSONアクセッサの直後に演算子が続いた場合の処理が不正だったのを修正．
・EventクラスでのNULL処理の追加．
・Resourceクラスにおいてリソース階層の型が不明（null）だった場合の処理の追加．

文字列リテラルの内部が他の区切り文字で分割されないようにした．

・モデルファイル中の JSON を Term ではなくて，JsonTerm として読み込めるように改良． ...

・シミュレーション機能で，リソースを任意の深さの JSON の値で初期化できるように修正．

・モデルファイル読み込み時に，init{} 内で model への ResourceHierarchy の登録をしていなかった． ...

・シミュレーション時に，子孫を持つルートリソースの初期化ができていなかった．

モデルファイルで，init {} の直後に native キーワードが来る場合を想定していなかった．

Simulatorにタイマー機能を追加．

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

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

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

モデルファイルの修正．

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

演算子の優先順位の変更．（<と<=など．） ...

モデルファイルの書換えの続き．

DTRAM言語仕様の大幅変更．（比較演算子および論理演算子を中間記法に，==を=に．）

シミュレータで状態遷移ができるようにした．（ただし，ほとんど未テスト．）

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

モデルファイルの init{} が正しく読み込めなくなっていたのを修正．
JAX-RS出力で落ちる場合があったのを修正．

コミット忘れ．

モデルファイル中のJSONとリストをパースできるようにした．

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

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

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

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

チャンネルを階層化できるようにした．

リソースの階層化およびパラメータ化を可能にした．

一旦コミット

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

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

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

2. Refactor algorithms.
3. Create generators package.

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

add baseURL and resources info to dtram file.

refactored

refactored

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

不足分の追加

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

代数処理系を追加