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 Dependency

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

Authors

Maintainers

Sources

goblint-cil-2.0.6.tbz

sha256=5577007bfac63c3f0609abdb74119fe674c9bc8529d790e90ef73a85964aa07a

sha512=f1a393fa92614ceaf857bec4df474d3e152c578d0ab5fdf791e9129668861ccaa37efae2f18aa539965d6c2ed4dabb47b4a5262aab55112e181935def06f18da

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 Stdlib.ref

Set by the visitor to the current location