exception EmptyUri;;
-let annotate filename ids_to_targets =
+let get_annotations filename =
let module Y = Pxp_yacc in
try
let d =
let config = {Y.default_config with Y.warner = new warner} in
Y.parse_document_entity config
-(*PXP (Y.ExtID (Pxp_types.System filename,
- new Pxp_reader.resolve_as_file ~url_of_id ()))
-*) (PxpUriResolver.from_file filename)
+ (Y.from_file ~alt:[PxpUrlResolver.url_resolver] filename)
Y.default_spec
in
- CicAnnotationParser2.annotate ids_to_targets d#root
+ CicAnnotationParser2.get_annotations d#root
with
e ->
print_endline (Pxp_types.string_of_exn e) ;