ansi_c_language.h File Reference

#include <memory>
#include <util/make_unique.h>
#include <langapi/language.h>
#include "ansi_c_parse_tree.h"
#include "c_object_factory_parameters.h"

Include dependency graph for ansi_c_language.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	ansi_c_languaget

Macros
#define	OPT_ANSI_C_LANGUAGE
#define	HELP_ANSI_C_LANGUAGE

Functions
std::unique_ptr< languaget >	new_ansi_c_language ()

Macro Definition Documentation

HELP_ANSI_C_LANGUAGE

#define HELP_ANSI_C_LANGUAGE

Value:

  " --max-nondet-tree-depth N    limit size of nondet (e.g. input) object tree;\n" /* NOLINT(*) */\
  "                              at level N pointers are set to null\n" \
  " --min-null-tree-depth N      minimum level at which a pointer can first be\n" /* NOLINT(*) */\
  "                              NULL in a recursively nondet initialized struct\n" /* NOLINT(*) */

Definition at line 27 of file ansi_c_language.h.

OPT_ANSI_C_LANGUAGE

#define OPT_ANSI_C_LANGUAGE

Value:

  "(max-nondet-tree-depth):" \
  "(min-null-tree-depth):"

Definition at line 23 of file ansi_c_language.h.

Function Documentation

new_ansi_c_language()

std::unique_ptr<languaget> new_ansi_c_language

(

)

Definition at line 150 of file ansi_c_language.cpp.