Safe Haskell	Safe-Inferred
Language	Haskell2010

Modelling.ActivityDiagram.SelectAS

Synopsis

data SelectASInstance = SelectASInstance {
- activityDiagram :: UMLActivityDiagram
- actionSequences :: Map Int (Bool, [String])
- drawSettings :: PlantUmlConfig
- showSolution :: Bool
- addText :: ExtraText
}
data SelectASConfig = SelectASConfig {
- adConfig :: AdConfig
- hideBranchConditions :: Bool
- maxInstances :: Maybe Integer
- objectNodeOnEveryPath :: Maybe Bool
- numberOfWrongAnswers :: Int
- answerLength :: !(Int, Int)
- printSolution :: Bool
- withActionRepetition :: Bool
- extraText :: ExtraText
}
data SelectASSolution = SelectASSolution {
- correctSequence :: [String]
- wrongSequences :: [[String]]
}
defaultSelectASConfig :: SelectASConfig
checkSelectASConfig :: SelectASConfig -> Maybe String
selectASAlloy :: SelectASConfig -> String
checkSelectASInstance :: SelectASInstance -> Maybe String
selectActionSequence :: MonadRandom m => Bool -> Int -> (Int, Int) -> UMLActivityDiagram -> MaybeT m SelectASSolution
selectASTask :: (MonadPlantUml m, MonadWriteFile m, OutputCapable m) => FilePath -> SelectASInstance -> LangM m
selectASSyntax :: OutputCapable m => SelectASInstance -> Int -> LangM m
selectASEvaluation :: OutputCapable m => SelectASInstance -> Int -> LangM m
selectASSolution :: SelectASInstance -> Int
selectAS :: (MonadAlloy m, MonadThrow m) => SelectASConfig -> Int -> Int -> m SelectASInstance
defaultSelectASInstance :: SelectASInstance

Documentation

data SelectASInstance Source #

Constructors

SelectASInstance
Fields activityDiagram :: UMLActivityDiagram actionSequences :: Map Int (Bool, [String]) drawSettings :: PlantUmlConfig showSolution :: Bool addText :: ExtraText

Instances

Instances details

