cprover
|
#include <java_types.h>
Classes | |
class | componentt |
class | java_lambda_method_handlet |
Represents a lambda call to a method. More... | |
class | methodt |
Additional Inherited Members | |
![]() | |
static void | check (const typet &, const validation_modet=validation_modet::INVARIANT) |
Check that the type is well-formed (shallow checks only, i.e., subtypes are not checked) | |
static void | validate (const typet &type, const namespacet &, const validation_modet vm=validation_modet::INVARIANT) |
Check that the type is well-formed, assuming that its subtypes have already been checked for well-formedness. | |
static void | validate_full (const typet &type, const namespacet &ns, const validation_modet vm=validation_modet::INVARIANT) |
Check that the type is well-formed (full check, including checks of subtypes) | |
![]() | |
static bool | is_comment (const irep_idt &name) |
static std::size_t | number_of_non_comments (const named_subt &) |
count the number of named_sub elements that are not comments | |
![]() | |
void | detach () |
![]() | |
static void | remove_ref (dt *old_data) |
static void | nonrecursive_destructor (dt *old_data) |
Does the same as remove_ref, but using an explicit stack instead of recursion. | |
![]() | |
dt * | data |
![]() | |
static dt | empty_d |
Definition at line 196 of file java_types.h.
using java_class_typet::componentst = std::vector<componentt> |
Definition at line 222 of file java_types.h.
Definition at line 515 of file java_types.h.
using java_class_typet::methodst = std::vector<methodt> |
Definition at line 298 of file java_types.h.
using java_class_typet::static_memberst = std::vector<componentt> |
Definition at line 311 of file java_types.h.
Definition at line 310 of file java_types.h.
Indicates what sort of code should be synthesised for a lambda call:
Definition at line 464 of file java_types.h.
|
inline |
Definition at line 530 of file java_types.h.
|
inline |
Definition at line 537 of file java_types.h.
|
inline |
Definition at line 229 of file java_types.h.
|
inline |
Definition at line 224 of file java_types.h.
|
inline |
is class abstract?
Definition at line 416 of file java_types.h.
Definition at line 323 of file java_types.h.
|
inline |
Definition at line 549 of file java_types.h.
|
inline |
Definition at line 543 of file java_types.h.
|
inline |
Definition at line 234 of file java_types.h.
|
inline |
Definition at line 383 of file java_types.h.
Get the name of a java inner class.
Definition at line 570 of file java_types.h.
|
inline |
is class an interface?
Definition at line 452 of file java_types.h.
|
inline |
is class an annotation?
Definition at line 440 of file java_types.h.
|
inline |
Definition at line 373 of file java_types.h.
|
inline |
is class an enumeration?
Definition at line 404 of file java_types.h.
|
inline |
Definition at line 333 of file java_types.h.
|
inline |
Definition at line 363 of file java_types.h.
|
inline |
Definition at line 398 of file java_types.h.
Get the name of the struct, which can be used to look up its symbol in the symbol table.
Definition at line 557 of file java_types.h.
Definition at line 343 of file java_types.h.
Definition at line 353 of file java_types.h.
|
inline |
is class synthetic?
Definition at line 428 of file java_types.h.
|
inline |
Definition at line 524 of file java_types.h.
|
inline |
Definition at line 517 of file java_types.h.
|
inline |
Definition at line 305 of file java_types.h.
Definition at line 300 of file java_types.h.
marks class abstract
Definition at line 422 of file java_types.h.
Definition at line 328 of file java_types.h.
Definition at line 388 of file java_types.h.
Set the name of a java inner class.
Definition at line 576 of file java_types.h.
marks class an interface
Definition at line 458 of file java_types.h.
marks class an annotation
Definition at line 446 of file java_types.h.
Definition at line 378 of file java_types.h.
marks class as an enumeration
Definition at line 410 of file java_types.h.
Definition at line 338 of file java_types.h.
Definition at line 368 of file java_types.h.
Definition at line 393 of file java_types.h.
Set the name of the struct, which can be used to look up its symbol in the symbol table.
Definition at line 564 of file java_types.h.
Definition at line 348 of file java_types.h.
Definition at line 358 of file java_types.h.
marks class synthetic
Definition at line 434 of file java_types.h.
|
inline |
Definition at line 318 of file java_types.h.
|
inline |
Definition at line 313 of file java_types.h.