| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Clafer.ClaferArgs
Description
Command Line Arguments of the compiler.
See also a model of the arguments in Clafer, including constraints and examples.
- data ClaferMode
- data ScopeStrategy
- 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
data ScopeStrategy Source
Scope inference strategy
data ClaferArgs Source
Constructors
| ClaferArgs | |
Fields
| |
Instances
mergeArgs :: ClaferArgs -> ClaferArgs -> ClaferArgs Source
mainArgs :: IO (ClaferArgs, String) Source
retrieveModelFromURL :: String -> IO String Source
argsWithOPTIONS :: ClaferArgs -> String -> ClaferArgs Source