Language.Clafer.ClaferArgs

Description

Synopsis

• data ClaferMode
  • = Alloy42
  • | Alloy
  • | Xml
  • | Clafer
  • | Html
  • | Graph
  • | CVLGraph
  • | Python
  • | Choco
• data ScopeStrategy
  • = None
  • | Simple
• data ClaferArgs = ClaferArgs {
  • mode :: [ClaferMode]
  • console_output :: Bool
  • flatten_inheritance :: Bool
  • timeout_analysis :: Int
  • no_layout :: Bool
  • new_layout :: Bool
  • check_duplicates :: Bool
  • skip_resolver :: Bool
  • keep_unused :: Bool
  • no_stats :: Bool
  • schema :: Bool
  • validate :: Bool
  • noalloyruncommand :: Bool
  • tooldir :: FilePath
  • alloy_mapping :: Bool
  • self_contained :: Bool
  • add_graph :: Bool
  • show_references :: Bool
  • add_comments :: Bool
  • ecore2clafer :: Bool
  • scope_strategy :: ScopeStrategy
  • afm :: Bool
  • skip_goals :: Bool
  • meta_data :: Bool
  • file :: FilePath
  }
• clafer :: ClaferArgs
• mergeArgs :: ClaferArgs -> ClaferArgs -> ClaferArgs
• mainArgs :: IO (ClaferArgs, String)
• retrieveModelFromURL :: String -> IO String
• argsWithOPTIONS :: ClaferArgs -> String -> ClaferArgs
• defaultClaferArgs :: ClaferArgs

Documentation