[jboss-cvs] jboss-seam ...

[Gavin King]

  User: gavin   
  Date: 07/01/17 20:03:25

  Modified:    jboss-seam  seam-text.g
  Log:
  h4
  
  Revision  Changes    Path
  1.21      +6 -3      jboss-seam/seam-text.g
  
  (In the diff below, changes in quantity of whitespace are not shown.)
  
  Index: seam-text.g
  ===================================================================
  RCS file: /cvsroot/jboss/jboss-seam/seam-text.g,v
  retrieving revision 1.20
  retrieving revision 1.21
  diff -u -b -r1.20 -r1.21
  --- seam-text.g	17 Jan 2007 02:52:31 -0000	1.20
  +++ seam-text.g	18 Jan 2007 01:03:24 -0000	1.21
  @@ -6,10 +6,10 @@
   class P extends Parser;
   options
   {
  -	k=3;
  +	k=4;
   }
   {   
  -	private java.util.Set htmlElements = new java.util.HashSet( java.util.Arrays.asList( new String[] { "a", "p", "quote", "code", "pre", "table", "tr", "td", "th", "ul", "ol", "li", "b", "i", "u", "tt", "del", "em", "hr", "br", "div", "span", "h1", "h2", "h3", "img" } ) );
  +	private java.util.Set htmlElements = new java.util.HashSet( java.util.Arrays.asList( new String[] { "a", "p", "quote", "code", "pre", "table", "tr", "td", "th", "ul", "ol", "li", "b", "i", "u", "tt", "del", "em", "hr", "br", "div", "span", "h1", "h2", "h3", "h4", "img" } ) );
   	private java.util.Set htmlAttributes = new java.util.HashSet( java.util.Arrays.asList( new String[] { "src", "href", "lang", "class", "id" } ) );
   	
       private StringBuilder builder = new StringBuilder();
  @@ -132,7 +132,7 @@
           DOUBLEQUOTE { append("</quote>"); }        
       ;
   
  -heading: ( h1 | h2 | h3 ) newlineOrEof
  +heading: ( h1 | h2 | h3 | h4 ) newlineOrEof
       ;
     
   h1: PLUS { append("<h1>"); } line { append("</h1>"); }
  @@ -144,6 +144,9 @@
   h3: PLUS PLUS PLUS { append("<h3>"); } line { append("</h3>"); }
       ;
    
  +h4: PLUS PLUS PLUS PLUS { append("<h4>"); } line { append("</h4>"); }
  +    ;
  + 
   list: olist | ulist
       ;