ansi_c_language.h File Reference

#include <memory>
#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:

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

Definition at line 25 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 21 of file ansi_c_language.h.

Function Documentation

new_ansi_c_language()

std::unique_ptr<languaget> new_ansi_c_language

(

)

Definition at line 152 of file ansi_c_language.cpp.