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 283 of file generic.cpp.
Reimplemented in generic_concrete_rep< C >.
Definition at line 282 of file generic.cpp.
nat acc_id | ( | ) | const [virtual, inherited] |
Reimplemented in generic_concrete_rep< C >.
Definition at line 281 of file generic.cpp.
generic binary_disassemble | ( | ) | const [inline, protected, virtual] |
Implements generic_rep.
Definition at line 60 of file generic_object.cpp.
References ERROR.
00060 { 00061 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.
00058 { 00059 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.
00062 { 00063 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.
00051 { 00052 if (is_alias_type (id)) 00053 return flatten (get_alias (as<alias<generic> > (rep))); 00054 else { 00055 //return apply ("object", flatten (rep), flatten (type_name (id))); } 00056 generic r= current_ev->apply (GEN_FLATTEN, as_object (rep, id)); 00057 return as<syntactic> (r); } }
Implements generic_rep.
Definition at line 36 of file generic_object.cpp.
References ERROR.
00036 { 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.
00038 { 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.
00034 { 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.
00033 { 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.
00031 { 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().
00046 { 00047 if (type (g) != id) return false; 00048 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().
00043 { 00044 if (type (g) != id) return false; 00045 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().
00040 { 00041 if (type (g) != id) return false; 00042 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.
00064 { 00065 ERROR ("invalid abstraction"); }
Implements generic_rep.
Definition at line 66 of file generic_object.cpp.
References ERROR.
00066 { 00067 ERROR ("invalid concretization"); }
generic me | ( | ) | const [inline, inherited] |
Definition at line 148 of file generic.hpp.
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().
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().