class check_file :
(
object
Inherits
val known_fields : Cilutil.FieldinfoHashtbl.key Cilutil.FieldinfoHashtbl.t
method vterm : Cil_types.term -> Cil_types.term Cil.visitAction
method voffs : Cil_types.offset -> Cil_types.offset Cil.visitAction
method vterm_offset : Cil_types.term_offset -> Cil_types.term_offset Cil.visitAction
method vinitoffs : Cil_types.offset -> Cil_types.offset Cil.visitAction
method vglob_aux : Cil_types.global -> Cil_types.global list Cil.visitAction
end
:
object ... end
)
Inherits
val known_fields : Cilutil.FieldinfoHashtbl.key Cilutil.FieldinfoHashtbl.t
method vterm : Cil_types.term -> Cil_types.term Cil.visitAction
method voffs : Cil_types.offset -> Cil_types.offset Cil.visitAction
method vterm_offset : Cil_types.term_offset -> Cil_types.term_offset Cil.visitAction
method vinitoffs : Cil_types.offset -> Cil_types.offset Cil.visitAction
method vglob_aux : Cil_types.global -> Cil_types.global list Cil.visitAction