cprover
Loading...
Searching...
No Matches
missing_outer_class_symbol_exceptiont Class Reference

An exception that is raised checking whether a class is implicitly generic if a symbol for an outer class is missing. More...

#include <java_bytecode_convert_class.h>

Inheritance diagram for missing_outer_class_symbol_exceptiont:
Collaboration diagram for missing_outer_class_symbol_exceptiont:

Public Member Functions

 missing_outer_class_symbol_exceptiont (const std::string &outer, const std::string &inner)

Detailed Description

An exception that is raised checking whether a class is implicitly generic if a symbol for an outer class is missing.

Definition at line 55 of file java_bytecode_convert_class.h.

Constructor & Destructor Documentation

◆ missing_outer_class_symbol_exceptiont()

missing_outer_class_symbol_exceptiont::missing_outer_class_symbol_exceptiont ( const std::string & outer,
const std::string & inner )
inlineexplicit

Definition at line 58 of file java_bytecode_convert_class.h.


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