Added support for replicators to the quickcheck tests (actually applying the modification functions)

This commit is contained in:
Neil Brown 2008-01-30 19:14:33 +00:00
parent c2c6bf24f8
commit 0f0be6e4a3

View File

@ -595,6 +595,7 @@ pickFuncId g = map (applyFunc . getFunc) (labNodes g)
applyFunc (AlterProcess f) = f return
applyFunc (AlterExpression f) = f return
applyFunc (AlterExpressionList f) = f return
applyFunc (AlterReplicator f) = f return
applyFunc (AlterSpec f) = f return
applyFunc (AlterNothing) = return
@ -610,6 +611,7 @@ pickFuncRep gr = Map.fromList $ map (helpApplyFunc . getMetaFunc) (labNodes gr)
applyFunc (m,AlterProcess f) = f (g m)
applyFunc (m,AlterExpression f) = f (g m)
applyFunc (m,AlterExpressionList f) = f (g m)
applyFunc (m,AlterReplicator f) = f (g m)
applyFunc (m,AlterSpec f) = f (g m)
applyFunc (m,AlterNothing) = g m