package goblint-cil

You can search for identifiers within the package.

in-package search v0.2.0

A front-end for the C programming language that facilitates program analysis and transformation

Install

dune-project

Dependency

github.com Readme Changelog Edit opam file Versions (16)

Authors

Maintainers

Sources

goblint-cil-2.1.1.tbz

sha256=015ceed9dd8bf073a643672037c2cf63c03f90a76b8c2e87ae8a27dd5d8ba2f0

sha512=079d379715f5bf5c6f31dc8660c5329470643f6325d4a6e32afc15d27844cb573dfd33c768100440d734670bb59b9abb6fb68d19389609c35d072f1b30302dd6

doc/goblint-cil/GoblintCil/Cabsvisit/index.html

Module `GoblintCil.Cabsvisit`

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 nopCabsVisitor : cabsVisitor

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 ref

Set by the visitor to the current location