Language.Clafer.ClaferArgs

Command Line Arguments of the compiler.

See also a model of the arguments in Clafer, including constraints and examples.

Documentation

data ClaferMode

Type of output to be generated at the end of compilation

Constructors

Alloy

JSON

Clafer

Html

Graph

CVLGraph

Choco

Instances

Eq ClaferMode

Methods

(==) :: ClaferMode -> ClaferMode -> Bool

(/=) :: ClaferMode -> ClaferMode -> Bool

Data ClaferMode

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ClaferMode -> c ClaferMode

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ClaferMode

toConstr :: ClaferMode -> Constr

dataTypeOf :: ClaferMode -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ClaferMode)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ClaferMode)

gmapT :: (forall b. Data b => b -> b) -> ClaferMode -> ClaferMode

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ClaferMode -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ClaferMode -> r

gmapQ :: (forall d. Data d => d -> u) -> ClaferMode -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ClaferMode -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ClaferMode -> m ClaferMode

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ClaferMode -> m ClaferMode

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ClaferMode -> m ClaferMode

Ord ClaferMode

Methods

compare :: ClaferMode -> ClaferMode -> Ordering

(<) :: ClaferMode -> ClaferMode -> Bool

(<=) :: ClaferMode -> ClaferMode -> Bool

(>) :: ClaferMode -> ClaferMode -> Bool

(>=) :: ClaferMode -> ClaferMode -> Bool

max :: ClaferMode -> ClaferMode -> ClaferMode

min :: ClaferMode -> ClaferMode -> ClaferMode

Show ClaferMode

Methods

showsPrec :: Int -> ClaferMode -> ShowS

show :: ClaferMode -> String

showList :: [ClaferMode] -> ShowS

Default ClaferMode

Methods

def :: ClaferMode

data ScopeStrategy

Scope inference strategy

Constructors

None

Simple

Instances

Eq ScopeStrategy

Methods

(==) :: ScopeStrategy -> ScopeStrategy -> Bool

(/=) :: ScopeStrategy -> ScopeStrategy -> Bool

Data ScopeStrategy

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ScopeStrategy -> c ScopeStrategy

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ScopeStrategy

toConstr :: ScopeStrategy -> Constr

dataTypeOf :: ScopeStrategy -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ScopeStrategy)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ScopeStrategy)

gmapT :: (forall b. Data b => b -> b) -> ScopeStrategy -> ScopeStrategy

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ScopeStrategy -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ScopeStrategy -> r

gmapQ :: (forall d. Data d => d -> u) -> ScopeStrategy -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ScopeStrategy -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ScopeStrategy -> m ScopeStrategy

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ScopeStrategy -> m ScopeStrategy

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ScopeStrategy -> m ScopeStrategy

Show ScopeStrategy

Methods

showsPrec :: Int -> ScopeStrategy -> ShowS

show :: ScopeStrategy -> String

showList :: [ScopeStrategy] -> ShowS

Default ScopeStrategy

Methods

def :: ScopeStrategy

data ClaferArgs

Constructors

ClaferArgs

Fields

• 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
• validate :: 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
• meta_data :: Bool
• file :: FilePath

Instances

Eq ClaferArgs

Methods

(==) :: ClaferArgs -> ClaferArgs -> Bool

(/=) :: ClaferArgs -> ClaferArgs -> Bool

Data ClaferArgs

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ClaferArgs -> c ClaferArgs

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ClaferArgs

toConstr :: ClaferArgs -> Constr

dataTypeOf :: ClaferArgs -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ClaferArgs)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ClaferArgs)

gmapT :: (forall b. Data b => b -> b) -> ClaferArgs -> ClaferArgs

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ClaferArgs -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ClaferArgs -> r

gmapQ :: (forall d. Data d => d -> u) -> ClaferArgs -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ClaferArgs -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ClaferArgs -> m ClaferArgs

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ClaferArgs -> m ClaferArgs

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ClaferArgs -> m ClaferArgs

Show ClaferArgs

Methods

showsPrec :: Int -> ClaferArgs -> ShowS

show :: ClaferArgs -> String

showList :: [ClaferArgs] -> ShowS

clafer :: ClaferArgs

mergeArgs :: ClaferArgs -> ClaferArgs -> ClaferArgs

mainArgs :: IO (ClaferArgs, String)

retrieveModelFromURL :: String -> IO String

argsWithOPTIONS :: ClaferArgs -> String -> ClaferArgs

defaultClaferArgs :: ClaferArgs