base fork: nitta-lab/AlgebraicDataflowArchitectureModel

• nitta-lab/AlgebraicDataflowArchitectureModel
• y-ota/AlgebraicDataflowArchitectureModel

base: master

• ASE2022submit
• FACS2023
• Models2024
• SimulatorVisualization
• controlFlowModeling
• dynamicResourceCreation
• experiment20231128
• experiment_2023_1_25
• extendForWebServices
• feature_addLoggerToCFD
• fix
• fixSerializeException
• fix_connectionAnEdgeAtDependsOnMediator
• forMultipleOutputResources
• forWebServices
• hieararchicalLayout
• htmlGUi
• importVisualModelingUpdates
• interfaces
• langSpecModification
• master
• ohta
• ohta2
• ota
• outputChannelAsAClass
• refactor
• simulationLayout
• simulator
• swingInterface
• test
• two-stage-modeling
• updateHierarchicalResources

...

head fork: nitta-lab/AlgebraicDataflowArchitectureModel

• nitta-lab/AlgebraicDataflowArchitectureModel
• y-ota/AlgebraicDataflowArchitectureModel

compare: simulator

• ASE2022submit
• FACS2023
• Models2024
• SimulatorVisualization
• controlFlowModeling
• dynamicResourceCreation
• experiment20231128
• experiment_2023_1_25
• extendForWebServices
• feature_addLoggerToCFD
• fix
• fixSerializeException
• fix_connectionAnEdgeAtDependsOnMediator
• forMultipleOutputResources
• forWebServices
• hieararchicalLayout
• htmlGUi
• importVisualModelingUpdates
• interfaces
• langSpecModification
• master
• ohta
• ohta2
• ota
• outputChannelAsAClass
• refactor
• simulationLayout
• simulator
• swingInterface
• test
• two-stage-modeling
• updateHierarchicalResources

Checking...

Commits on 2024-08-06

okazakitakehiro	イベントがないリソースをダブルクリックした時に、空のプルダウンメニューが表示されるバグを表示されないように修正しました。	0cfc5f8
okazaki takehiro	Merge pull request #106 from nitta-lab/languageModification	017a102
Naoya Nitta	モデルファイルを変更および削除．	3feb0f6
Naoya Nitta	演算子の優先順位の変更．（<と<=など．） モデルファイルの書換えの続き．	7cd940d
Naoya Nitta	DTRAM言語仕様の大幅変更．（比較演算子および論理演算子を中間記法に，==を=に．）	db93438

Commits on 2024-08-02

Naoya Nitta	Merge pull request #105 from nitta-lab/SimulatorVisualization	8b03a08
okazakitakehiro	子リソースの状態表示を下の方に表示するようにしました。	9e23d4a
Naoya Nitta	シミュレーションで四則演算ができるようにした．	d3acd58

Commits on 2024-08-01

Naoya Nitta	リソースの状態を表示できるようにした．	912d6b9
Naoya Nitta	Simulator 画面のリソース名がおかしかったのを修正．	e2f1e65
okazakitakehiro	リソースの名前を上に表示できるようにしました。	0830dbd

Commits on 2024-07-31

Naoya Nitta	葉リソースの型が List か Map で，値が nil だった場合の処理が不正だったのを修正．	f332e02
okazakitakehiro	InputEventCellSditorの修正完了しました。	d601b66

Commits on 2024-07-30

Naoya Nitta

ResourceIdentifier の toString() の動作がおかしかったのを修正．

7ed417f

Commits on 2024-07-29

okazakitakehiro	シミュレート機能完了しました。	fd37905
okazakitakehiro	シミュレート機能完了しました。	b6768a9

Commits on 2024-07-26

okazakitakehiro

一旦シミュレート機能完了しました。

4fa7124

Commits on 2024-07-10

okazaki takehiro	Merge pull request #104 from nitta-lab/simulatorEvents	d5114f0
Naoya Nitta	リソース識別子を文字列で指定してリソースを取得できるようにした．	f4b0201
okazaki takehiro	Merge pull request #103 from nitta-lab/simulatorEvents	f641266

Commits on 2024-07-09

Naoya Nitta

依存している側の入力リソースを更新した場合のイベントの生成が正しくできていなかったのを修正．

