エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
Unicode対応版Alloy - Alloy Analyzer で形式仕様記述
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Unicode対応版Alloy - Alloy Analyzer で形式仕様記述
#javascript(){{ }} *Unicode対応版Alloy #image(スクリーンショット(2010-12-09 23.01.00).png, widt... #javascript(){{ }} *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形式