Module Cabshelper

module Cabshelper: sig .. end
Helper functions for Cabs

val nextident : int Pervasives.ref
val continue_annot : Cabs.cabsloc ->
(unit -> 'a) ->
(unit -> 'a) -> ('b, Format.formatter, unit, 'a) Pervasives.format4 -> 'b
Try do do the job. If exception and continue on error is set, catch it and to the fallback with proper warning.

Usage: continue_annot job backtrack "Ignoring foo"

val getident : unit -> int
val currentLoc : unit -> Cabs.cabsloc
val cabslu : Cabs.cabsloc
module Comments: sig .. end
val missingFieldDecl : string * Cabs.decl_type * 'a list * Cabs.cabsloc
val isStatic : Cabs.spec_elem list -> bool
val isExtern : Cabs.spec_elem list -> bool
val isInline : Cabs.spec_elem list -> bool
val isTypedef : Cabs.spec_elem list -> bool
val get_definitionloc : Cabs.definition -> Cabs.cabsloc
val get_statementloc : Cabs.statement -> Cabs.cabsloc
val explodeStringToInts : string -> int64 list
val valueOfDigit : char -> int64
val d_cabsloc : Cabs.cabsloc Pretty_utils.formatter