Generic SelectASInstance Source #
Instance details Defined in Modelling.ActivityDiagram.SelectAS Associated Types type Rep SelectASInstance :: Type -> Type # Methods from :: SelectASInstance -> Rep SelectASInstance x # to :: Rep SelectASInstance x -> SelectASInstance #
Read SelectASInstance Source #
Instance details Defined in Modelling.ActivityDiagram.SelectAS Methods readsPrec :: Int -> ReadS SelectASInstance # readList :: ReadS [SelectASInstance] # readPrec :: ReadPrec SelectASInstance # readListPrec :: ReadPrec [SelectASInstance] #
Show SelectASInstance Source #
Instance details Defined in Modelling.ActivityDiagram.SelectAS Methods showsPrec :: Int -> SelectASInstance -> ShowS # show :: SelectASInstance -> String # showList :: [SelectASInstance] -> ShowS #
Eq SelectASInstance Source #
Instance details Defined in Modelling.ActivityDiagram.SelectAS Methods (==) :: SelectASInstance -> SelectASInstance -> Bool # (/=) :: SelectASInstance -> SelectASInstance -> Bool #
type Rep SelectASInstance Source #
Instance details Defined in Modelling.ActivityDiagram.SelectAS type Rep SelectASInstance = D1 ('MetaData "SelectASInstance" "Modelling.ActivityDiagram.SelectAS" "modelling-tasks-0.0.0.1-CFjgFvALsViKGNTlzwwmRs" 'False) (C1 ('MetaCons "SelectASInstance" 'PrefixI 'True) ((S1 ('MetaSel ('Just "activityDiagram") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UMLActivityDiagram) :: S1 ('MetaSel ('Just "actionSequences") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Int (Bool, [String])))) :: (S1 ('MetaSel ('Just "drawSettings") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PlantUmlConfig) :: (S1 ('MetaSel ('Just "showSolution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "addText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExtraText)))))

data SelectASConfig Source #

Constructors

SelectASConfig
Fields adConfig :: AdConfig hideBranchConditions :: Bool maxInstances :: Maybe Integer objectNodeOnEveryPath :: Maybe Bool numberOfWrongAnswers :: Int answerLength :: !(Int, Int) printSolution :: Bool withActionRepetition :: Bool extraText :: ExtraText

Instances

Instances details

Generic SelectASConfig Source #
Instance details Defined in Modelling.ActivityDiagram.SelectAS Associated Types type Rep SelectASConfig :: Type -> Type # Methods from :: SelectASConfig -> Rep SelectASConfig x # to :: Rep SelectASConfig x -> SelectASConfig #
Read SelectASConfig Source #
Instance details Defined in Modelling.ActivityDiagram.SelectAS Methods readsPrec :: Int -> ReadS SelectASConfig # readList :: ReadS [SelectASConfig] # readPrec :: ReadPrec SelectASConfig # readListPrec :: ReadPrec [SelectASConfig] #
Show SelectASConfig Source #
Instance details Defined in Modelling.ActivityDiagram.SelectAS Methods showsPrec :: Int -> SelectASConfig -> ShowS # show :: SelectASConfig -> String # showList :: [SelectASConfig] -> ShowS #
type Rep SelectASConfig Source #
Instance details Defined in Modelling.ActivityDiagram.SelectAS type Rep SelectASConfig = D1 ('MetaData "SelectASConfig" "Modelling.ActivityDiagram.SelectAS" "modelling-tasks-0.0.0.1-CFjgFvALsViKGNTlzwwmRs" 'False) (C1 ('MetaCons "SelectASConfig" 'PrefixI 'True) (((S1 ('MetaSel ('Just "adConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AdConfig) :: S1 ('MetaSel ('Just "hideBranchConditions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :: (S1 ('MetaSel ('Just "maxInstances") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer)) :: S1 ('MetaSel ('Just "objectNodeOnEveryPath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)))) :: ((S1 ('MetaSel ('Just "numberOfWrongAnswers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "answerLength") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Int, Int))) :: (S1 ('MetaSel ('Just "printSolution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: (S1 ('MetaSel ('Just "withActionRepetition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "extraText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExtraText))))))

data SelectASSolution Source #

Constructors

SelectASSolution
Fields correctSequence :: [String] wrongSequences :: [[String]]

Instances

Instances details

Show SelectASSolution Source #
Instance details Defined in Modelling.ActivityDiagram.SelectAS Methods showsPrec :: Int -> SelectASSolution -> ShowS # show :: SelectASSolution -> String # showList :: [SelectASSolution] -> ShowS #
Eq SelectASSolution Source #
Instance details Defined in Modelling.ActivityDiagram.SelectAS Methods (==) :: SelectASSolution -> SelectASSolution -> Bool # (/=) :: SelectASSolution -> SelectASSolution -> Bool #

defaultSelectASConfig :: SelectASConfig Source #

checkSelectASConfig :: SelectASConfig -> Maybe String Source #

selectASAlloy :: SelectASConfig -> String Source #

checkSelectASInstance :: SelectASInstance -> Maybe String Source #

selectActionSequence Source #

Arguments

:: MonadRandom m
=> Bool	if sequences should contain at least one action twice
-> Int	the number of wrong sequences to return
-> (Int, Int)	how long the returned sequences should be specified by (lower, upper) bound
-> UMLActivityDiagram	For which AD diagram the correct sequence should be valid
-> MaybeT m SelectASSolution

Generate a set of one correct and multiple wrong sequences.

selectASTask :: (MonadPlantUml m, MonadWriteFile m, OutputCapable m) => FilePath -> SelectASInstance -> LangM m Source #

selectASSyntax :: OutputCapable m => SelectASInstance -> Int -> LangM m Source #

selectASEvaluation :: OutputCapable m => SelectASInstance -> Int -> LangM m Source #

selectASSolution :: SelectASInstance -> Int Source #

selectAS :: (MonadAlloy m, MonadThrow m) => SelectASConfig -> Int -> Int -> m SelectASInstance Source #

defaultSelectASInstance :: SelectASInstance Source #