59118bd

Commits on 2024-07-08

okazakitakehiro	リソースのみの可視化に変更	7a32f59
okazaki takehiro	Merge pull request #102 from nitta-lab/simulatorEvents	96c5efa
Naoya Nitta	JSON型のリソースに対して，遷移前の状態で定義されていないメンバの値を更新できるようにした．	7d28550
Naoya Nitta	チャンネル内のメッセージがリソースの状態に依存し，かつ参照するリソースのパスがチャンネル内のメッセージに依存するような複雑な依存関係がある場合に正しくイベントを実行できていなかったので，設計を大きく変更した．具体的には，Eventクラス内で，1)メッセージへの制約の計算，2)メッセージ制約からパスパラメータの導出，3)パスパラメータが決定されたリソースの状態を参照を，依存関係を考慮しながら適切な順番で行うようにした．	6f90c4d

Commits on 2024-07-01

okazakitakehiro	プロトタイプのシミュレート機能を作成しました。	b38409d
okazaki takehiro	Merge pull request #101 from nitta-lab/simulatorEvents	8f95986
okazaki takehiro	Merge pull request #101 from nitta-lab/simulatorEvents	b4c0ea1
Naoya Nitta	シミュレータで状態遷移ができるようにした．（ただし，ほとんど未テスト．）	d8a0448

Commits on 2024-06-17

Naoya Nitta	動作確認していないがひとまずコミット．	d49a01b
Naoya Nitta	作業途中だけど一旦コミット．	f96a1d4

Commits on 2024-05-24

Naoya Nitta

イベントの連鎖の準備．

fa221e6

Commits on 2024-05-22

Naoya Nitta

状態遷移時のイベントの発火の連鎖の準備．

211d4b2

Commits on 2024-05-21

Naoya Nitta

Simulator 機能の初期バージョン．

3b14c44

Commits on 2024-05-20

okazaki takehiro

Merge pull request #100 from nitta-lab/fixDataFlowGraphConstruction

8d65fab

Commits on 2024-05-19

Naoya Nitta

リソースが階層化されていないモデルファイルからの Java コード生成で，入力メソッドへの呼び出し文において同じ実引数が2つ渡されていた不具合，リソースの初期化時にコンストラクタに必要な実引数が渡されていなかった不具合を修正．

17fbf68

Commits on 2024-05-18

Naoya Nitta

・ResourceNode の階層構造と接続関係の不具合の修正完了． ・ResourceNode の参照関係の可視化において，実際に参照している参照先リソースを参照するように変更した．

0cacc7e

Commits on 2024-05-17

Naoya Nitta

階層化されていないリソースの出力側に複数のチャンネルが接続している場合に正しく表示＆ソースコード生成できない不具合を修正中．ResouceNode や DataFlowGraph 等を大きく書き換え中．

944cd40

Commits on 2024-02-14

Naoya Nitta

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

9408b6e

Commits on 2024-02-11

Naoya Nitta	・REST APIを呼び出すJAX-RSのコードでローカル変数（form, entity）の宣言が正しくできていなかった不具合を修正． ・JAX-RSのコードで戻り値を返さない update() メソッドから戻り値を受けようとしていたのを修正． ・JAX-RSのメソッドで JsonProcessingException のスローが正しくできていなかったのを修正． ・nil を指定して JSON オブジェクトを生成したときに出力されるコンストラクタ呼び出しの引数がおかしかったのを修正．	ea9037c
Naoya Nitta	channel の out ポート側に同じリソース階層の複数のリソースが接続していた場合，update() メソッド内でリソース毎に条件分岐を行って更新処理を分けられるようにした．	a3b6bc4

Commits on 2024-02-10

Naoya Nitta

update() メソッドの引数として渡すようにしたパスパラメータの引数名が他の引数と被る場合があったので，self に統一した．

c585100

Commits on 2024-02-09

Naoya Nitta

・channel の out ポート側に同じリソース階層の複数のリソースが接続していた場合，リソース毎に更新処理を区別できるよう update() メソッドの引数にパスパラメータを渡すようにした． ・チャンネルセレクタがパスパラメータにもメッセージパラメータにも含まれていない場合があるので，update() メソッドの引数にチャンネルセレクタも渡すようにした． ・input() メソッドもほぼ同様の変更を行った．

