ToAlloy.createAlloyFile - ontological-behavior-modeling/tester GitHub Wiki

flowchart TD
  A(Start) --> B(Create Command)
  B --> C(Create Commands Array)
  C --> D(Create Alloy Module)
  D --> E(Create Translator)
  E --> F{{outputFile != null?}}
  F -- yes --> G(Get File Absolute Path)
  G --> H(Generate ALS File Contents)
  H --> I(Return Output File Name)
  F -- no --> J(Return String No Output)
  J --> K{ }
  I --> K
  K --> L((End))