164 virtual void latex(std::ostream&)
const;
166 virtual std::string
name()
const=0;
212 virtual std::string
name()
const
217 return std::string(
"Inherit");
226 virtual std::string
name()
const
228 return std::string(
"PropertyInherit");
250 typedef internal_property_map_t::iterator
iterator;
270 typedef std::multimap<nset_t::iterator, pat_prop_pair_t, nset_it_less>
property_map_t;
291 template<
class T>
const T*
get(Ex::iterator,
const std::string& label)
const;
292 template<
class T>
const T*
get(Ex::iterator,
int&
serialnum,
const std::string& label,
bool doserial=
true)
const;
295 template<
class T>
const T*
get(Ex::iterator, Ex::iterator,
int&,
int&,
bool ignore_parent_rel=
false)
const;
302 const std::string& label,
307 const std::string& label,
366 int&
serialnum,
const std::string& label,
369 std::pair<const T*, const pattern *>
ret;
376 std::pair<property_map_t::const_iterator, property_map_t::const_iterator>
pit=
props.equal_range(it->name_only());
387 if(std::is_same<T, Accent>::value)
391 property_map_t::const_iterator walk=
pit.first;
392 while(walk!=
pit.second) {
393 if(
wildcards==(*walk).second.first->children_wildcard()) {
395 ret.first=
dynamic_cast<const T *
>((*walk).second.second);
398 ret.second=(*walk).second.first;
411 else if(
dynamic_cast<const Inherit<T> *
>((*walk).second.second))
425 if(std::is_same<T, LaTeXForm>::value)
431 Ex::sibling_iterator
sib=it.begin();
432 while(
sib!=it.end()) {
475 std::pair<property_map_t::const_iterator, property_map_t::const_iterator>
pit1=
props.equal_range(
it1->name_only());
476 std::pair<property_map_t::const_iterator, property_map_t::const_iterator>
pit2=
props.equal_range(
it2->name_only());
478 property_map_t::const_iterator
walk1=
pit1.first;
481 ret1=
dynamic_cast<const T *
>((*walk1).second.second);
483 property_map_t::const_iterator
walk2=
pit2.first;
486 ret2=
dynamic_cast<const T *
>((*walk2).second.second);
A generic tree comparison class which will take into account index contractions and will also keep tr...
Definition Compare.hh:197
Definition Storage.hh:170
If a property X derives from Inherit<Y>, and get<Y> is called on an object which has an X property (b...
Definition Props.hh:209
virtual ~Inherit()
Definition Props.hh:211
virtual std::string name() const
Definition Props.hh:212
internal_property_map_t store
Definition Props.hh:252
std::map< std::string, property *(*)()> internal_property_map_t
Definition Props.hh:249
internal_property_map_t::iterator iterator
Definition Props.hh:250
~registered_property_map_t()
Definition Props.cc:175
Class holding a collection of properties attached to expressions.
Definition Props.hh:242
void insert_list_prop(const std::vector< Ex > &, const list_property *)
Definition Props.cc:435
Ex::iterator head(Ex::iterator, bool ignore_parent_rel=false) const
Definition Props.hh:540
std::pair< pattern *, const property * > pat_prop_pair_t
Definition Props.hh:261
std::string master_insert(Ex proptree, const property *thepropbase)
Register a property for the indicated Ex.
Definition Props.cc:580
std::pair< const T *, const pattern * > get_with_pattern_ext(Ex::iterator, Ex_comparator &, int &serialnum, const std::string &label, bool doserial=true, bool ignore_parent_rel=false) const
Definition Props.hh:365
pattern_map_t pats
Definition Props.hh:285
registered_property_map_t registered_properties
Definition Props.hh:260
bool check_label(const property *, const std::string &) const
Definition Props.cc:643
std::multimap< const property *, pattern * > pattern_map_t
Definition Props.hh:271
void register_property(property *(*)(), const std::string &name)
Registering properties.
Definition Props.cc:180
std::multimap< nset_t::iterator, pat_prop_pair_t, nset_it_less > property_map_t
We keep two multi-maps: one from the pattern to the property (roughly) and one from the property to t...
Definition Props.hh:270
bool has(const property *, Ex::iterator)
Definition Props.cc:140
Ex_comparator * create_comparator() const
Definition Props.cc:653
std::pair< const T *, const pattern * > get_with_pattern(Ex::iterator, int &serialnum, const std::string &label, bool doserial=true, bool ignore_parent_rel=false) const
General property finder, which will return not only the property but also the pattern which matched t...
Definition Props.hh:354
void destroy_comparator(Ex_comparator *) const
Definition Props.cc:658
const T * get(Ex::iterator, bool ignore_parent_rel=false) const
Normal search: given a pattern, get its property if any.
Definition Props.hh:340
void insert_prop(const Ex &, const property *)
Definition Props.cc:349
property_map_t props
The following two maps own the pointers to the properties and patterns stored in them; use clear() to...
Definition Props.hh:284
int serial_number(const property *, const pattern *) const
Definition Props.cc:530
void clear()
Definition Props.cc:156
PropertyInherit is like Inherit<T> for all properties.
Definition Props.hh:224
virtual std::string name() const
Definition Props.hh:226
Arguments to properties get parsed into a keyval_t structure.
Definition Props.hh:68
kvlist_t::const_iterator const_iterator
Definition Props.hh:73
std::list< kvpair_t > kvlist_t
Definition Props.hh:71
void push_back(const kvpair_t &)
Definition Props.cc:217
const_iterator end() const
Definition Props.cc:212
kvlist_t keyvals
Definition Props.hh:85
std::pair< std::string, Ex > kvpair_t
Definition Props.hh:70
kvlist_t::iterator iterator
Definition Props.hh:74
const_iterator begin() const
Definition Props.cc:207
kvpair_t value_type
Definition Props.hh:75
void erase(iterator)
Definition Props.cc:222
const_iterator find(const std::string &) const
Definition Props.cc:185
std::string label
Definition Props.hh:192
virtual bool parse(Kernel &, std::shared_ptr< Ex >, keyval_t &) override
Definition Props.cc:320
Something cannot be both a list property and a normal property at the same time, so we can safely inh...
Definition Props.hh:198
bool match(const Properties &, const Ex::iterator &, bool ignore_parent_rel=false, bool ignore_properties=false) const
Match a pattern to an expression.
Definition Props.cc:43
bool match_ext(const Properties &, const Ex::iterator &, Ex_comparator &comp, bool ignore_parent_rel=false, bool ignore_properties=false) const
As match, but using a comparator object which is externally provided, so that the caller can use the ...
Definition Props.cc:49
Ex obj
Definition Props.hh:63
bool children_wildcard() const
Definition Props.cc:132
pattern()
Definition Props.cc:34
Base class for all properties, handling argument parsing and defining the interface.
Definition Props.hh:127
virtual match_t equals(const property *) const
Definition Props.cc:315
virtual void validate(Kernel &, std::shared_ptr< Ex >) const
Definition Props.cc:255
virtual bool parse(Kernel &, keyval_t &keyvals)
Definition Props.cc:243
virtual void latex(std::ostream &) const
Display the property on the stream.
Definition Props.cc:305
bool parse_to_keyvals(const Ex &, keyval_t &)
Definition Props.cc:279
virtual std::string unnamed_argument() const
Definition Props.cc:310
bool parse_one_argument(Ex::iterator arg, keyval_t &keyvals)
Definition Props.cc:259
bool hidden(void) const
Definition Props.cc:238
bool hidden_
Definition Props.hh:186
virtual ~property()
Definition Props.hh:130
virtual std::string name() const =0
match_t
Definition Props.hh:175
@ exact_match
Definition Props.hh:175
@ no_match
Definition Props.hh:175
@ id_match
Definition Props.hh:175
Functions to handle the exchange properties of two or more symbols in a product.
Definition Adjform.cc:83
void set(rset_t::iterator &num, multiplier_t fac)
Definition Storage.cc:1179