#include "ci_lazy_methods.h"
#include "ci_lazy_methods_needed.h"
#include "java_class_loader.h"
#include "java_static_initializers.h"
#include "java_string_library_preprocess.h"
#include "object_factory_parameters.h"
#include "select_pointer_type.h"
#include "synthetic_methods_map.h"
#include <memory>
#include <util/cmdline.h>
#include <util/make_unique.h>
#include <langapi/language.h>

Include dependency graph for java_bytecode_language.h:

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

Classes
class	java_bytecode_languaget

Macros
#define	JAVA_BYTECODE_LANGUAGE_OPTIONS

#define	JAVA_BYTECODE_LANGUAGE_OPTIONS_HELP

#define	JAVA_CLASS_MODEL_SUFFIX "@class_model"

Enumerations
enum	lazy_methods_modet { LAZY_METHODS_MODE_EAGER, LAZY_METHODS_MODE_CONTEXT_INSENSITIVE, LAZY_METHODS_MODE_EXTERNAL_DRIVER }

Functions
std::unique_ptr< languaget >	new_java_bytecode_language ()

Macro Definition Documentation

◆ JAVA_BYTECODE_LANGUAGE_OPTIONS

#define JAVA_BYTECODE_LANGUAGE_OPTIONS

Value:

/*NOLINT*/ \
  "(disable-uncaught-exception-check)" \
  "(throw-assertion-error)" \
  "(java-assume-inputs-non-null)" \
  "(java-throw-runtime-exceptions)" /* will go away */ \
  "(throw-runtime-exceptions)" \
  "(java-max-input-array-length):" /* will go away */ \
  "(max-nondet-array-length):" \
  "(java-max-input-tree-depth):" /* will go away */ \
  "(max-nondet-tree-depth):" \
  "(java-max-vla-length):" \
  "(java-cp-include-files):" \
  "(lazy-methods)" /* will go away */ \
  "(no-lazy-methods)" \
  "(lazy-methods-extra-entry-point):" \
  "(java-load-class):" \
  "(java-no-load-class):"