Safe Haskell	Safe-Inferred
Language	Haskell2010

Modelling.ActivityDiagram.MatchPetri

Documentation

data MatchPetriInstance Source #

Constructors

MatchPetriInstance
Fields activityDiagram :: UMLActivityDiagram petriNet :: SimplePetriLike PetriKey plantUMLConf :: PlantUmlConfig petriDrawConf :: DrawSettings showSolution :: Bool addText :: ExtraText

Instances

Instances details

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

data MatchPetriConfig Source #

Constructors

MatchPetriConfig

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
hideBranchConditions :: Bool
petriLayout :: [GraphvizCommand]
petriSvgHighlighting :: Bool
Whether highlighting on hover should be enabled
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 :: ExtraText

Instances

Instances details

Generic MatchPetriConfig Source #
Instance details Defined in Modelling.ActivityDiagram.MatchPetri Associated Types type Rep MatchPetriConfig :: Type -> Type # Methods from :: MatchPetriConfig -> Rep MatchPetriConfig x # to :: Rep MatchPetriConfig x -> MatchPetriConfig #
Read MatchPetriConfig Source #
Instance details Defined in Modelling.ActivityDiagram.MatchPetri Methods readsPrec :: Int -> ReadS MatchPetriConfig # readList :: ReadS [MatchPetriConfig] # readPrec :: ReadPrec MatchPetriConfig # readListPrec :: ReadPrec [MatchPetriConfig] #
Show MatchPetriConfig Source #
Instance details Defined in Modelling.ActivityDiagram.MatchPetri Methods showsPrec :: Int -> MatchPetriConfig -> ShowS # show :: MatchPetriConfig -> String # showList :: [MatchPetriConfig] -> ShowS #
type Rep MatchPetriConfig Source #
Instance details Defined in Modelling.ActivityDiagram.MatchPetri type Rep MatchPetriConfig = D1 ('MetaData "MatchPetriConfig" "Modelling.ActivityDiagram.MatchPetri" "modelling-tasks-0.0.0.1-CFjgFvALsViKGNTlzwwmRs" 'False) (C1 ('MetaCons "MatchPetriConfig" '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 "hideBranchConditions") '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 "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 ExtraText))))))

data MatchPetriSolution Source #

Constructors

MatchPetriSolution
Fields actionNodes :: [(String, Int)] objectNodes :: [(String, Int)] decisionNodes :: [Int] mergeNodes :: [Int] forks :: [Int] joins :: [Int] initialNodes :: [Int] activityFinalNodes :: [Int] flowFinalNodes :: [Int] auxiliaryPetriNodes :: [Int]

Instances

Instances details

Generic MatchPetriSolution Source #
Instance details Defined in Modelling.ActivityDiagram.MatchPetri Associated Types type Rep MatchPetriSolution :: Type -> Type # Methods from :: MatchPetriSolution -> Rep MatchPetriSolution x # to :: Rep MatchPetriSolution x -> MatchPetriSolution #
Read MatchPetriSolution Source #
Instance details Defined in Modelling.ActivityDiagram.MatchPetri Methods readsPrec :: Int -> ReadS MatchPetriSolution # readList :: ReadS [MatchPetriSolution] # readPrec :: ReadPrec MatchPetriSolution # readListPrec :: ReadPrec [MatchPetriSolution] #
Show MatchPetriSolution Source #
Instance details Defined in Modelling.ActivityDiagram.MatchPetri Methods showsPrec :: Int -> MatchPetriSolution -> ShowS # show :: MatchPetriSolution -> String # showList :: [MatchPetriSolution] -> ShowS #
Eq MatchPetriSolution Source #
Instance details Defined in Modelling.ActivityDiagram.MatchPetri Methods (==) :: MatchPetriSolution -> MatchPetriSolution -> Bool # (/=) :: MatchPetriSolution -> MatchPetriSolution -> Bool #
type Rep MatchPetriSolution Source #
Instance details Defined in Modelling.ActivityDiagram.MatchPetri type Rep MatchPetriSolution = D1 ('MetaData "MatchPetriSolution" "Modelling.ActivityDiagram.MatchPetri" "modelling-tasks-0.0.0.1-CFjgFvALsViKGNTlzwwmRs" 'False) (C1 ('MetaCons "MatchPetriSolution" 'PrefixI 'True) (((S1 ('MetaSel ('Just "actionNodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(String, Int)]) :: S1 ('MetaSel ('Just "objectNodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(String, Int)])) :: (S1 ('MetaSel ('Just "decisionNodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Int]) :: (S1 ('MetaSel ('Just "mergeNodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Int]) :: S1 ('MetaSel ('Just "forks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Int])))) :: ((S1 ('MetaSel ('Just "joins") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Int]) :: S1 ('MetaSel ('Just "initialNodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Int])) :: (S1 ('MetaSel ('Just "activityFinalNodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Int]) :: (S1 ('MetaSel ('Just "flowFinalNodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Int]) :*: S1 ('MetaSel ('Just "auxiliaryPetriNodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Int]))))))

defaultMatchPetriConfig :: MatchPetriConfig Source #

checkMatchPetriConfig :: MatchPetriConfig -> Maybe String Source #

mapTypesToLabels :: Net p n => p n PetriKey -> MatchPetriSolution Source #

matchPetriAlloy :: MatchPetriConfig -> String Source #

matchPetriSolution :: MatchPetriInstance -> MatchPetriSolution Source #

extractAuxiliaryPetriNodes :: Net p n => p n PetriKey -> [PetriKey] Source #

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

matchPetriInitial :: MatchPetriSolution Source #

matchPetriSyntax :: OutputCapable m => MatchPetriInstance -> MatchPetriSolution -> LangM m Source #

matchPetriEvaluation :: OutputCapable m => MatchPetriInstance -> MatchPetriSolution -> Rated m Source #

matchPetri :: (MonadAlloy m, MonadThrow m) => MatchPetriConfig -> Int -> Int -> m MatchPetriInstance Source #

defaultMatchPetriInstance :: MatchPetriInstance Source #