Commit 326e1882 authored by Camil Staps's avatar Camil Staps
Browse files

Put back writeTypeTree

parent a05fdcd5
......@@ -234,6 +234,7 @@ openDB :: !*File -> *(!Maybe *CloogleDB, !*File)
resetDB :: !*CloogleDB -> *CloogleDB
dbStats :: !*CloogleDB -> *(CloogleDBStats, *CloogleDB)
writeTypeTree :: !*CloogleDB !*File -> *(*CloogleDB, *File)
getIndex :: !Index !*CloogleDB -> *(Entry CloogleEntry AnnotationKey Annotation, *CloogleDB)
getIndices :: ![Index] !*CloogleDB -> *([Entry CloogleEntry AnnotationKey Annotation], *CloogleDB)
......
......@@ -325,6 +325,11 @@ where
, n_syntax_constructs = 0
}
writeTypeTree :: !*CloogleDB !*File -> *(*CloogleDB, *File)
writeTypeTree db=:{types} f
# f = f <<< concat (printDigraph (typeTreeToGraphviz types))
= (db, f)
getIndex :: !Index !*CloogleDB -> *(Entry CloogleEntry AnnotationKey Annotation, *CloogleDB)
getIndex idx wrap=:{db}
# (e,db) = 'DB'.getIndex idx db
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment