AERA
Public Member Functions | Public Attributes | Static Public Attributes | Protected Member Functions | Protected Attributes | List of all members
r_code::Code Class Referenceabstract
Inheritance diagram for r_code::Code:
core::_Object r_code::LocalObject r_exec::Object< r_code::LocalObject, LObject > r_exec::LObject r_exec::_Fact r_exec::Goal r_exec::Group r_exec::ICST r_exec::MkActChg r_exec::MkHighAct r_exec::MkHighSln r_exec::MkLowAct r_exec::MkLowRes r_exec::MkLowSln r_exec::MkNew r_exec::MkRdx r_exec::MkSlnChg r_exec::Perf r_exec::Pred r_exec::Sim r_exec::Success

Public Member Functions

void set_strorage_index (int32 i)
 
bool is_registered () const
 
int32 get_storage_index () const
 
virtual uint32 get_oid () const =0
 
virtual void set_oid (uint32 oid)=0
 
virtual Atomcode (uint16 i)=0
 
virtual const Atomcode (uint16 i) const =0
 
virtual uint16 code_size () const =0
 
virtual void resize_code (uint16 new_size)=0
 
bool includes (Atom a) const
 
virtual void set_reference (uint16 i, Code *object)=0
 
virtual Codeget_reference (uint16 i) const =0
 
virtual uint16 references_size () const =0
 
virtual void clear_references ()=0
 
virtual void set_references (std::vector< P< Code > > &new_references)=0
 
virtual bool is_compact () const
 
virtual bool is_invalidated ()
 
virtual bool invalidate ()
 
virtual _Viewbuild_view (SysView *source)=0
 
virtual void acq_views ()
 
virtual void rel_views ()
 
virtual void acq_markers ()
 
virtual void rel_markers ()
 
virtual float32 get_psln_thr ()
 
virtual void mod (uint16, float32)
 
virtual void set (uint16, float32)
 
virtual _Viewget_view (Code *, bool)
 
virtual void add_reference (Code *)
 
void remove_marker (Code *m)
 
void trace (uint16 i, std::ostream &out, Atom::TraceContext &context) const
 
void trace (std::ostream &out) const
 
void trace () const
 
std::string trace_string () const
 
std::string trace_string (uint16 i) const
 
void r_trace (std::ostream &out) const
 
void r_trace () const
 
std::string r_trace_string () const
 
- Public Member Functions inherited from core::_Object
void incRef ()
 
virtual void decRef ()
 

Public Attributes

r_code::list< Code * > markers_
 
std::unordered_set< _View *, _View::Hash, _View::Equalviews_
 

Static Public Attributes

static const int32 null_storage_index = -1
 
static const uint32 CodeMarkersInitialSize = 8
 

Protected Member Functions

void load (SysObject *source)
 
template<class V >
_Viewbuild_view (SysView *source)
 

Protected Attributes

int32 storage_index_
 
- Protected Attributes inherited from core::_Object
int32 volatile refCount_
 

Detailed Description

Definition at line 223 of file r_code/object.h.

Member Function Documentation

◆ r_trace()

void r_code::Code::r_trace ( std::ostream &  out) const

Recursively call trace(out) to print the trace of this Code to the out stream, along the trace of each get_reference(0). (This doesn't print the trace of get_reference(0) if it is a mdl, cst, ent or ont.) This is useful, for example, to trace a fact as well as the mk.val it references.

Definition at line 306 of file object.cpp.

◆ r_trace_string()

std::string r_code::Code::r_trace_string ( ) const
inline

Return the r_trace as a string. For debugging purposes only (can be inefficient).

Definition at line 368 of file r_code/object.h.

◆ trace() [1/2]

void r_code::Code::trace ( std::ostream &  out) const
inline

Print the trace of this Code to the out stream.

Definition at line 317 of file r_code/object.h.

◆ trace() [2/2]

void r_code::Code::trace ( uint16  i,
std::ostream &  out,
Atom::TraceContext context 
) const
inline

Print the trace of code(i) to the out stream, using the given TraceContext.

Definition at line 299 of file r_code/object.h.

◆ trace_string() [1/2]

std::string r_code::Code::trace_string ( ) const
inline

Return the trace as a string. For debugging purposes only (can be inefficient).

Definition at line 339 of file r_code/object.h.

◆ trace_string() [2/2]

std::string r_code::Code::trace_string ( uint16  i) const
inline

Return the trace of code(i) as a string, using a default TraceContext (no indentation).

Definition at line 348 of file r_code/object.h.


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