[server] New request kernel.ast.info to get more information about a marker.
Currently provided information: - marker kind; - kernel function of statements, lvalues and expressions; - type of lvalues and expressions; - size of types; - various information about varinfos.
Showing
- src/kernel_services/ast_printing/printer_tag.ml 11 additions, 8 deletionssrc/kernel_services/ast_printing/printer_tag.ml
- src/kernel_services/ast_printing/printer_tag.mli 1 addition, 0 deletionssrc/kernel_services/ast_printing/printer_tag.mli
- src/plugins/server/kernel_ast.ml 149 additions, 0 deletionssrc/plugins/server/kernel_ast.ml
Loading
Please register or sign in to comment