|
basix_doc 0.1
|
Definition at line 25 of file generic_object.cpp.
| generic_object_rep | ( | const generic & | rep2, |
| nat | id2 | ||
| ) | [inline] |
Definition at line 70 of file generic_object.cpp.
Reimplemented in generic_concrete_rep< C >.
Definition at line 282 of file generic.cpp.
{ return NULL; }
Reimplemented in generic_concrete_rep< C >.
Definition at line 281 of file generic.cpp.
{ return NULL; }
| nat acc_id | ( | ) | const [virtual, inherited] |
Reimplemented in generic_concrete_rep< C >.
Definition at line 280 of file generic.cpp.
{ return -1; }
| generic binary_disassemble | ( | ) | const [inline, protected, virtual] |
Implements generic_rep.
Definition at line 60 of file generic_object.cpp.
References ERROR.
{
ERROR ("binary disassemble not implemented for user objects"); }
| generic binary_type | ( | ) | const [inline, protected, virtual] |
Implements generic_rep.
Definition at line 58 of file generic_object.cpp.
References ERROR.
{
ERROR ("binary type not implemented for user objects"); }
| void binary_write | ( | const port & | p | ) | const [inline, protected, virtual] |
Implements generic_rep.
Definition at line 62 of file generic_object.cpp.
References ERROR.
{
ERROR ("binary write not implemented for user objects"); }
| generic duplicate_me | ( | ) | const [inline, protected, virtual] |
Implements generic_rep.
Definition at line 49 of file generic_object.cpp.
References mmx::as_object(), mmx::duplicate(), and generic_object_rep::rep.
| syntactic expression | ( | ) | const [inline, protected, virtual] |
Implements generic_rep.
Definition at line 51 of file generic_object.cpp.
References mmx::as(), mmx::as_object(), mmx::current_ev, mmx::flatten(), mmx::GEN_FLATTEN, mmx::get_alias(), mmx::is_alias_type(), and generic_object_rep::rep.
{
if (is_alias_type (id))
return flatten (get_alias (as<alias<generic> > (rep)));
else {
//return apply ("object", flatten (rep), flatten (type_name (id))); }
generic r= current_ev->apply (GEN_FLATTEN, as_object (rep, id));
return as<syntactic> (r); } }
Implements generic_rep.
Definition at line 36 of file generic_object.cpp.
References ERROR.
{ ERROR ("invalid child"); return 0; }
| nat get_exact_hash_value | ( | ) | const [inline, protected, virtual] |
Implements generic_rep.
Definition at line 38 of file generic_object.cpp.
References mmx::exact_hash(), and generic_object_rep::rep.
{ return exact_hash (rep); }
| nat get_hard_hash_value | ( | ) | const [inline, protected, virtual] |
Implements generic_rep.
Definition at line 37 of file generic_object.cpp.
References mmx::hard_hash(), and generic_object_rep::rep.
| nat get_hash_value | ( | ) | const [inline, protected, virtual] |
Implements generic_rep.
Definition at line 39 of file generic_object.cpp.
References mmx::hash(), and generic_object_rep::rep.
| nat get_length | ( | ) | const [inline, protected, virtual] |
| nat get_species_type | ( | ) | const [inline, protected, virtual] |
Implements generic_rep.
Definition at line 34 of file generic_object.cpp.
References SPECIES_DEFAULT.
{ return SPECIES_DEFAULT; }
| nat get_symbolic_type | ( | ) | const [inline, protected, virtual] |
Implements generic_rep.
Definition at line 33 of file generic_object.cpp.
References SYMBOLIC_UNSPECIFIED.
{ return SYMBOLIC_UNSPECIFIED; }
| nat get_type | ( | ) | const [inline, protected, virtual] |
Implements generic_rep.
Definition at line 31 of file generic_object.cpp.
References generic_object_rep::id.
{ return id; }
| bool is_equal | ( | const generic & | g | ) | const [inline, protected, virtual] |
Implements generic_rep.
Definition at line 46 of file generic_object.cpp.
References generic_object_rep::rep, and mmx::type().
{
if (type (g) != id) return false;
return rep == ((generic_object_rep*) inspect (g)) -> rep; }
| bool is_exact_eq | ( | const generic & | g | ) | const [inline, protected, virtual] |
Implements generic_rep.
Definition at line 43 of file generic_object.cpp.
References mmx::exact_eq(), generic_object_rep::rep, and mmx::type().
{
if (type (g) != id) return false;
return exact_eq (rep, ((generic_object_rep*) inspect (g)) -> rep); }
| bool is_hard_eq | ( | const generic & | g | ) | const [inline, protected, virtual] |
Implements generic_rep.
Definition at line 40 of file generic_object.cpp.
References mmx::hard_eq(), generic_object_rep::rep, and mmx::type().
{
if (type (g) != id) return false;
return hard_eq (rep, ((generic_object_rep*) inspect (g)) -> rep); }
| generic make_abstract_vector | ( | ) | const [inline, protected, virtual] |
Implements generic_rep.
Definition at line 64 of file generic_object.cpp.
References ERROR.
{
ERROR ("invalid abstraction"); }
Implements generic_rep.
Definition at line 66 of file generic_object.cpp.
References ERROR.
{
ERROR ("invalid concretization"); }
| generic me | ( | ) | const [inline, inherited] |
| bool same_type | ( | const generic & | g | ) | const [inline, protected, virtual] |
Implements generic_rep.
Definition at line 32 of file generic_object.cpp.
References generic_object_rep::id, and mmx::type_id().
friend class generic [friend, inherited] |
Definition at line 123 of file generic.hpp.
Definition at line 28 of file generic_object.cpp.
Referenced by generic_object_rep::get_type(), and generic_object_rep::same_type().
Definition at line 27 of file generic_object.cpp.
Referenced by generic_object_rep::duplicate_me(), generic_object_rep::expression(), generic_object_rep::get_exact_hash_value(), generic_object_rep::get_hard_hash_value(), generic_object_rep::get_hash_value(), generic_object_rep::is_equal(), generic_object_rep::is_exact_eq(), and generic_object_rep::is_hard_eq().