Sidebar

Main

Internal

Trace:

Differences

This shows you the differences between two versions of the page.

--- alvis:compiler [2017/01/13 01:02]
marcin
+++ alvis:compiler [2021/09/23 08:51] (current)
@@ Line 18: / Line 18: @@
 <code>
 $> alvisc -h
-usage: alvisc file [--force-generator] [--force-tree-parsing] [-h] [-m
+usage: alvisc file [-ald] [-b <arg>] [-csv] [-dot] [--force-generator]
-       <arg>] [-nt] [-o <file>] [-v] [-vm]
+       [--force-tree-parsing] [-h] [-m <arg>] [-nt] [-o <file>] [-p <arg>]
+       [-p1] [-p2] [-sim] [-v] [-vm]
+ -ald,--aldebaran          uses code for generating Aldebaran output
+ -b,--backend-mode <arg>   switches backend generator. Standard is
+                           "default", there is "debug" versionas well.
+ -csv,--csv                uses code for generating CSV output
+ -dot,--dot                uses code for generating DOT output
     --force-generator      forces compiler to generate output even though
                            compiler met syntactic errors. This option can
@@ Line 27: / Line 33: @@
                            produce compiler crash.
  -h,--help                 print this message
- -m,--backend-mode <arg>   switches backend generator. Standard is
+ -m,--main <arg>           uses code for generating output from given path
-                           "default", there is "debug" versionas well.
  -nt,--no-time             no time
  -o <file>                 place the output into <file>
+ -p,--priority <arg>       uses priority algorithm form given path
+ -p1,--priority-p1         uses priority algorithm form priority_p1.hs
+ -p2,--priority-p2         uses priority algorithm form priority_p1.hs
+ -sim,--simulation         uses code for generating simulator
  -v,--version              print version information
  -vm,--verbose-messages    switches on printing additional information
@@ Line 43: / Line 52: @@
   * commands:
     * **out** //constant//
-  * environment specification,
   * hierarchical agents - The flat version of the model must be generated before compilation.
@@ Line 56: / Line 64: @@
 </code>
+==== Compiler options and files ====
+Several compiler options allow to configure the output Haskell program.
+The most basic option is for choosing to use //time// (default) or //non-time// (''--no-time'') Alvis version. Resulting programs will use some different data types and algorithms. The second basic option is for choosing to generate standard LTS-printing program (default) or a model simulator (''--simulation''). Other options allow to select desired format that the resulting program will print (''--dot'', ''--csv'', ''--aldebaran'' or ''--main path/to/code.hs'' for an user-defined format) or the priority algorithm to use (''--priority-p1'', ''--priority-p2'' or ''--priority path/to/code.hs'' for an user-defined algorithm).
+The standard compiler package comes with //compiler-files// directory, containing files with Haskell code that the compiler uses, depending on the given options.