عکس hadisfr
an example IntelliJ project to Alloy5 Java APIJava
موضوع‌ها
۰
فورک‌ها
۰
ستاره‌ها
۴
تاریخ ایجاد
۹ آذر ۱۳۹۸
آخرین بروزرسانی
بیشتر از ۲ سال قبل

Alloy Java API Example

To use Alloy Java API, you can use an IntelliJ project structure like this one.

The example files are taken from http://alloy.lcs.mit.edu/alloy/alloy-api-examples.html and https://alloytools.org/tutorials/online/frame-FS-7.html.

Adding Alloy jar dependency to project is possible by the following steps: [+]

  • open File menu
  • go to Project Structure
  • select Modules section
  • go to Dependencies tab
  • add a JAR or directories... dependency by + button
  • select Alloy jar file