Loading...
Searching...
No Matches
unsupported_java_class_signature_exceptiont Class Reference
An exception that is raised for unsupported class signature.
More...
#include <java_types.h>
+ Inheritance diagram for unsupported_java_class_signature_exceptiont:
+ Collaboration diagram for unsupported_java_class_signature_exceptiont:
Detailed Description
An exception that is raised for unsupported class signature.
Currently we do not parse multiple bounds.
Definition at line 1130 of file java_types.h.
Constructor & Destructor Documentation
◆ unsupported_java_class_signature_exceptiont()
unsupported_java_class_signature_exceptiont::unsupported_java_class_signature_exceptiont
(
std::string
type )
inlineexplicit
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/java_types.h
