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

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:
  • /builddir/build/BUILD/cbmc-6.7.1-build/cbmc-cbmc-6.7.1/jbmc/src/java_bytecode/java_types.h