Help us understand the problem. What is going on with this article?

Alloy Analyzerの開発環境をVSCodeで構築

More than 1 year has passed since last update.

この記事はGoodpatch Advent Calendar 2018 2日目の記事です。

昨年は仕様記述・検証ツールのAlloy Analyzerでこんな記事を書いてました。
Alloy Analyzerでデータモデルのプロトタイピング - Qiita

データモデルの設計も実装の詳細を考える前にプロトタイピングしてアイデアを素早く検証しよう

この時点ではAlloyのセットアップは公式サイトからjarファイルをダウンロードしてくるというちょっと煩雑な手順でしたが、現在ではVSCodeの拡張をインストールするだけで即実行することができます!

Dec-02-2018 22-28-22.gif

拡張の作者がAlloyのLanguage Server Protocol対応をしていて、ビルド済みのjarファイルが拡張にバンドルされて一緒にインストールされます。
現段階では独自にカスタマイズされたバージョンになりますが、Alloyの本家MLでは本体にマージされる方向で話が進んでいます。
VS Code extension - Google Groups (要グループ参加)

この拡張は単にAlloyをバンドルしているというだけでなくエディターと協調して動作するよう統合されています。

  • ショートカット(Ctrl+Shift+A E)やGUI操作によるAlloyコマンドの実行
  • インスタンスや反例などの解析結果の表示
  • シンタックス/コンパイルエラー表示
  • 定義へジャンプ
  • 参照を検索
  • ファイルをまたいだリネーム
  • アウトライン表示 / シンボルへジャンプ

Swingで作られたAlloy付属のエディターは正直使いづらくAlloy布教の障害となっていたのですが、この拡張のおかげで革命的に書きやすくトライ&エラーがサクサクできるようになりました。

環境が整ったところで、次回の投稿でAlloy Analyzerを用いたUI仕様記述に進んでみようと思います(12/9を予定)。

goodpatch
Goodpatch(株式会社グッドパッチ)は東京、ベルリン、台北にあるWeb / iOS / AndroidなどマルチデバイスアプリケーションのUIデザイン会社です。サービスやプロダクトの企画設計から関わりコンセプトメイキング、UX設計、プロトタイピング、UIデザイン、実装までワンストップで提供しています。
https://goodpatch.com/
Why not register and get more from Qiita?
  1. We will deliver articles that match you
    By following users and tags, you can catch up information on technical fields that you are interested in as a whole
  2. you can read useful information later efficiently
    By "stocking" the articles you like, you can search right away
Comments
No comments
Sign up for free and join this conversation.
If you already have a Qiita account
Why do not you register as a user and use Qiita more conveniently?
You need to log in to use this function. Qiita can be used more conveniently after logging in.
You seem to be reading articles frequently this month. Qiita can be used more conveniently after logging in.
  1. We will deliver articles that match you
    By following users and tags, you can catch up information on technical fields that you are interested in as a whole
  2. you can read useful information later efficiently
    By "stocking" the articles you like, you can search right away
ユーザーは見つかりませんでした