module KlassData: sig
.. end
Build a class_data object.
val fold_classes : GlobalData.class_data -> ('a -> Ast.class_def -> 'a) -> 'a -> 'a
Fold over the values in a class_data record's classes map.
val map_classes : GlobalData.class_data ->
('a StringModules.StringMap.t ->
Ast.class_def -> 'a StringModules.StringMap.t) ->
'a StringModules.StringMap.t
Fold over the values in a class_data record's classes map, but
enforce building up a StringMap.
val dfs_errors : GlobalData.class_data -> (string -> 'a -> 'b -> 'a * 'b) -> 'a -> 'b -> 'b
Recursively explore the tree starting at the root, accumulating errors
in a list as we go. The explorer function should take the current class
the current state, the current errors and return a new state / errors
pair (updating state when possible if there are errors for further
accumulation). This is the state that will be passed to all children,
and the errors will accumulate across all children.
Returns The final accumulated errors
Parameters: |
data |
: |
GlobalData.class_data
A class_data record value
|
explore |
: |
string -> 'a -> 'b -> 'a * 'b
Something that goes from the current node to a new state/error pair
|
init_state |
: |
'a
|
init_error |
: |
'b
|
|
val build_class_data : Ast.class_def list ->
(GlobalData.class_data, GlobalData.class_data_error) Util.either
val build_class_data_test : Ast.class_def list ->
(GlobalData.class_data, GlobalData.class_data_error) Util.either
val append_leaf : GlobalData.class_data ->
Ast.class_def ->
(GlobalData.class_data, GlobalData.class_data_error) Util.either
val append_leaf_test : GlobalData.class_data ->
Ast.class_def ->
(GlobalData.class_data, GlobalData.class_data_error) Util.either
val print_class_data : GlobalData.class_data -> unit
Print class data out to stdout.
val errstr : GlobalData.class_data_error -> string