モデル記述ファイルの場所

[Masayuki Hiyama]

Alloyのツールの使い方がどうもよくわからない檜山です。

.alsファイルの物理的置き場所とモジュールパスの関係／解決方法は『抽象に
よるソフトウェア設計』p.324に書いてあります。基点となるモジュールがあれ
ば、あの解決法なんでしょうが、最初に File-Open したときはどうなるんでしょ
う？

いつもホームディレクトリのダイアログが出て、その後のディレクトリ移動が
めんどくさい。環境変数とかないんでしょうかね。javaだから、propertiesと
かpreferencesか？

なんでもいいですが、この場所からモデル記述（.als）ファイルを探すとか、
前回と同じディレクトリから始める、とかできないのでしょうか。

--
檜山正幸 (HIYAMA Masayuki)

http://d.hatena.ne.jp/m-hiyama/
http://www.chimaira.org/

[Takeo Imai]

今井です。

2011/7/26 Masayuki Hiyama <m.hi...@gmail.com>:

> 最初に File-Open したときはどうなるんでしょ
> う？
>
> いつもホームディレクトリのダイアログが出て、その後のディレクトリ移動が
> めんどくさい。環境変数とかないんでしょうかね。javaだから、propertiesと
> かpreferencesか？

Javaの user.home プロパティです。

なので、 java -Duser.home=XXX -jar alloy4.2-rc.jar などとして起動すれば、ディレクトリXXXから開始できます。

--
IMAI Takeo <takeo...@gmail.com>

[Masayuki Hiyama]

2011年7月26日15:27 Takeo Imai <takeo...@gmail.com>:

> java -Duser.home=XXX -jar alloy4.2-rc.jar などとして起動すれば、

そういうことになりますか。ということは、XXXの値を環境変数から取るシェ
ルスクリプト経由で起動とか、、、ですかね。

[Takeo Imai]

2011/7/26 Masayuki Hiyama <m.hi...@gmail.com>:

> そういうことになりますか。ということは、XXXの値を環境変数から取るシェ
> ルスクリプト経由で起動とか、、、ですかね。

そこまでしなくても、例えばWindowsなら、java -Duser.home=%DIR% -jar ...
とすれば、環境変数DIRの値を拾ってくれませんかね？
それをショートカットなりバッチファイルに書いておけばよいと思います。

--
IMAI Takeo <takeo...@gmail.com>

[Masayuki Hiyama]

2011年7月26日17:21 Takeo Imai <takeo...@gmail.com>:
>
> そこまでしなくても、

特にめんどうなことはしてません、

> 例えばWindowsなら、java -Duser.home=%DIR% -jar ...
> とすれば、環境変数DIRの値を拾ってくれませんかね？
> それをショートカットなりバッチファイルに書いておけばよいと思います。

もともとそういう意味ですよ。

こんなんしました。

@echo off
rem invoke Alloy Analyzer 4
setlocal

if "%HOME%"=="" goto ConstructHome
set _HOME=%HOME%
goto ModelDir

:ConstructHome
set _HOME=%HOMEDRIVE%%HOMEPATH%
goto ModelDir

:ModelDir
if "%ALLOY_MODELS%"=="" goto DefaultModelDir
set _ALLOY_MODELS=%ALLOY_MODELS%
goto Invoke

:DefaultModelDir
set _ALLOY_MODELS=%_HOME%/Alloy/models

:Invoke
echo javaw -Duser.home=%_ALLOY_MODELS% -jar %_HOME%/Alloy/alloy4.2-rc.jar
start javaw -Duser.home=%_ALLOY_MODELS% -jar %_HOME%/Alloy/alloy4.2-rc.jar