Safe Haskell	None
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

Reader MatchPetriInstance Source #

Instance details

Defined in Modelling.ActivityDiagram.MatchPetri

Methods

atomic_reader :: Parser MatchPetriInstance

atomic_readerPrec :: Int -> Parser MatchPetriInstance

reader :: Parser MatchPetriInstance

readerPrec :: Int -> Parser MatchPetriInstance

readerList :: Parser [MatchPetriInstance]

ToDoc MatchPetriInstance Source #

Instance details

Defined in Modelling.ActivityDiagram.MatchPetri

Methods

toDocPrec :: Int -> MatchPetriInstance -> Doc

toDocList :: [MatchPetriInstance] -> Doc

Generic MatchPetriInstance Source #

Instance details

Defined in Modelling.ActivityDiagram.MatchPetri

Associated Types

type Rep MatchPetriInstance

Instance details

Defined in Modelling.ActivityDiagram.MatchPetri

type Rep MatchPetriInstance = D1 ('MetaData "MatchPetriInstance" "Modelling.ActivityDiagram.MatchPetri" "modelling-tasks-0.0.0.1-2KiclaEArwR4yz1IHg8eKf" '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)))))

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 #

Eq MatchPetriInstance Source #

Instance details

Defined in Modelling.ActivityDiagram.MatchPetri

Methods

(==) :: MatchPetriInstance -> MatchPetriInstance -> Bool #

(/=) :: MatchPetriInstance -> MatchPetriInstance -> Bool #

Hashable MatchPetriInstance Source #

Instance details

Defined in Modelling.ActivityDiagram.MatchPetri

Methods

hashWithSalt :: Int -> MatchPetriInstance -> Int

hash :: MatchPetriInstance -> Int

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-2KiclaEArwR4yz1IHg8eKf" '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

Reader MatchPetriConfig Source #

Instance details

Defined in Modelling.ActivityDiagram.MatchPetri

Methods

atomic_reader :: Parser MatchPetriConfig

atomic_readerPrec :: Int -> Parser MatchPetriConfig

reader :: Parser MatchPetriConfig

readerPrec :: Int -> Parser MatchPetriConfig

readerList :: Parser [MatchPetriConfig]

ToDoc MatchPetriConfig Source #

Instance details

Defined in Modelling.ActivityDiagram.MatchPetri

Methods

toDocPrec :: Int -> MatchPetriConfig -> Doc

toDocList :: [MatchPetriConfig] -> Doc

Generic MatchPetriConfig Source #

Instance details

Defined in Modelling.ActivityDiagram.MatchPetri

Associated Types

type Rep MatchPetriConfig

Instance details

Defined in Modelling.ActivityDiagram.MatchPetri

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

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

Reader MatchPetriSolution Source #

Instance details

Defined in Modelling.ActivityDiagram.MatchPetri

Methods

atomic_reader :: Parser MatchPetriSolution

atomic_readerPrec :: Int -> Parser MatchPetriSolution

reader :: Parser MatchPetriSolution

readerPrec :: Int -> Parser MatchPetriSolution

readerList :: Parser [MatchPetriSolution]

ToDoc MatchPetriSolution Source #

Instance details

Defined in Modelling.ActivityDiagram.MatchPetri

Methods

toDocPrec :: Int -> MatchPetriSolution -> Doc

toDocList :: [MatchPetriSolution] -> Doc

Generic MatchPetriSolution Source #

Instance details

Defined in Modelling.ActivityDiagram.MatchPetri

Associated Types

type Rep MatchPetriSolution

Instance details

Defined in Modelling.ActivityDiagram.MatchPetri

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

defaultMatchPetriConfig :: MatchPetriConfig Source #

checkMatchPetriConfig :: MatchPetriConfig -> Maybe String Source #

mapTypesToLabels :: forall p (n :: Type -> Type). Net p n => p n PetriKey -> MatchPetriSolution Source #

matchPetriAlloy :: MatchPetriConfig -> String Source #

matchPetriSolution :: MatchPetriInstance -> MatchPetriSolution Source #

extractAuxiliaryPetriNodes :: forall p (n :: Type -> Type). Net p n => p n PetriKey -> [PetriKey] Source #

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

matchPetriInitial :: MatchPetriSolution Source #

matchPetriSyntax :: forall (m :: Type -> Type). OutputCapable m => MatchPetriInstance -> MatchPetriSolution -> LangM m Source #

matchPetriEvaluation :: forall (m :: Type -> Type). OutputCapable m => MatchPetriInstance -> MatchPetriSolution -> Rated m Source #

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

defaultMatchPetriInstance :: MatchPetriInstance Source #