Safe Haskell	Safe-Inferred
Language	Haskell2010

Modelling.ActivityDiagram.SelectPetri

Documentation

data SelectPetriInstance Source #

Constructors

SelectPetriInstance
Fields activityDiagram :: UMLActivityDiagram plantUMLConf :: PlantUmlConfig petriDrawConf :: DrawSettings petriNets :: Map Int (Bool, SimplePetriLike PetriKey) showSolution :: Bool addText :: Maybe (Map Language String)

Instances

Instances details

Generic SelectPetriInstance Source #
Instance details Defined in Modelling.ActivityDiagram.SelectPetri Associated Types type Rep SelectPetriInstance :: Type -> Type # Methods from :: SelectPetriInstance -> Rep SelectPetriInstance x # to :: Rep SelectPetriInstance x -> SelectPetriInstance #
Show SelectPetriInstance Source #
Instance details Defined in Modelling.ActivityDiagram.SelectPetri Methods showsPrec :: Int -> SelectPetriInstance -> ShowS # show :: SelectPetriInstance -> String # showList :: [SelectPetriInstance] -> ShowS #
type Rep SelectPetriInstance Source #
Instance details Defined in Modelling.ActivityDiagram.SelectPetri type Rep SelectPetriInstance = D1 ('MetaData "SelectPetriInstance" "Modelling.ActivityDiagram.SelectPetri" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "SelectPetriInstance" 'PrefixI 'True) ((S1 ('MetaSel ('Just "activityDiagram") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UMLActivityDiagram) :: (S1 ('MetaSel ('Just "plantUMLConf") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PlantUmlConfig) :: S1 ('MetaSel ('Just "petriDrawConf") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DrawSettings))) :: (S1 ('MetaSel ('Just "petriNets") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Int (Bool, SimplePetriLike PetriKey))) :: (S1 ('MetaSel ('Just "showSolution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "addText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Map Language String)))))))

data SelectPetriConfig Source #

Constructors

SelectPetriConfig

Fields

adConfig :: AdConfig
countOfPetriNodesBounds :: !(Int, Maybe Int)
generate only activity diagrams with a corresponding Petri net having a total count of nodes within the given bounds
maxInstances :: Maybe Integer
hideNodeNames :: Bool
hideBranchConditions :: Bool
hidePetriNodeLabels :: Bool
petriLayout :: [GraphvizCommand]
petriSvgHighlighting :: Bool
Whether highlighting on hover should be enabled
numberOfWrongAnswers :: Int
numberOfModifications :: Int
modifyAtMid :: Bool
auxiliaryPetriNodeAbsent :: Maybe Bool
Option to prevent auxiliary PetriNodes from occurring
presenceOfSinkTransitionsForFinals :: Maybe Bool
Force presence or absence of new sink transitions for representing finals
withActivityFinalInForkBlocks :: !(Maybe Bool)
Avoid Activity Finals in concurrent flows to reduce confusion
printSolution :: Bool
extraText :: Maybe (Map Language String)

Instances

Instances details

Generic SelectPetriConfig Source #
Instance details Defined in Modelling.ActivityDiagram.SelectPetri Associated Types type Rep SelectPetriConfig :: Type -> Type # Methods from :: SelectPetriConfig -> Rep SelectPetriConfig x # to :: Rep SelectPetriConfig x -> SelectPetriConfig #
Show SelectPetriConfig Source #
Instance details Defined in Modelling.ActivityDiagram.SelectPetri Methods showsPrec :: Int -> SelectPetriConfig -> ShowS # show :: SelectPetriConfig -> String # showList :: [SelectPetriConfig] -> ShowS #
type Rep SelectPetriConfig Source #
Instance details Defined in Modelling.ActivityDiagram.SelectPetri type Rep SelectPetriConfig = D1 ('MetaData "SelectPetriConfig" "Modelling.ActivityDiagram.SelectPetri" "modelling-tasks-0.0.0.1-5lkaY76HE6k79qLVIy6Ku2" 'False) (C1 ('MetaCons "SelectPetriConfig" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "adConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AdConfig) :: S1 ('MetaSel ('Just "countOfPetriNodesBounds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Int, Maybe Int))) :: (S1 ('MetaSel ('Just "maxInstances") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer)) :: S1 ('MetaSel ('Just "hideNodeNames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) :: ((S1 ('MetaSel ('Just "hideBranchConditions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "hidePetriNodeLabels") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :: (S1 ('MetaSel ('Just "petriLayout") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [GraphvizCommand]) :: S1 ('MetaSel ('Just "petriSvgHighlighting") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))) :: (((S1 ('MetaSel ('Just "numberOfWrongAnswers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "numberOfModifications") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :: (S1 ('MetaSel ('Just "modifyAtMid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "auxiliaryPetriNodeAbsent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)))) :: ((S1 ('MetaSel ('Just "presenceOfSinkTransitionsForFinals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :: S1 ('MetaSel ('Just "withActivityFinalInForkBlocks") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Bool))) :: (S1 ('MetaSel ('Just "printSolution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "extraText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Map Language String))))))))

data SelectPetriSolution Source #

Constructors

SelectPetriSolution
Fields matchingNet :: SimplePetriLike PetriKey wrongNets :: [SimplePetriLike PetriKey]

Instances

Instances details

Show SelectPetriSolution Source #
Instance details Defined in Modelling.ActivityDiagram.SelectPetri Methods showsPrec :: Int -> SelectPetriSolution -> ShowS # show :: SelectPetriSolution -> String # showList :: [SelectPetriSolution] -> ShowS #

defaultSelectPetriConfig :: SelectPetriConfig Source #

checkSelectPetriConfig :: SelectPetriConfig -> Maybe String Source #

checkPetriInstance :: SelectPetriInstance -> SelectPetriConfig -> Maybe String Source #

selectPetriAlloy :: SelectPetriConfig -> String Source #

selectPetriNet :: MonadRandom m => Int -> Int -> Bool -> (Int, Maybe Int) -> UMLActivityDiagram -> m SelectPetriSolution Source #

selectPetriNetWithMatchingNet :: MonadRandom m => Int -> Int -> Bool -> (Int, Maybe Int) -> UMLActivityDiagram -> SimplePetriLike PetriKey -> m SelectPetriSolution Source #

selectPetriTask :: (MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadPlantUml m, MonadThrow m, MonadWriteFile m, OutputCapable m) => FilePath -> SelectPetriInstance -> LangM m Source #

selectPetriSyntax :: OutputCapable m => SelectPetriInstance -> Int -> LangM m Source #

selectPetriEvaluation :: (Alternative m, MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadPlantUml m, MonadThrow m, MonadWriteFile m, OutputCapable m) => FilePath -> SelectPetriInstance -> Int -> LangM m Source #

selectPetriSolution :: SelectPetriInstance -> Int Source #

selectPetri :: (MonadAlloy m, MonadThrow m) => SelectPetriConfig -> Int -> Int -> m SelectPetriInstance Source #

defaultSelectPetriInstance :: SelectPetriInstance Source #