fraport/fradrive
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

chore: further suggestions for workflow lint

Browse Source
This commit is contained in:
Gregor Kleen 2020-12-06 20:42:05 +01:00
parent 8c3b334045
commit 403dc37f9a
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Utils/Workflow/Lint.hs
View File

@ -44,11 +44,11 @@ instance Exception WorkflowGraphLinterIssue where
lintWorkflowGraph :: forall fileid userid. WorkflowGraph fileid userid -> Maybe (NonNull (Set WorkflowGraphLinterIssue))
lintWorkflowGraph graph = fromNullable . Set.fromList $ concatMap ($ graph)
[ checkEdgesForUnknownGraphNodeLabel
, checkFormPayloadVisibleInTargetNode
, checkFormPayloadVisibleInTargetNode -- TODO: Satisfiability of automatic edges?
, finalMatchesOutgoingEdges
, checkUndefinedFieldOrder
, checkNodeUnreachable
, checkNodeUnfinalizable
, checkNodeUnreachable -- TODO: Satisfiability of automatic edges
, checkNodeUnfinalizable -- TODO: Satisfiability of automatic edges
-- Future ideas:
-- - WorkflowRolePayloadReference for unknown payload
-- - wgePayloadRestriction for unknown payload