ci_lazy_methodst::convert_method_resultt Struct Reference

Public Attributes
bool	class_initializer_seen = false
bool	new_method_seen = false

Detailed Description

Definition at line 160 of file ci_lazy_methods.h.

Member Data Documentation

class_initializer_seen

bool ci_lazy_methodst::convert_method_resultt::class_initializer_seen = false

Definition at line 162 of file ci_lazy_methods.h.

new_method_seen

bool ci_lazy_methodst::convert_method_resultt::new_method_seen = false

Definition at line 163 of file ci_lazy_methods.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/jbmc/src/java_bytecode/ci_lazy_methods.h