CBMC
|
An exception that is raised for unsupported class signature. More...
#include <java_types.h>
Public Member Functions | |
unsupported_java_class_signature_exceptiont (std::string type) | |
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.
|
inlineexplicit |
Definition at line 1133 of file java_types.h.