Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / owl / OWLFunctionalParser.mli @ 7c4d2eb4

History | View | Annotate | Download (875 Bytes)

1

    
2

    
3
type annotation = string * int * int (* file and line number and column*)
4

    
5
exception ParseError of annotation * string
6
exception OWLParseError of string
7

    
8
type 'a annotated = 'a * annotation
9

    
10
type 'a tree =
11
    | Leaf of 'a
12
    | Node of (('a tree) list)
13

    
14
val list_of_stream : 'a Stream.t -> 'a list
15

    
16
val string_of_annotation : annotation -> string
17
val string_of_annotated : ('a -> string) -> 'a annotated -> string
18

    
19
val filter_comment : string -> string
20
val filter_whitespace : string annotated list -> string annotated list
21

    
22
val tokens_of_string_stream : string Stream.t-> string annotated list
23
val tree_of_tokens : string annotated list -> string annotated tree
24
val string_of_tree : ('a -> string) -> 'a tree -> string
25

    
26
val tree_of_string : string -> string annotated tree
27

    
28

    
29
val parse : string -> OWL.ontology
30
val ontology_of_tree : string annotated tree -> OWL.ontology