// June 28 DAWG grammar

// Notes for the tail form:
// javacc will not know that RBRACE is always the terminating token.
// This confuses GroupOrUnionPattern

Element GroupGraphPattern() : {}
{
    { ElementGroup elg = new ElementGroup() ; }
  <LBRACE> 
    GraphPattern(elg)
  <RBRACE>
    {return elg ; }
}

void GraphPattern(ElementGroup elg) : { Element el = null ; }
{
  (Triples(elg) (<DOT>)? )?
  (
    el = GraphPatternNotTriples() { elg.addElement(el) ; }
    (<DOT>)?
    GraphPattern(elg)
  )?
}

// -----------------------------------------------
// Version in which DOT is NOT optional after a triples, 
// if anything else occurs.

Element GroupGraphPattern() : {}
{
    { ElementGroup elg = new ElementGroup() ; }
  <LBRACE> 
    GroupGraphPatternTail(elg)
  <RBRACE> 
    { return elg ; }
   
}

// Does not end in a DOT
void GroupGraphPatternTail(ElementGroup elg) : { Element el = null ;}
{
  ( 
    Triples1(elg) 
//     ( el = GraphPatternNotTriples() { elg.addElement(el) ; }
//       GroupGraphPatternTail(elg) 
//     | <DOT> GroupGraphPatternTail(elg) 
//     )?
    // Fixed DOT after triples if there is more
    (<DOT> GroupGraphPatternTail(elg) )?
  | 
    el = GraphPatternNotTriples() { elg.addElement(el) ; }
    GroupGraphPatternTail(elg)
  )?
}


// Bare patterns
// -----------------------------------------------

void WhereClause() : { Element el ; }
{
   LOOKAHEAD(2)
   <WHERE> el = QueryPattern() { getQuery().setQueryElement(el) ; }
 |
   el = GroupGraphPattern() { getQuery().setQueryElement(el) ; }
}

. . . .

Element QueryPattern() : { Element el ; }
{
//   el = GroupGraphPattern() { return el ; }

    { ElementGroup elg = new ElementGroup() ; }
    (
      el = GraphPatternNotTriples() { elg.addElement(el) ; }
      (<DOT>)?
      QueryPatternTail(elg)
    |
      Triples(elg)
      (<DOT>)?
      ( el = GraphPatternNotTriples() { elg.addElement(el) ; }
        (<DOT>)?
        QueryPatternTail(elg)
      )?
    )

    { return compressGroupOfOneGroup(elg) ; }
}