Ignore:
Timestamp:
2015-10-04T17:53:14+02:00 (6 years ago)
Author:
simon04
Message:

see #11916 - Search: allow to use multiple MapCSS selectors and child/parent selectors

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/mappaint/mapcss/MapCSSParser.jj

    r8791 r8822  
    604604void rule():
    605605{
    606     List<Selector> selectors = new ArrayList<Selector>();
    607     Selector sel;
     606    List<Selector> selectors;
    608607    Declaration decl;
    609608}
    610609{
    611     sel=child_selector() { selectors.add(sel); }
    612     (
    613         <COMMA> w()
    614         sel=child_selector() { selectors.add(sel); }
    615     )*
     610    selectors=selectors()
    616611    decl=declaration()
    617612    {
     
    620615        }
    621616    }
     617}
     618
     619List<Selector> selectors():
     620{
     621    List<Selector> selectors = new ArrayList<Selector>();
     622    Selector sel;
     623}
     624{
     625    sel=child_selector() { selectors.add(sel); }
     626    (
     627        <COMMA> w()
     628        sel=child_selector() { selectors.add(sel); }
     629    )*
     630    { return selectors; }
    622631}
    623632
Note: See TracChangeset for help on using the changeset viewer.