CBMC
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:

Public Member Functions

 unsupported_java_class_signature_exceptiont (std::string type)
 

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

Definition at line 1133 of file java_types.h.


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