Module Flx_cil_cabsvisit


module Flx_cil_cabsvisit: sig .. end
Variable or function prototype name


type 'a visitAction =
| SkipChildren
| ChangeTo of 'a
| DoChildren
| ChangeDoChildrenPost of 'a * ('a -> 'a)

type nameKind =
| NVar (*Variable or function prototype name*)
| NFun (*Function definition name*)
| NField (*The name of a field*)
| NType (*The name of a type*)
class type cabsVisitor = object .. end
class nopFlx_cil_cabsVisitor : cabsVisitor
val visit_cabsTypeSpecifier : cabsVisitor ->
Flx_cil_cabs.typeSpecifier -> Flx_cil_cabs.typeSpecifier
val visit_cabsSpecifier : cabsVisitor ->
Flx_cil_cabs.specifier -> Flx_cil_cabs.specifier
val visit_cabsDeclType : cabsVisitor ->
bool -> Flx_cil_cabs.decl_type -> Flx_cil_cabs.decl_type
Visits a decl_type. The bool argument is saying whether we are ina * function definition and thus the scope in a PROTO should extend until the * end of the function
val visit_cabsDefinition : cabsVisitor ->
Flx_cil_cabs.definition -> Flx_cil_cabs.definition list
val visit_cabsBlock : cabsVisitor -> Flx_cil_cabs.block -> Flx_cil_cabs.block
val visit_cabsStatement : cabsVisitor ->
Flx_cil_cabs.statement -> Flx_cil_cabs.statement list
val visit_cabsExpression : cabsVisitor ->
Flx_cil_cabs.expression -> Flx_cil_cabs.expression
val visit_cabsAttributes : cabsVisitor ->
Flx_cil_cabs.attribute list -> Flx_cil_cabs.attribute list
val visit_cabsName : cabsVisitor ->
nameKind ->
Flx_cil_cabs.specifier -> Flx_cil_cabs.name -> Flx_cil_cabs.name
val visit_cabsFile : cabsVisitor -> Flx_cil_cabs.file -> Flx_cil_cabs.file
val visitorLocation : Flx_cil_cabs.cabsloc Pervasives.ref
Set by the visitor to the current location