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 |
| |
NFun |
| |
NField |
| |
NType |
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