C | |
| Classify | Checks if the given name is the name of a Frama-C builtin |
E | |
| Enabled [Options] | |
| Environment | |
| Extends | |
F | |
| Format_parser | |
| Format_pprint | |
| Format_string | |
| Format_typer | |
| Format_types | See C11, 7.21.6 |
G | |
| Generic | |
L | |
| List [Extends] | |
O | |
| Options | |
R | |
| Register | Register the plugin in the Frama-C kernel. |
| Replacements | |
S | |
| Self [Options] | |
| Standard | |
| Strict [Options] | |
T | |
| Translate | |
| Typ [Extends] | |
V | |
| Va_types | |
| Variadic |