Module Unanonymous (.ml)

module Unanonymous: sig .. end
Take a collection of Sast class_defs and deanonymize them.

val deanonymize : GlobalData.class_data ->
Sast.class_def list ->
(GlobalData.class_data * Sast.class_def list, GlobalData.class_data_error)
Util.either
Given global class information and parsed and tagged classes, deanonymize the classes. This will add more classes to the global data, which will be updated accordingly.
Returns If everything goes okay with updating the global data for each deanonymization, then left((state', data')) will be returned where state' contains all (including newly created) sAST classes in its clean list and data' has been updated to reflect any new classes. If anything goes wrong, Right(issue) is returned, where the issue is just as in building the global class_data info to begin with, but now specific to what goes on in deanonymization (i.e. restricted to those restricted classes themselves).
Parameters:
klass_data : GlobalData.class_data
global class_data info
sast_klasses : Sast.class_def list
tagged sAST class list