cprover
Loading...
Searching...
No Matches
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 162 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 164 of file ci_lazy_methods.h.

◆ new_method_seen

bool ci_lazy_methodst::convert_method_resultt::new_method_seen = false

Definition at line 165 of file ci_lazy_methods.h.


The documentation for this struct was generated from the following file:
  • /builddir/build/BUILD/cbmc-6.7.0-build/cbmc-cbmc-6.7.0/jbmc/src/java_bytecode/ci_lazy_methods.h