| Safe Haskell | None |
|---|
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)
- argsWithOPTIONS :: ClaferArgs -> String -> ClaferArgs
- defaultClaferArgs :: ClaferArgs
Documentation
data ClaferMode Source
Type of output to be generated at the end of compilation
Instances
| Eq ClaferMode | |
| Data ClaferMode | |
| Ord ClaferMode | |
| Show ClaferMode | |
| Typeable ClaferMode | |
| Default ClaferMode |
data ClaferArgs Source
Constructors
| ClaferArgs | |
Fields
| |
Instances
mergeArgs :: ClaferArgs -> ClaferArgs -> ClaferArgsSource
mainArgs :: IO (ClaferArgs, String)Source
argsWithOPTIONS :: ClaferArgs -> String -> ClaferArgsSource