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

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.

Constructor & Destructor Documentation

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

inlineexplicit

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

/home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/java_bytecode_convert_class.h