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
 

Detailed Description

Definition at line 139 of file config.h.

Member Typedef Documentation

§ classpatht

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

Definition at line 141 of file config.h.

Member Data Documentation

§ classpath

§ main_class

irep_idt configt::javat::main_class

Definition at line 143 of file config.h.

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


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