diff options
Diffstat (limited to 'src/runtime/haskell-bind')
| -rw-r--r-- | src/runtime/haskell-bind/PGF2/FFI.hs | 2 | ||||
| -rw-r--r-- | src/runtime/haskell-bind/SG.hsc | 22 |
2 files changed, 23 insertions, 1 deletions
diff --git a/src/runtime/haskell-bind/PGF2/FFI.hs b/src/runtime/haskell-bind/PGF2/FFI.hs index 96b3eea35..15001c2c9 100644 --- a/src/runtime/haskell-bind/PGF2/FFI.hs +++ b/src/runtime/haskell-bind/PGF2/FFI.hs @@ -222,6 +222,8 @@ foreign import ccall "pgf/pgf.h pgf_print" foreign import ccall "pgf/expr.h pgf_read_expr" pgf_read_expr :: Ptr GuIn -> Ptr GuPool -> Ptr GuExn -> IO PgfExpr +foreign import ccall "pgf/expr.h pgf_read_expr_tuple" + pgf_read_expr_tuple :: Ptr GuIn -> CInt -> Ptr PgfExpr -> Ptr GuPool -> Ptr GuExn -> IO CInt foreign import ccall "pgf/graphviz.h pgf_graphviz_abstract_tree" pgf_graphviz_abstract_tree :: Ptr PgfPGF -> PgfExpr -> Ptr GuOut -> Ptr GuExn -> IO () diff --git a/src/runtime/haskell-bind/SG.hsc b/src/runtime/haskell-bind/SG.hsc index a2fdf5505..1e70c3268 100644 --- a/src/runtime/haskell-bind/SG.hsc +++ b/src/runtime/haskell-bind/SG.hsc @@ -8,7 +8,7 @@ module SG( SG, openSG, closeSG , beginTrans, commit, rollback, inTransaction , SgId , insertExpr, getExpr - , insertTriple, getTriple + , readTriple, insertTriple, getTriple , queryTriple ) where @@ -108,6 +108,26 @@ getExpr (SG sg) id = do ----------------------------------------------------------------------- -- Triples +readTriple :: String -> Maybe (Expr,Expr,Expr) +readTriple str = + unsafePerformIO $ + do exprPl <- gu_new_pool + withGuPool $ \tmpPl -> + withCString str $ \c_str -> + withTriple $ \triple -> do + do guin <- gu_string_in c_str tmpPl + exn <- gu_new_exn tmpPl + ok <- pgf_read_expr_tuple guin 3 triple exprPl exn + status <- gu_exn_is_raised exn + if (ok == 1 && not status) + then do c_expr1 <- peekElemOff triple 0 + c_expr2 <- peekElemOff triple 1 + c_expr3 <- peekElemOff triple 2 + exprFPl <- newForeignPtr gu_pool_finalizer exprPl + return $ Just (Expr c_expr1 exprFPl,Expr c_expr2 exprFPl,Expr c_expr3 exprFPl) + else do gu_pool_free exprPl + return Nothing + insertTriple :: SG -> Expr -> Expr -> Expr -> IO SgId insertTriple (SG sg) (Expr expr1 _) (Expr expr2 _) (Expr expr3 _) = withGuPool $ \tmpPl -> |