Added bosy to format list

README

@@ -1,5 +1,5 @@
 # Synthesis Format Conversion Tool
-# (Version 1.0.0.25)
+# (Version 1.0.0.26)
 
 A tool for reading, manipulating and transforming synthesis
 specifications in TLSF [0].
@@ -111,6 +111,7 @@ syfco [OPTIONS]... <file>
     * slugsin                    : SlugsIn format [GR(1) only]
     * psl                        : PSL Syntax
     * smv                        : SMV file format
+    * bosy                       : Bosy input format
 
   -m, --mode                     : output mode - possible values are:
 

README.md

@@ -1,4 +1,4 @@
-# Synthesis Format Conversion Tool<br/>(Version 1.0.0.25)
+# Synthesis Format Conversion Tool<br/>(Version 1.0.0.26)
 
 A tool for reading, manipulating and transforming synthesis
 specifications in [TLSF](https://arxiv.org/abs/1604.02284).
@@ -88,7 +88,7 @@ If you still encounter any problems, please inform us via the
 |```-o, --output```|path of the output file (results are printed to STDOUT if not set)|
 |```-r, --read-config```|read parameters from the given configuration file (may overwrite prior arguments)|
 |```-w, --write-config```|write the current configuration to the given path (includes later arguments)|
-|```-f, --format```|output format - possible values are:</br> <table><tbody> <tr><td>```full```</td><td>input file with applied transformations (default)</td></tr><tr><td>```basic```</td><td>high level format (without global section)</td></tr><tr><td>```utf8```</td><td>human readable output using UTF8 symbols</td></tr><tr><td>```wring```</td><td>Wring input format</td></tr><tr><td>```lily```</td><td>Lily input format</td></tr><tr><td>```acacia```</td><td>Acacia / Acacia+ input format</td></tr><tr><td>```acacia-specs```</td><td>Acacia input format with spec units</td></tr><tr><td>```ltlxba```</td><td>LTL2BA / LTL3BA input format</td></tr><tr><td>```promela```</td><td>Promela LTL</td></tr><tr><td>```unbeast```</td><td>Unbeast input format</td></tr><tr><td>```slugs```</td><td>structured Slugs format [GR(1) only]</td></tr><tr><td>```slugsin```</td><td>SlugsIn format [GR(1) only]</td></tr><tr><td>```psl```</td><td>PSL Syntax</td></tr><tr><td>```smv```</td><td>SMV file format</td></tr> </tbody></table>|
+|```-f, --format```|output format - possible values are:</br> <table><tbody> <tr><td>```full```</td><td>input file with applied transformations (default)</td></tr><tr><td>```basic```</td><td>high level format (without global section)</td></tr><tr><td>```utf8```</td><td>human readable output using UTF8 symbols</td></tr><tr><td>```wring```</td><td>Wring input format</td></tr><tr><td>```lily```</td><td>Lily input format</td></tr><tr><td>```acacia```</td><td>Acacia / Acacia+ input format</td></tr><tr><td>```acacia-specs```</td><td>Acacia input format with spec units</td></tr><tr><td>```ltlxba```</td><td>LTL2BA / LTL3BA input format</td></tr><tr><td>```promela```</td><td>Promela LTL</td></tr><tr><td>```unbeast```</td><td>Unbeast input format</td></tr><tr><td>```slugs```</td><td>structured Slugs format [GR(1) only]</td></tr><tr><td>```slugsin```</td><td>SlugsIn format [GR(1) only]</td></tr><tr><td>```psl```</td><td>PSL Syntax</td></tr><tr><td>```smv```</td><td>SMV file format</td></tr><tr><td>```bosy```</td><td>Bosy input format</td></tr> </tbody></table>|
 |```-m, --mode```|output mode - possible values are:</br> <table><tbody> <tr><td>```pretty```</td><td>pretty printing (as less parentheses as possible) (default)</td></tr><tr><td>```fully```</td><td>output fully parenthesized formulas</td></tr> </tbody></table>|
 |```-pf, --part-file```|create a partitioning (```.part```) file|
 |```-bd, --bus-delimiter```|delimiter used to print indexed bus signals</br> (default: ```_```)|

src/Info.hs

@@ -8,6 +8,17 @@
 --
 -----------------------------------------------------------------------------
 
+{-# LANGUAGE
+
+    LambdaCase
+  , MultiParamTypeClasses
+  , TypeSynonymInstances
+  , FlexibleContexts
+
+  #-}
+
+-----------------------------------------------------------------------------
+
 module Info
   ( prTitle
   , prDescription
@@ -31,6 +42,8 @@ import Syfco
   ( Configuration(..)
   , Semantics(..)
   , Target(..)
+  , WriteFormat(..)
+  , WriteMode(..)
   , Specification
   , defaultCfg
   , title
@@ -44,6 +57,11 @@ import Syfco
   , version
   )
 
+import Data.Convertible
+  ( Convertible
+  , convert
+  )
+
 import Data.Array
   ( (!)
   )
@@ -469,38 +487,42 @@ usage m =
          [ "display this help" ]) ]
 
     formats =
-      [ ("full", True,
+      [ (convert FULL, True,
          ["input file with applied transformations"])
-      , ("basic", False,
+      , (convert BASIC, False,
          ["high level format (without global section)"])
-      , ("utf8", False,
+      , (convert UTF8, False,
          ["human readable output using UTF8 symbols"])
-      , ("wring", False,
+      , (convert WRING, False,
          ["Wring input format"])
-      , ("lily", False,
+      , (convert LILY, False,
          ["Lily input format"])
-      , ("acacia", False,
+      , (convert ACACIA, False,
          ["Acacia / Acacia+ input format"])
-      , ("acacia-specs", False, ["Acacia input format with spec units"])
-      , ("ltlxba", False,
+      , (convert ACACIASPECS, False,
+         ["Acacia input format with spec units"])
+      , (convert LTLXBA, False,
          ["LTL2BA / LTL3BA input format"])
-      , ("promela", False,
+      , (convert PROMELA, False,
          ["Promela LTL"])
-      , ("unbeast", False,
+      , (convert UNBEAST, False,
          ["Unbeast input format"])
-      , ("slugs", False,
+      , (convert SLUGS, False,
          ["structured Slugs format [GR(1) only]"])
-      , ("slugsin", False,
+      , (convert SLUGSIN, False,
          ["SlugsIn format [GR(1) only]"])
-      , ("psl", False,
+      , (convert PSL, False,
          ["PSL Syntax"])
-      , ("smv", False,
-         ["SMV file format"]) ]
+      , (convert SMV, False,
+         ["SMV file format"])
+      , (convert BOSY, False,
+         ["Bosy input format"])
+      ]
 
     modes =
-      [ ("pretty", True,
+      [ (convert Pretty, True,
          ["pretty printing (as less parentheses as possible)"])
-      , ("fully", False,
+      , (convert Fully, False,
          ["output fully parenthesized formulas"]) ]
 
 -----------------------------------------------------------------------------

syfco.cabal

@@ -1,5 +1,5 @@
 name:                syfco
-version:             1.0.0.25
+version:             1.0.0.26
 synopsis:            Synthesis Format Conversion Tool / Library
 description:         Library and tool for reading, manipulating and transforming synthesis specifications.
 license:             MIT