Evaというツールのダウンロード : 3.31追加

ダウンロード
Eva.exe ver0.1 Evaの操作のツールです。
タイマー関係の機能をアップデート
Eva.exe
exe ファイル 118.0 KB
ダウンロード
Eva.exeのソースコード
オープンソースということで公開します。
eva01.zip
zip ( 圧縮 ) ファイル 16.9 KB
ダウンロード
読み込むべき例題のファイルです Resetを追加しました。
拡張子をevaにしようかと思いましたが、やりとりが面倒になるのでtxtにしました。メモ帳などで開いて読むこともできます。条件として、文字コードはUTF16LEにしないといけません。
threeR.txt
テキスト文書 1.1 KB
ダウンロード
signal.txt : 信号機のデモです
単独で赤青黄と変わります。意味ないですけどね。
signal.txt
テキスト文書 664 Bytes
ダウンロード
signal2.txt : 2つの信号機
2つの信号機が非同期に赤青黄と変わります。非同期では意味ないですけどね。次回にご期待を
signal2.txt
テキスト文書 1.3 KB

なお、中身は次のようなものです。この言語をA言語と呼ぶことにします。信号機の方は省略します。テキストファイルなので、見たい方はメモ帳などでどうぞ。

 

State(start, wait, over, yes, no)

 

Eva(100,100)

{

  Case(start)

  {

    Text("Click here")

    Click

    {

      Jump(wait)

    }

  }

  Case(wait)

  {

    Text("Yes: Enter  No:Esc")

    Timer(3000)

    {

      Jump(over)

    }

    Key(Enter)

    {

      Jump(yes)

    }

    Key(Esc)

    {

      Jump(no)

    }

  }

  Case(over)

  {

    Text("Time Over")

  }

  Case(yes)

  {

    Text("Hello, world")

  }

  Case(no)

  {

    Text("Goodbye Honey")

  }

}

 

// 以下は追加です

 

Eva(100, 200)

{

  Text("Reset")

  Click

  {

    Jump(start)

  }

}

 

これは次のようなチャートをそのままコードにしたものです。リセットは別のオートマトンになりますが、ステートはグローバルになります。このあたりの意味論が結構難しいのですが、順次説明していく予定です。

ちなみに、信号機はステートがローカルになります。Eva.exeのコードを見ると、その辺のややこしさが分かります。チャートは省略しますが、いたって簡単です。プログラムは難解ですけど。


メモ: * は入力必須項目です

プロフィール 

   システムクリエイター   神野勇気 (Yuki Kamino)    愛称 ゆっきい! (Yukkie!)  境界領域のスペシャリスト  166cm

 好きな将棋の駒 歩  座右の銘 と金の遅早   好きな音楽 トリスタン前奏曲とイゾルデの愛の死 あるいは

 ワルキューレの第一幕、熱いワーグナーの美味しいとこだけ、シェーンベルクも好きだけど、こちらは冷たい。

 学際学の会(Mediological Sociecy)の提唱者 … 単なる任意団体なのだ。提唱者とは言ったもん勝ちということ。