2096b82

Commits on 2024-02-05

Naoya Nitta

JAX-RSのサービス内での更新メソッドの呼び出しにおいて，呼び出し元リソースと呼び出し先リソースが同一であるときの呼び出し文がおかしかったのを修正．

211dc10

Commits on 2024-01-15

松居都央佳	Merge pull request #99 from nitta-lab/bugFixForNemophila	59a6e00
Naoya Nitta	・サービス間のAPI呼び出しとサービス内のメソッド呼び出しを区別するロジックを整理した． ・必要に応じて，updateメソッドを呼び出すAPIをルートリソースに定義するようにした． ・その他JAX-RS出力関係のバグ修正．	cd2c988

Commits on 2024-01-14

Naoya Nitta

・updateメソッドの呼び出しで引数として渡すフィールドがおかしい場合があったのを修正． ・チャンネルスコープ内のリソースのupdateメソッドの呼び出しがおかしかったのを修正． ・Jersey出力で，refポートに接続しているリソースがチャンネルスコープの内か外かによって，呼び出し方を変える必要があったので修正．

b74cd03

Commits on 2024-01-11

Maehara Hiroki	Merge pull request #98 from nitta-lab/fixLeafGetter	bb583f1
Naoya Nitta	Merge pull request #97 from nitta-lab/revise_DAGlayout	613d616
Hiroki-Maehara	channelが階層構造内部に配置されるパターンのレイアウトアルゴリズムの追加	08792b2

Commits on 2024-01-09

Naoya Nitta

・不要なフィールドが出力される不具合を修正した． ・チャンネル外のリソースの判定を間違える場合があったのを修正．

43056a3

Commits on 2024-01-08

Naoya Nitta

・Javaプロトタイプ出力で，階層化されたリソース間の参照フィールドを出力するか否かの判定ロジックがおかしかったのを修正． ・Javaプロトタイプ出力で，リソースが階層化されていないモデルファイルが正しく出力されていなかったのを修正．（まだ残バグあり．） ・Javaプロトタイプ出力で，入力メソッドが重複して出力される場合があったのを修正． ・Java/JAX-RSプロトタイプ出力で，入力メソッドの引数名がおかしかったのを修正．

7b8d36f

Commits on 2024-01-06

Naoya Nitta

葉リソースの getter メソッドが value を返していたのを修正．

45e759c

Commits on 2023-12-31

okazaki takehiro

Merge pull request #96 from nitta-lab/fix_JAX-RS_bugs

5e3ff57

Commits on 2023-12-30

Naoya Nitta	メソッドが重複して出力される不具合を修正． JAX-RSでコンストラクタのパラメータが重複して出力される不具合を修正． JAX-RSでプロトタイプ生成ができない場合があるのを修正． DAGLayoutをデフォルトにする．	b523e7a
Naoya Nitta	リソースノードの階層構造において分離すべきリソースノードを分離し，共有すべき親リソースノードを共有するようにした． refポートに接続されているリソースパスを参照しているときに，エラーで落ちていたのを修正．	8b55984

Commits on 2023-12-29

Naoya Nitta	出力側に複数のリソースが繋がったイベントチャンネルへの対応．	df5afd1
Naoya Nitta	リソースノードの生成と階層構造が正しくなるようにした．（リソースノード生成の仕様変更を含む．）	a63f71d

Commits on 2023-12-28

Naoya Nitta	親コンポーネントに実装したときにメソッド名が重複してしまうため，updateメソッドの命名規則を変更する．（updateDstFromSrc） ついでに，出力側リソースが複数ある場合のinputメソッドの命名規則も変更する，（inputForDst）	d1ceb41
Naoya Nitta	メソッドが重複して出力される不具合を修正．（ResourceHierarchy単位で出力すべきものをResourceNode単位に出力していたため．）	849b0da
Naoya Nitta	PUSH転送をリソースの階層化に対応させている途中 ・リソースがコンポーネントを持たない場合に，update メソッドが（親コンポーネントに）生成されなかったのを修正． ・リソースがコンポーネントを持たない場合に，親コンポーネントに定義された update メソッド内の状態更新式がおかしかったのを修正． ・転送先リソースがコンポーネントを持たない場合に，転送先リソースの update メソッドを呼び出す実行文がおかしかったのを修正． ・JAX-RSで根リソースに対して定義されているAPIのパスがおかしかったのを修正．	f8c3fa4

