diff options
author | Jed Barber <jjbarber@y7mail.com> | 2014-12-07 19:48:48 +1100 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2014-12-07 19:48:48 +1100 |
commit | ca5b62a4099a7891f23d7d20dec05207b7d4ab06 (patch) | |
tree | 1459136b200351111a0cc3f0ecf400b05f4dcef6 /src/Grasp/Interpreter.hs | |
parent | c839af0041bec80ad05a98fa034e8bce6c97db61 (diff) |
del instruction added
Diffstat (limited to 'src/Grasp/Interpreter.hs')
-rw-r--r-- | src/Grasp/Interpreter.hs | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/src/Grasp/Interpreter.hs b/src/Grasp/Interpreter.hs index 0d24ce1..bca167a 100644 --- a/src/Grasp/Interpreter.hs +++ b/src/Grasp/Interpreter.hs @@ -112,7 +112,22 @@ newI = do delI :: GraspM () -delI = GMonad.updateIP +delI = do + curNode <- GMonad.peekIP >>= return . Maybe.fromJust + + tailNodes <- GMonad.nodesOut (EL.mk "tail") curNode + headNodes <- GMonad.nodesOut (EL.mk "head") curNode + labelNodes <- GMonad.nodesOut (EL.mk "label") curNode + + Monad.when (length tailNodes /= 0) (do + input <- mapM GMonad.edgesOut tailNodes >>= return . concat + let labels = map (EL.mk . IN.toString . GN.toInst) labelNodes + heads = map GN.toNode headNodes + result = filter (\x -> (length headNodes == 0 || GE.toDest x `elem` heads) && + (length labelNodes == 0 || GE.toLabel x `elem` labels)) input + GMonad.delEdges result ) + + GMonad.updateIP |