";
bs b ((self#keyword "module")^" ");
(
if with_link then
bs b (self#make_link ~text:(*(Name.simple name)*)name ~url:html_file ())
else
bs b (*(Name.simple name)*)name
);
(
match m.m_kind with
Module_functor _ when !Odoc_info.Args.html_short_functors ->
()
| _ -> bs b ": "
);
self#html_of_module_kind b father ~modu: m m.m_kind;
bs b "";
if info then
begin
verbose ("Printing information of module "^m.m_name^":\n"^(string_of_info_opt m.m_info));
if complete then
self#html_of_info ~indent: false
else
self#html_of_info_first_sentence
end b m.m_info
else
begin
warning ("Module "^m.m_name^" has no associated information")
end
with _ -> assert false
method html_of_Ref b name ref_opt =
let renamed = find_renaming renamings name in
let type_of_ref =
match ref_opt with
| Some _ -> ref_opt (*We already have all the details*)
| _ -> match self#what_is name with
| Some _ as r ->
warning ("Found the type of "^name);
r
| None -> match self#what_is renamed with
| Some _ as r ->
verbose ("Could not find the type of "^name^", but found that of "^renamed);
r
| None ->
warning ("Could not find the type of "^name^", even as "^renamed);
None
in
super#html_of_Ref b renamed type_of_ref
(**Replace references to [string] with [String.t],
[list] with [List.t] etc.
Override of [super#create_fully_qualified_idents_links]*)
method create_fully_qualified_idents_links m_name s =
try
(** Replace a complete path with a URL to that path*)
let handle_qualified_name original_type_name =
let renamed_type_name = find_renaming renamings original_type_name in
let rel = Name.get_relative m_name renamed_type_name in
let s_final = Odoc_info.apply_if_equal
Odoc_info.use_hidden_modules
renamed_type_name
rel
in
if self#is_type original_type_name || self#is_type renamed_type_name
then self#make_link ~url:(Naming.complete_target Naming.mark_type renamed_type_name)
~text:s_final ()
else(
if self#is_class original_type_name || self#is_class renamed_type_name then
let (html_file, _) = Naming.html_files renamed_type_name in
self#make_link ~url:html_file ~text:s_final ()
else s_final)
(**Replace primitive type names with links to their representation module*)
in let handle_word str_t =
let result =
let (before,match_s) = (Str.matched_group 1 str_t, Str.matched_group 2 str_t) in
try
let link = List.assoc match_s primitive_types_names in
(*let text = before^(end_of_name link) in*)
before^(self#make_link
~url:(Naming.complete_target Naming.mark_type link)
~text:match_s ())
(*(handle_qualified_name link)*)
with Not_found -> Str.matched_string str_t
in result
in
let s2 = Str.global_substitute (*Substitute fully qualified names*)
(Str.regexp "\\([A-Z]\\([a-zA-Z_'0-9]\\)*\\.\\)+\\([a-z][a-zA-Z_'0-9]*\\)")
(fun str_t -> handle_qualified_name (Str.matched_string str_t))
s
in
let s3 = Str.global_substitute (*Substitute fully qualified names*)
(Str.regexp "\\([^.a-zA-Z_0-9]\\|^\\)\\([a-zA-Z_0-9]+\\)")
handle_word
s2
in s3
with _ -> assert false
method index_prefix = "root"
(** Generate [index.html], as well as [indices.html] for the given module list*)
method generate_index module_list =
try
let title = match !Args.title with None -> "" | Some t -> self#escape t in
(*[index.html]*)
let chanout = open_out (Filename.concat !Args.target_dir "index.html") in
let b = new_buf () in
(*let title = match !Args.title with None -> "" | Some t -> self#escape t in*)
bs b doctype ;
bs b "\n";
self#print_header b self#title;
bs b "";
bs b "Frame Alert\n";
bs b "\n";
bs b "This document is designed to be viewed using the frames feature. If you see this message, you are using a non-frame-capable web client.\n";
bs b "
\n";
bs b "Link to Non-frame version.\n";
bs b "\n";
Buffer.output_buffer chanout b;
close_out chanout;
(* (*[indices.html]*)
let chanout = open_out (Filename.concat !Args.target_dir "indices.html") in
let b = new_buf () in
bs b doctype ;
bs b "\n";
self#print_header b self#title;
bs b "