cprover
Loading...
Searching...
No Matches
java_pointer_casts.h File Reference

JAVA Pointer Casts. More...

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

bool find_superclass_with_type (exprt &ptr, const typet &target_type, const namespacet &ns)
exprt make_clean_pointer_cast (const exprt &ptr, const pointer_typet &target_type, const namespacet &ns)

Detailed Description

JAVA Pointer Casts.

Definition in file java_pointer_casts.h.

Function Documentation

◆ find_superclass_with_type()

bool find_superclass_with_type ( exprt & ptr,
const typet & target_type,
const namespacet & ns )
parameters: pointer
target type to search
Returns
true iff a super class with target type is found

Definition at line 32 of file java_pointer_casts.cpp.

◆ make_clean_pointer_cast()

exprt make_clean_pointer_cast ( const exprt & rawptr,
const pointer_typet & target_type,
const namespacet & ns )
parameters: raw pointer
target type namespace
Returns
cleaned up typecast expression

Definition at line 75 of file java_pointer_casts.cpp.