Module BuildSast (.ml)

module BuildSast: sig .. end
Module to take an AST and build the sAST out of it.

val ast_to_sast_klass : GlobalData.class_data -> Ast.class_def -> Sast.class_def
Given a class_data object and an Ast.class_def, return a Sast.class_def object. May fail when there are issues in the statements / expressions.
Returns The transformed class.
Parameters:
klass_data : GlobalData.class_data
A class_data record value
() : Ast.class_def
val ast_to_sast : GlobalData.class_data -> Sast.class_def list
Returns A sast program
Parameters:
klass_data : GlobalData.class_data
val update_refinements : GlobalData.class_data -> Sast.class_def list -> Sast.class_def list
Parameters:
klass_data : GlobalData.class_data
() : Sast.class_def list