cprover
configt::javat Struct Reference

#include <config.h>

Collaboration diagram for configt::javat:
[legend]

Public Types

typedef std::list< std::string > classpatht
 

Public Attributes

classpatht classpath
 
irep_idt main_class
 

Static Public Attributes

static const std::size_t default_object_bits =16
 

Detailed Description

Definition at line 152 of file config.h.

Member Typedef Documentation

◆ classpatht

typedef std::list<std::string> configt::javat::classpatht

Definition at line 154 of file config.h.

Member Data Documentation

◆ classpath

◆ default_object_bits

const std::size_t configt::javat::default_object_bits =16
static

Definition at line 158 of file config.h.

Referenced by configt::set_object_bits_from_symbol_table().

◆ main_class

irep_idt configt::javat::main_class

Definition at line 156 of file config.h.

Referenced by java_bytecode_languaget::parse(), and configt::set().


The documentation for this struct was generated from the following file: