Project

General

Profile

Statistics
| Branch: | Revision:

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

History | View | Annotate | Download (875 Bytes)

1 831116ec Thorsten Wißmann
2
3 090c8b8a Thorsten Wißmann
type annotation = string * int * int (* file and line number and column*)
4 61f29ad2 Thorsten Wißmann
5 090c8b8a Thorsten Wißmann
exception ParseError of annotation * string
6 7737adc7 Thorsten Wißmann
exception OWLParseError of string
7 61f29ad2 Thorsten Wißmann
8
type 'a annotated = 'a * annotation
9 831116ec Thorsten Wißmann
10
type 'a tree =
11
    | Leaf of 'a
12
    | Node of (('a tree) list)
13
14 58c30aee Thorsten Wißmann
val list_of_stream : 'a Stream.t -> 'a list
15
16 090c8b8a Thorsten Wißmann
val string_of_annotation : annotation -> string
17 58c30aee Thorsten Wißmann
val string_of_annotated : ('a -> string) -> 'a annotated -> string
18 61f29ad2 Thorsten Wißmann
19 bbc6bf4f Thorsten Wißmann
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 090c8b8a Thorsten Wißmann
val tree_of_tokens : string annotated list -> string annotated tree
24 58c30aee Thorsten Wißmann
val string_of_tree : ('a -> string) -> 'a tree -> string
25 831116ec Thorsten Wißmann
26 bbc6bf4f Thorsten Wißmann
val tree_of_string : string -> string annotated tree
27
28 7737adc7 Thorsten Wißmann
29
val parse : string -> OWL.ontology
30
val ontology_of_tree : string annotated tree -> OWL.ontology