module Names: sig
.. end
module NamesTbl: State_builder.Hashtbl
(
Datatype.String.Hashtbl
)
(
Datatype.Int
)
(
sig
val name : string
val dependencies : 'a list
val size : int
end
)
module IndexTbl: State_builder.Hashtbl
(
WpPropId.PropId.Hashtbl
)
(
Datatype.String
)
(
sig
val name : string
val dependencies : State.t list
val size : int
end
)
val base_id_prop_txt : Property.identified_property -> string
val basename_of_prop_id : WpPropId.prop_id -> string
val normalize_basename : string -> string
function used to normanize basename
val reserve_name_id : NamesTbl.key -> NamesTbl.key
returns the name that should be returned by the function get_prop_name_id
if the given property has name
as basename. That name is reserved so that
get_prop_name_id prop
can never return an identical name.
val get_prop_id_basename : WpPropId.prop_id -> string
returns the basename of the property.
val get_prop_id_name : IndexTbl.key -> IndexTbl.data
returns a unique name identifying the property.
This name is built from the basename of the property.