「Unicode対応版Alloy」の編集履歴（バックアップ）一覧はこちら

「Unicode対応版Alloy」(2010/12/13 (月) 17:39:49) の最新版変更点

追加された行は緑色になります。

削除された行は赤色になります。

*Unicode対応版Alloy
#image(スクリーンショット（2010-12-09 23.01.00）.png, width=600)
#image(スクリーンショット（2010-12-09 23.01.04）.png, width=500)

** 説明
Alloy4.1.10をUnicodeに対応させました。~
Alloyの記述 (sig名とか、pred名など) で日本語などが使えます。~
注意:Alloyのインターフェースはは英語のままです。~
~
対応しているUnicode文字は、既存の文字のほかに0x0080~0xFFFFまでです。~
注意:文字以外のコード(0xFFFF)などを入力したときに、何が起きるかは検証してません。~
自己責任でご利用ください。~
~
サロゲートペアは対応していません。~
サロゲートペアの文字を含むUTF-8形式のファイルを読み込み、かつ対応しているフォントを指定すれば、エディタ上では表示され、コンパイルできます。~
ただし、Visualizerの方では文字化けして表示されません。~

** ダウンロード
[[Mac版>https://docs.google.com/leaf?id=0B2_NQeVKpEbEMWNmMmU1YWMtODhiZC00MDUwLThiYjQtNzZjZmI3YzI2MzNh&hl=en]]~
[[その他OS版>https://docs.google.com/leaf?id=0B2_NQeVKpEbEOGNlYmI3YzQtNDZmNS00OWYyLWEyOGMtMjljZDM2YjE4ZDRm&hl=en]]~

** ソースコード
修正したファイルは、以下の2つです。~
- [[Alloy.flex>Alloy.flex]]~
オリジナルのファイルはAlloy.lexですが、JFlexで使えるように、拡張子を変えています。

- [[CompLexer.java>CompLexer.java]]~
Alloy.flexをJFlexでコンパイルし、ビルドが通るように修正したものです。~

** ご注意
このソフトウェアによって何が起きても責任は負いません。~
Javaが動作する環境が必要です。~
~
~
~
~
~
~
~
~
~
~
&counter()
----

#javascript(){{
<script type="text/javascript">

  var _gaq = _gaq || [];
  _gaq.push(['_setAccount', 'UA-20218017-1']);
  _gaq.push(['_trackPageview']);

  (function() {
    var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
    ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
    var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
  })();

</script>
}}
*Unicode対応版Alloy
#image(スクリーンショット（2010-12-09 23.01.00）.png, width=600)
#image(スクリーンショット（2010-12-09 23.01.04）.png, width=500)

** 説明
Alloy4.1.10をUnicodeに対応させました。~
Alloyの記述 (sig名とか、pred名など) で日本語などが使えます。~
注意:Alloyのインターフェースはは英語のままです。~
~
対応しているUnicode文字は、既存の文字のほかに0x0080~0xFFFFまでです。~
注意:文字以外のコード(0xFFFF)などを入力したときに、何が起きるかは検証してません。~
自己責任でご利用ください。~
~
サロゲートペアは対応していません。~
サロゲートペアの文字を含むUTF-8形式のファイルを読み込み、かつ対応しているフォントを指定すれば、エディタ上では表示され、コンパイルできます。~
ただし、Visualizerの方では文字化けして表示されません。~

** ダウンロード
[[Mac版>https://docs.google.com/leaf?id=0B2_NQeVKpEbEMWNmMmU1YWMtODhiZC00MDUwLThiYjQtNzZjZmI3YzI2MzNh&hl=en]]~
[[その他OS版>https://docs.google.com/leaf?id=0B2_NQeVKpEbEOGNlYmI3YzQtNDZmNS00OWYyLWEyOGMtMjljZDM2YjE4ZDRm&hl=en]]~

** ソースコード
修正したファイルは、以下の2つです。~
- [[Alloy.flex>Alloy.flex]]~
オリジナルのファイルはAlloy.lexですが、JFlexで使えるように、拡張子を変えています。

- [[CompLexer.java>CompLexer.java]]~
Alloy.flexをJFlexでコンパイルし、ビルドが通るように修正したものです。~

** ご注意
このソフトウェアによって何が起きても責任は負いません。~
Javaが動作する環境が必要です。~
~
~
~
~
~
~
~
~
~
~
&counter()
----