Commits on 2023-12-27

Naoya Nitta

入力イベントチャンネルに接続している出力側リソースが複数存在した場合に正しくJAX-RS出力できない不具合を修正 ・JAX-RSの場合，チャンネルセレクターで選択されたリソースを REST API として定義し，そこから他の出力側リソースを呼び出す． ・JAX-RS/Javaいずれの場合でも，異なる出力側のリソースが同じ親コンポーネントに実装され場合，メソッド名が重複しないよう別名にする． ・PUSH転送の場合の状態更新ステートメントが階層化に対応していなかったので，対応させる． ・その他，いくつかの不具合を修正．

abff4c8

Commits on 2023-12-21

Naoya Nitta	Merge pull request #95 from nitta-lab/hieararchicalLayout	38031d4
Hiroki-Maehara	階層構造に対応したレイアウトアルゴリズムに修正 また、Editor.javaでcellの座標の初期値を変更	7aa4b85

Commits on 2023-12-11

Naoya Nitta

- ref側リソースから取得した値を渡す input() メソッドの引数名が正しくなかったのを修正． - input() メソッド内でref側リソースから取得した値を使って状態を更新する際の式が不正だったのを修正． - Javaの場合，mainInput() メソッド内でref側リソースから状態を取得するようにし，JAX-RSの場合，input() メソッド内でref側リソースから状態を取得するようにした．

17a7df4

Commits on 2023-12-10

Naoya Nitta

JumpGame.model の ref ポートが正しくコード出力できなくなってしまったので修正． モデルファイルの init{} が正しく読み込めなくなっていたのを修正． JAX-RS出力で落ちる場合があったのを修正．

3e2f90c

Commits on 2023-12-09

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

Commits on 2023-12-05

Naoya Nitta

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

032aa31

Commits on 2023-12-03

Naoya Nitta

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

b76566b

Commits on 2023-11-12

Naoya Nitta

・Jsonの型推論で落ちる不具合の修正． ・他controlFlowModelingブランチの修正の反映．

9a73b83

Commits on 2023-10-12

Naoya Nitta

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

94563de

Commits on 2023-10-09

okazaki takehiro	Merge pull request #79 from nitta-lab/updateHierarchicalResources	5eca820
Naoya Nitta	JAX-RS 生成への修正の反映忘れ．	01af0c3
Naoya Nitta	・フィールドやコンストラクタの引数が重複して定義される不具合を修正． ・3つ以上引数を与えてインスタンスを生成することができなかったのを修正．	901b589

Commits on 2023-10-08

Naoya Nitta	input メソッドへのアクセサメソッドの引数名がおかしかった不具合を修正．	f279d32
Naoya Nitta	外部リソースにアクセスするためのルートリソースへの参照を初期化できるようにした．（JAX-RSには必要のない処理．）	cbfb8cc
Naoya Nitta	外部リソースへの参照に伴うルートリソース間の参照関係を構築できるようにした．（JAX-RSでは不要な処理．）	630481b
Naoya Nitta	Jsonオブジェクトの生成文をインスタンスの生成文に置き換えるのに失敗している場合があったので修正．	6ac32f6
Naoya Nitta	クラス型のリソースの状態を返す　getter　でコンパイルエラーが起きていたのを出ないようにした．	e67e2bd
Naoya Nitta	JSON型を持つリソースの生成時に，JSONオブジェクトを生成するのではなく対応するクラスのコンストラクタを呼ぶようにした．	06e9c15

Commits on 2023-10-07

Naoya Nitta

コンポーネントを持たないリソース間の状態の更新処理を正しく生成できるようにした．

5b6a476

Commits on 2023-10-06

Naoya Nitta	Javaへの依存部分が残っていたのを修正．	e3c9527
Naoya Nitta	コンストラクタを生成してその中で外部リソースへの参照を初期化できるようにした．	3c089a1

