Safe Haskell	Safe-Inferred
Language	Haskell2010

Modelling.ActivityDiagram.Datatype

Documentation

data AdConnection Source #

Constructors

AdConnection
Fields from :: Int to :: Int guard :: String

Instances

Instances details

Generic AdConnection Source #
Instance details Defined in Modelling.ActivityDiagram.Datatype Associated Types type Rep AdConnection :: Type -> Type # Methods from :: AdConnection -> Rep AdConnection x # to :: Rep AdConnection x -> AdConnection #
Read AdConnection Source #
Instance details Defined in Modelling.ActivityDiagram.Datatype Methods readsPrec :: Int -> ReadS AdConnection # readList :: ReadS [AdConnection] # readPrec :: ReadPrec AdConnection # readListPrec :: ReadPrec [AdConnection] #
Show AdConnection Source #
Instance details Defined in Modelling.ActivityDiagram.Datatype Methods showsPrec :: Int -> AdConnection -> ShowS # show :: AdConnection -> String # showList :: [AdConnection] -> ShowS #
Eq AdConnection Source #
Instance details Defined in Modelling.ActivityDiagram.Datatype Methods (==) :: AdConnection -> AdConnection -> Bool # (/=) :: AdConnection -> AdConnection -> Bool #
Ord AdConnection Source #
Instance details Defined in Modelling.ActivityDiagram.Datatype Methods compare :: AdConnection -> AdConnection -> Ordering # (<) :: AdConnection -> AdConnection -> Bool # (<=) :: AdConnection -> AdConnection -> Bool # (>) :: AdConnection -> AdConnection -> Bool # (>=) :: AdConnection -> AdConnection -> Bool # max :: AdConnection -> AdConnection -> AdConnection # min :: AdConnection -> AdConnection -> AdConnection #
type Rep AdConnection Source #
Instance details Defined in Modelling.ActivityDiagram.Datatype type Rep AdConnection = D1 ('MetaData "AdConnection" "Modelling.ActivityDiagram.Datatype" "modelling-tasks-0.0.0.1-CFjgFvALsViKGNTlzwwmRs" 'False) (C1 ('MetaCons "AdConnection" 'PrefixI 'True) (S1 ('MetaSel ('Just "from") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: (S1 ('MetaSel ('Just "to") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "guard") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

data AdNode Source #

Constructors

AdActionNode
Fields label :: Int name :: String
AdObjectNode
Fields label :: Int name :: String
AdDecisionNode
Fields label :: Int
AdMergeNode
Fields label :: Int
AdForkNode
Fields label :: Int
AdJoinNode
Fields label :: Int
AdActivityFinalNode
Fields label :: Int
AdFlowFinalNode
Fields label :: Int
AdInitialNode
Fields label :: Int

Instances

Instances details

Generic AdNode Source #
Instance details Defined in Modelling.ActivityDiagram.Datatype Associated Types type Rep AdNode :: Type -> Type # Methods from :: AdNode -> Rep AdNode x # to :: Rep AdNode x -> AdNode #
Read AdNode Source #
Instance details Defined in Modelling.ActivityDiagram.Datatype Methods readsPrec :: Int -> ReadS AdNode # readList :: ReadS [AdNode] # readPrec :: ReadPrec AdNode # readListPrec :: ReadPrec [AdNode] #
Show AdNode Source #
Instance details Defined in Modelling.ActivityDiagram.Datatype Methods showsPrec :: Int -> AdNode -> ShowS # show :: AdNode -> String # showList :: [AdNode] -> ShowS #
Eq AdNode Source #
Instance details Defined in Modelling.ActivityDiagram.Datatype Methods (==) :: AdNode -> AdNode -> Bool # (/=) :: AdNode -> AdNode -> Bool #
type Rep AdNode Source #
Instance details Defined in Modelling.ActivityDiagram.Datatype type Rep AdNode = D1 ('MetaData "AdNode" "Modelling.ActivityDiagram.Datatype" "modelling-tasks-0.0.0.1-CFjgFvALsViKGNTlzwwmRs" 'False) (((C1 ('MetaCons "AdActionNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "AdObjectNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "AdDecisionNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "AdMergeNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))) :+: ((C1 ('MetaCons "AdForkNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "AdJoinNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) :+: (C1 ('MetaCons "AdActivityFinalNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: (C1 ('MetaCons "AdFlowFinalNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "AdInitialNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))))))

data UMLActivityDiagram Source #

Constructors

UMLActivityDiagram
Fields nodes :: [AdNode] connections :: [AdConnection]

Instances

Instances details

Generic UMLActivityDiagram Source #
Instance details Defined in Modelling.ActivityDiagram.Datatype Associated Types type Rep UMLActivityDiagram :: Type -> Type # Methods from :: UMLActivityDiagram -> Rep UMLActivityDiagram x # to :: Rep UMLActivityDiagram x -> UMLActivityDiagram #
Read UMLActivityDiagram Source #
Instance details Defined in Modelling.ActivityDiagram.Datatype Methods readsPrec :: Int -> ReadS UMLActivityDiagram # readList :: ReadS [UMLActivityDiagram] # readPrec :: ReadPrec UMLActivityDiagram # readListPrec :: ReadPrec [UMLActivityDiagram] #
Show UMLActivityDiagram Source #
Instance details Defined in Modelling.ActivityDiagram.Datatype Methods showsPrec :: Int -> UMLActivityDiagram -> ShowS # show :: UMLActivityDiagram -> String # showList :: [UMLActivityDiagram] -> ShowS #
Eq UMLActivityDiagram Source #
Instance details Defined in Modelling.ActivityDiagram.Datatype Methods (==) :: UMLActivityDiagram -> UMLActivityDiagram -> Bool # (/=) :: UMLActivityDiagram -> UMLActivityDiagram -> Bool #
type Rep UMLActivityDiagram Source #
Instance details Defined in Modelling.ActivityDiagram.Datatype type Rep UMLActivityDiagram = D1 ('MetaData "UMLActivityDiagram" "Modelling.ActivityDiagram.Datatype" "modelling-tasks-0.0.0.1-CFjgFvALsViKGNTlzwwmRs" 'False) (C1 ('MetaCons "UMLActivityDiagram" 'PrefixI 'True) (S1 ('MetaSel ('Just "nodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AdNode]) :*: S1 ('MetaSel ('Just "connections") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AdConnection])))

getInitialNodes :: UMLActivityDiagram -> [AdNode] Source #

getFinalNodes :: UMLActivityDiagram -> [AdNode] Source #

isActionNode :: AdNode -> Bool Source #

isObjectNode :: AdNode -> Bool Source #

isDecisionNode :: AdNode -> Bool Source #

isMergeNode :: AdNode -> Bool Source #

isForkNode :: AdNode -> Bool Source #

isJoinNode :: AdNode -> Bool Source #

isInitialNode :: AdNode -> Bool Source #

isActivityFinalNode :: AdNode -> Bool Source #

isFlowFinalNode :: AdNode -> Bool Source #

adjNodes :: AdNode -> UMLActivityDiagram -> [AdNode] Source #