28 #include <type_traits>
54 bool match(
const Properties&,
const Ex::iterator&,
bool ignore_parent_rel=
false,
bool ignore_properties=
false)
const;
69 typedef std::pair<std::string, Ex::iterator>
kvpair_t;
158 virtual void latex(std::ostream&)
const;
160 virtual std::string
name()
const=0;
206 virtual std::string
name()
const
208 return std::string(
"Stay Away");
217 virtual std::string
name()
const
219 return std::string(
"PropertyInherit");
241 typedef internal_property_map_t::iterator
iterator;
261 typedef std::multimap<nset_t::iterator, pat_prop_pair_t, nset_it_less>
property_map_t;
279 template<
class T>
const T*
get(Ex::iterator,
bool ignore_parent_rel=
false)
const;
280 template<
class T>
const T*
get(Ex::iterator,
int& serialnum,
bool doserial=
true,
bool ignore_parent_rel=
false)
const;
282 template<
class T>
const T*
get(Ex::iterator,
const std::string& label)
const;
283 template<
class T>
const T*
get(Ex::iterator,
int& serialnum,
const std::string& label,
bool doserial=
true)
const;
285 template<
class T>
const T*
get(Ex::iterator, Ex::iterator,
bool ignore_parent_rel=
false)
const;
286 template<
class T>
const T*
get(Ex::iterator, Ex::iterator,
int&,
int&,
bool ignore_parent_rel=
false)
const;
292 std::pair<const T*, const pattern *>
get_with_pattern(Ex::iterator,
int& serialnum,
293 const std::string& label,
294 bool doserial=
true,
bool ignore_parent_rel=
false)
const;
298 const std::string& label,
299 bool doserial=
true,
bool ignore_parent_rel=
false)
const;
303 template<
class T> Ex::iterator
head(Ex::iterator,
bool ignore_parent_rel=
false)
const;
332 return get<T>(it, tmp,
false, ignore_parent_rel);
336 const T*
Properties::get(Ex::iterator it,
int& serialnum,
bool doserial,
bool ignore_parent_rel)
const
338 auto ret = get_with_pattern<T>(it, serialnum,
"", doserial, ignore_parent_rel);
344 bool doserial,
bool ignore_parent_rel)
const
348 auto ret = get_with_pattern_ext<T>(it, *compptr, serialnum, label, doserial, ignore_parent_rel);
355 int& serialnum,
const std::string& label,
356 bool doserial,
bool ignore_parent_rel)
const
358 std::pair<const T*, const pattern *> ret;
365 std::pair<property_map_t::const_iterator, property_map_t::const_iterator> pit=
props.equal_range(it->name_only());
370 bool wildcards=
false;
375 bool ignore_properties=
false;
376 if(std::is_same<T, Accent>::value) ignore_properties=
true;
379 property_map_t::const_iterator walk=pit.first;
380 while(walk!=pit.second) {
381 if(wildcards==(*walk).second.first->children_wildcard()) {
383 ret.first=
dynamic_cast<const T *
>((*walk).second.second);
385 if((*walk).second.first->match_ext(*
this, it, comp, ignore_parent_rel, ignore_properties)) {
386 ret.second=(*walk).second.first;
391 serialnum=
serial_number( (*walk).second.second, (*walk).second.first );
399 else if(
dynamic_cast<const Inherit<T> *
>((*walk).second.second))
404 if(!wildcards && !ret.first) {
412 if(!ret.first && inherits) {
414 Ex::sibling_iterator sib=it.begin();
415 while(sib!=it.end()) {
416 std::pair<const T*, const pattern *> tmp=get_with_pattern<T>((Ex::iterator)(sib), serialnum, label, doserial);
430 const T* Properties::get(Ex::iterator it,
const std::string& label)
const
433 return get<T>(it, tmp, label,
false);
437 const T* Properties::get(Ex::iterator it,
int& serialnum,
const std::string& label,
bool doserial)
const
439 auto ret=get_with_pattern<T>(it, serialnum, label, doserial,
false);
444 const T* Properties::get(Ex::iterator it1, Ex::iterator it2,
bool ignore_parent_rel)
const
447 return get<T>(it1,it2,tmp1,tmp2, ignore_parent_rel);
451 const T* Properties::get(Ex::iterator it1, Ex::iterator it2,
int& serialnum1,
int& serialnum2,
bool ignore_parent_rel)
const
457 bool inherits1=
false, inherits2=
false;
458 std::pair<property_map_t::const_iterator, property_map_t::const_iterator> pit1=props.equal_range(it1->name_only());
459 std::pair<property_map_t::const_iterator, property_map_t::const_iterator> pit2=props.equal_range(it2->name_only());
461 property_map_t::const_iterator walk1=pit1.first;
462 while(walk1!=pit1.second) {
463 if((*walk1).second.first->match(*
this, it1, ignore_parent_rel)) {
464 ret1=
dynamic_cast<const T *
>((*walk1).second.second);
466 property_map_t::const_iterator walk2=pit2.first;
467 while(walk2!=pit2.second) {
468 if((*walk2).second.first->match(*
this, it2, ignore_parent_rel)) {
469 ret2=
dynamic_cast<const T *
>((*walk2).second.second);
471 if(ret1==ret2 && walk1!=walk2) {
472 serialnum1=serial_number( (*walk1).second.second, (*walk1).second.first );
473 serialnum2=serial_number( (*walk2).second.second, (*walk2).second.first );
491 if(!found && (inherits1 || inherits2)) {
492 Ex::sibling_iterator sib1, sib2;
493 if(inherits1) sib1=it1.begin();
495 bool keepgoing1=
true;
497 bool keepgoing2=
true;
498 if(inherits2) sib2=it2.begin();
501 const T* tmp=get<T>((Ex::iterator)(sib1), (Ex::iterator)(sib2), serialnum1, serialnum2, ignore_parent_rel);
507 if(!inherits2 || ++sib2==it2.end())
511 if(!inherits1 || ++sib1==it1.end())
523 Ex::iterator Properties::head(Ex::iterator it,
bool ignore_parent_rel)
const
527 if(get<PropertyInherit>(dn, ignore_parent_rel)) {