Module KlassData (.ml)

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.
Parameters:
data : GlobalData.class_data
folder : 'a -> Ast.class_def -> 'a
init : 'a
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.
Parameters:
data : GlobalData.class_data
folder : 'a StringModules.StringMap.t -> Ast.class_def -> 'a StringModules.StringMap.t
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
Parameters:
klasses : Ast.class_def list
val build_class_data_test : Ast.class_def list ->
(GlobalData.class_data, GlobalData.class_data_error) Util.either
Parameters:
klasses : Ast.class_def list
val append_leaf : GlobalData.class_data ->
Ast.class_def ->
(GlobalData.class_data, GlobalData.class_data_error) Util.either
Parameters:
? : GlobalData.class_data
? : Ast.class_def
val append_leaf_test : GlobalData.class_data ->
Ast.class_def ->
(GlobalData.class_data, GlobalData.class_data_error) Util.either
Parameters:
data : GlobalData.class_data
aklass : Ast.class_def
val print_class_data : GlobalData.class_data -> unit
Print class data out to stdout.
Parameters:
data : GlobalData.class_data
val errstr : GlobalData.class_data_error -> string
Parameters:
? : GlobalData.class_data_error