Commits on 2023-10-03

okazakitakehiro

customeroffice.modelの参照線の実装完了しました。

f33fca5

Commits on 2023-10-02

okazaki takehiro	Merge pull request #78 from nitta-lab/updateHierarchicalResources	35357bb
Naoya Nitta	Merge remote-tracking branch 'origin/dynamicResourceCreation' into updateHierarchicalResources	fbde127
Naoya Nitta	チャンネル内リソースからチャンネル外リソースへの依存関係を取得できるメソッドを追加．	d102074

Commits on 2023-10-01

Naoya Nitta	コミット忘れ．	d017748
Naoya Nitta	モデルファイル中のJSONとリストをパースできるようにした．	8b48cb8

Commits on 2023-09-30

Naoya Nitta	MapやJson周りのバグ修正．	abae5cf
Naoya Nitta	チャンネル外部のリソースへの参照を更新できるようにした．	e1c1129

Commits on 2023-09-26

Naoya Nitta

コンポーネントを持たないリソースへの input() メソッド内で，リソースの状態を更新する実行文が追加されていなかったのを修正．

d0e96a7

Commits on 2023-09-25

Naoya Nitta	参照の基づくPULL型転送に対応した． そのために，ChannelMember に ResourcePath　が所属チャンネルのスコープ外にあるかないかを示すフラグを付けた． また，DataTransferChannel の遷移後の状態を計算するメソッドの引数に ResourcePath ではなく ChannelMember を渡すように設計変更した． さらに，スコープ外にある ResourcePath 中の変数に適切な値を代入するメソッドを作成した．	26c11f8
okazakitakehiro	チャンネルのパラメーター表示完了しました	1a11758

Commits on 2023-09-23

Naoya Nitta

階層化したリソース間の参照関係の構築． 項（Term）の文字列出力の誤りの修正． リソースパスの誤りの修正．

75050ef

Commits on 2023-09-22

okazakitakehiro	CustomerOffice.modelのリソース3階層表示を完了しました。	8d10835
okazakitakehiro	CustomerOffice.model内のリソースの3階層表示を完了しました	d0845d8

Commits on 2023-09-03

Naoya Nitta

葉リソースはプロトタイプ生成時にコンポーネント（クラス）を生成しないように仕様変更した．

4c19955

Commits on 2023-08-30

Naoya Nitta

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

ddd5f7b

Commits on 2023-08-28

Naoya Nitta

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

0b72d76

Commits on 2023-08-18

Naoya Nitta	リソース配置時の不具合を修正．	fce756f
Naoya Nitta	input メソッドの実装をリソースの階層化に対応させた．	8a72519
Naoya Nitta	子リソースを取得できるようにした．ResourcePathの登録の不具合を修正した．	abe67e6
Naoya Nitta	getter と input を任意の深さのリソースで宣言できるように改良した．	e252b0b

Commits on 2023-08-17

Naoya Nitta	レイアウトを含むいくつかの不具合を修正	ba7f898
Naoya Nitta	リソースの新しい可視化方法に対応	dec6e20

Commits on 2023-08-16

Naoya Nitta

・Mainクラス，ルートリソースの inputメソッドおよび getメソッドをリソースの階層化に対応． ・階層化の初期テスト用の Account.model を作成．

a216278

Commits on 2023-08-15

Naoya Nitta

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

18e1511

Commits on 2023-08-13

Naoya Nitta

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

a07daa5

Commits on 2023-08-11

Naoya Nitta	リソースの階層化およびパラメータ化を可能にした．	c5c711a
Naoya Nitta	一旦コミット	59b9223

