package bap-c
-
bap_c
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Attribute processing.
This module allows to attach a semantic action for C attributes. Each action is a term transformation, that should do nothing, if an attribute is not known to him.
type 'a pass = Bap_c_type.attr -> 'a Bap.Std.term -> 'a Bap.Std.terma type of action
val register : Bap.Std.sub pass -> unitregister an action
val apply : Bap.Std.sub passapply all registered actions