Loading...

Searching...

No Matches

Public Member Functions | List of all members

parameter_symbolt Class Reference

Symbol table entry of function parameterThis is a symbol generated as part of type checking. More...

#include <symbol.h>

+ Inheritance diagram for parameter_symbolt:

[フレーム]

[legend]

+ Collaboration diagram for parameter_symbolt:

[フレーム]

[legend]

Public Member Functions

parameter_symbolt ()

- Public Member Functions inherited from symbolt

const irep_idt & display_name () const

Return language specific display name if present.

symbolt ()

symbolt (const irep_idt &_name, typet _type, const irep_idt &_mode)

void swap (symbolt &b)

Swap values between two symbols.

void show (std::ostream &out) const

Dump the state of a symbol object to a given output stream.

class symbol_exprt symbol_expr () const

Produces a symbol_exprt for a symbol.

bool is_shared () const

bool is_function () const

bool is_compiled () const

Returns true iff the the symbol's value has been compiled to a goto program.

void set_compiled ()

Set the symbol's value to "compiled"; to be used once the code-typed value has been converted to a goto program.

bool is_well_formed () const

Check that a symbol is well formed.

bool operator== (const symbolt &other) const

bool operator!= (const symbolt &other) const

Additional Inherited Members

- Public Attributes inherited from symbolt

typet type

Type of symbol.

exprt value

Initial value of symbol.

source_locationt location

Source code location of definition of symbol.

irep_idt name

The unique identifier.

irep_idt irep_idt base_name

Name of module the symbol belongs to.

irep_idt mode

Language mode.

irep_idt pretty_name

Language-specific display name.

bool is_type = false

bool is_macro = false

bool is_exported = false

bool is_input = false

bool is_output = false

bool is_state_var = false

bool is_property = false

bool is_static_lifetime = false

bool is_thread_local = false

bool is_lvalue = false

bool is_file_local = false

bool is_extern = false

bool is_volatile = false

bool is_parameter = false

bool is_auxiliary = false

bool is_weak = false

Detailed Description

Symbol table entry of function parameter

This is a symbol generated as part of type checking.

Definition at line 178 of file symbol.h.

Constructor & Destructor Documentation

◆ parameter_symbolt()

parameter_symbolt::parameter_symbolt ( )

inline

Definition at line 181 of file symbol.h.

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

/home/runner/work/cbmc/cbmc/src/util/symbol.h