package goblint-cil

  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a visitAction =
  1. | SkipChildren
  2. | ChangeTo of 'a
  3. | DoChildren
  4. | ChangeDoChildrenPost of 'a * 'a -> 'a
type nameKind =
  1. | NVar
    (*

    Variable or function prototype name

    *)
  2. | NFun
    (*

    Function definition name

    *)
  3. | NField
    (*

    The name of a field

    *)
  4. | NType
    (*

    The name of a type

    *)
class type cabsVisitor = object ... end
val visitCabsTypeSpecifier : cabsVisitor -> Cabs.typeSpecifier -> Cabs.typeSpecifier
val visitCabsSpecifier : cabsVisitor -> Cabs.specifier -> Cabs.specifier
val visitCabsDeclType : cabsVisitor -> bool -> Cabs.decl_type -> 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 visitCabsDefinition : cabsVisitor -> Cabs.definition -> Cabs.definition list
val visitCabsBlock : cabsVisitor -> Cabs.block -> Cabs.block
val visitCabsStatement : cabsVisitor -> Cabs.statement -> Cabs.statement list
val visitCabsExpression : cabsVisitor -> Cabs.expression -> Cabs.expression
val visitCabsAttributes : cabsVisitor -> Cabs.attribute list -> Cabs.attribute list
val visitCabsName : cabsVisitor -> nameKind -> Cabs.specifier -> Cabs.name -> Cabs.name
val visitCabsFile : cabsVisitor -> Cabs.file -> Cabs.file
val visitorLocation : Cabs.cabsloc Stdlib.ref

Set by the visitor to the current location