• AlgebraicDataflowArchitectureModel/models/Accounts.model
• AlgebraicDataflowArchitectureModel/models/Algo.model
• AlgebraicDataflowArchitectureModel/models/Algolike.model
• AlgebraicDataflowArchitectureModel/models/Base.model
• AlgebraicDataflowArchitectureModel/models/Bug.model
• AlgebraicDataflowArchitectureModel/models/Clock.dtram
• AlgebraicDataflowArchitectureModel/models/Clock.model
• AlgebraicDataflowArchitectureModel/models/CustomerOffice.model
• AlgebraicDataflowArchitectureModel/models/Game.model
• AlgebraicDataflowArchitectureModel/models/Hello.model
• AlgebraicDataflowArchitectureModel/models/Hello2.model
• AlgebraicDataflowArchitectureModel/models/HelloWorld.model
• AlgebraicDataflowArchitectureModel/models/InventoryManagement.model
• AlgebraicDataflowArchitectureModel/models/JumpGame.model
• AlgebraicDataflowArchitectureModel/models/Kinematics.model
• AlgebraicDataflowArchitectureModel/models/Kinetics.model
• AlgebraicDataflowArchitectureModel/models/NemophilaAccounts.model
• AlgebraicDataflowArchitectureModel/models/OnlineBattleGame.model
• AlgebraicDataflowArchitectureModel/models/POS.dtram
• AlgebraicDataflowArchitectureModel/models/POS.model
• AlgebraicDataflowArchitectureModel/models/POS2.model
• AlgebraicDataflowArchitectureModel/models/SimpleTwitter.model
• AlgebraicDataflowArchitectureModel/models/StockManagement.model
• AlgebraicDataflowArchitectureModel/models/StockManagement2.model
• AlgebraicDataflowArchitectureModel/models/Test.model
• AlgebraicDataflowArchitectureModel/models/TravelDistance.model
• AlgebraicDataflowArchitectureModel/models/Triangle.model
• AlgebraicDataflowArchitectureModel/models/Triangle2.model
• AlgebraicDataflowArchitectureModel/models/Twitter.model
• AlgebraicDataflowArchitectureModel/models/WOS.dtram
• AlgebraicDataflowArchitectureModel/models/WeatherObservationSystem.model
• AlgebraicDataflowArchitectureModel/src/algorithms/DataTransferModelAnalyzer.java
• AlgebraicDataflowArchitectureModel/src/algorithms/TypeInference.java
• AlgebraicDataflowArchitectureModel/src/application/ApplicationMenuBar.java
• AlgebraicDataflowArchitectureModel/src/application/SimulatorWindow.java
• AlgebraicDataflowArchitectureModel/src/application/actions/JavaPrototypeGenerateAction.java
• AlgebraicDataflowArchitectureModel/src/application/actions/JerseyPrototypeGenerateAction.java
• AlgebraicDataflowArchitectureModel/src/application/actions/NewResourceAction.java
• AlgebraicDataflowArchitectureModel/src/application/actions/SimulateAction.java
• AlgebraicDataflowArchitectureModel/src/application/editor/DataTransferModelingCellEditor.java
• AlgebraicDataflowArchitectureModel/src/application/editor/Editor.java
• AlgebraicDataflowArchitectureModel/src/application/editor/InputEventCellEditor.java
• AlgebraicDataflowArchitectureModel/src/application/layouts/DAGLayout.java
• AlgebraicDataflowArchitectureModel/src/code/ast/MethodDeclaration.java
• AlgebraicDataflowArchitectureModel/src/generators/CodeGenerator.java
• AlgebraicDataflowArchitectureModel/src/generators/CodeGeneratorFromDataFlowGraph.java
• AlgebraicDataflowArchitectureModel/src/generators/DataTransferMethodAnalyzer.java
• AlgebraicDataflowArchitectureModel/src/generators/ILanguageSpecific.java
• AlgebraicDataflowArchitectureModel/src/generators/JavaCodeGenerator.java
• AlgebraicDataflowArchitectureModel/src/generators/JavaMethodBodyGenerator.java
• AlgebraicDataflowArchitectureModel/src/generators/JavaSpecific.java
• AlgebraicDataflowArchitectureModel/src/generators/JerseyCodeGenerator.java
• AlgebraicDataflowArchitectureModel/src/generators/JerseyMethodBodyGenerator.java
• AlgebraicDataflowArchitectureModel/src/models/algebra/Constant.java
• AlgebraicDataflowArchitectureModel/src/models/algebra/Expression.java
• AlgebraicDataflowArchitectureModel/src/models/algebra/LambdaAbstraction.java
• AlgebraicDataflowArchitectureModel/src/models/algebra/Position.java
• AlgebraicDataflowArchitectureModel/src/models/algebra/Symbol.java
• AlgebraicDataflowArchitectureModel/src/models/algebra/Term.java
• AlgebraicDataflowArchitectureModel/src/models/algebra/Type.java
• AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/Channel.java
• AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/ChannelMember.java
• AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java
• AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/JsonAccessor.java
• AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/JsonType.java
• AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/ResourceHierarchy.java
• AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/ResourcePath.java
• AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/Selector.java
• AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/StateTransition.java
• AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/StateTransitionTerm.java
• AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/ChannelNode.java
• AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/DataFlowEdge.java
• AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/DataFlowGraph.java
• AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/DataTransferChannel.java
• AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/DataTransferModel.java
• AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/ModelExtension.java
• AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/ReferenceEdge.java
• AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/ResourceNode.java
• AlgebraicDataflowArchitectureModel/src/models/visualModel/FormulaChannel.java
• AlgebraicDataflowArchitectureModel/src/parser/Parser.java
• AlgebraicDataflowArchitectureModel/src/parser/ParserDTRAM.java
• AlgebraicDataflowArchitectureModel/src/parser/exceptions/ExpectedColon.java
• AlgebraicDataflowArchitectureModel/src/parser/exceptions/ExpectedInOrOutOrRefKeyword.java
• AlgebraicDataflowArchitectureModel/src/parser/exceptions/ExpectedInOrOutOrRefOrSubKeyword.java
• AlgebraicDataflowArchitectureModel/src/parser/exceptions/ExpectedRightCurlyBracket.java
• AlgebraicDataflowArchitectureModel/src/parser/exceptions/WrongJsonExpression.java
• AlgebraicDataflowArchitectureModel/src/parser/exceptions/WrongPathExpression.java
• AlgebraicDataflowArchitectureModel/src/simulator/ChannelState.java
• AlgebraicDataflowArchitectureModel/src/simulator/Event.java
• AlgebraicDataflowArchitectureModel/src/simulator/Resource.java
• AlgebraicDataflowArchitectureModel/src/simulator/ResourceIdentifier.java
• AlgebraicDataflowArchitectureModel/src/simulator/Simulator.java
• AlgebraicDataflowArchitectureModel/src/simulator/SystemState.java
• AlgebraicDataflowArchitectureModel/src/simulator/states/CompositeResourceState.java
• AlgebraicDataflowArchitectureModel/src/simulator/states/JsonResourceState.java
• AlgebraicDataflowArchitectureModel/src/simulator/states/ListResourceState.java
• AlgebraicDataflowArchitectureModel/src/simulator/states/MapResourceState.java
• AlgebraicDataflowArchitectureModel/src/simulator/states/PrimitiveResourceState.java
• AlgebraicDataflowArchitectureModel/src/simulator/states/ResourceState.java
• AlgebraicDataflowArchitectureModel/src/simulator/states/State.java
• AlgebraicDataflowArchitectureModel/src/tests/CodeGeneratorTest.java
• AlgebraicDataflowArchitectureModel/src/tests/DataConstraintModelTest.java
• AlgebraicDataflowArchitectureModel/src/tests/DataFlowModelTest.java
• AlgebraicDataflowArchitectureModel/src/tests/DataStorageDecisionTest.java
• AlgebraicDataflowArchitectureModel/src/tests/DataStorageNecessityTest.java
• AlgebraicDataflowArchitectureModel/src/tests/DataTransferModelTest.java
• AlgebraicDataflowArchitectureModel/src/tests/EdgeTransitionSelectableTest.java
• AlgebraicDataflowArchitectureModel/src/tests/FormulaChannelTest.java
• AlgebraicDataflowArchitectureModel/src/tests/InverseTest.java
• AlgebraicDataflowArchitectureModel/src/tests/SimplifiedDataFlowModelTest.java
• AlgebraicDataflowArchitectureModel/src/tests/SimulatorTest.java
• AlgebraicDataflowArchitectureModel/src/tests/UpdateCodeGenerationTest.java
• AlgebraicDataflowArchitectureModel/src/tests/UpdateConflictCheckTest.java
• AlgebraicDataflowArchitectureModel/src/tests/parser/ParseTest.java

Showing you all comments on commits in this comparison.