KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > com > thaiopensource > relaxng > parse > GrammarSection


1 package com.thaiopensource.relaxng.parse;
2
3 public interface GrammarSection {
4
5   static final class Combine {
6     private final String JavaDoc name;
7     private Combine(String JavaDoc name) {
8       this.name = name;
9     }
10     final public String JavaDoc toString() {
11       return name;
12     }
13   }
14
15   static final Combine COMBINE_CHOICE = new Combine("choice");
16   static final Combine COMBINE_INTERLEAVE = new Combine("interleave");
17
18   static final String JavaDoc START = new String JavaDoc("#start");
19
20   void define(String JavaDoc name, Combine combine, ParsedPattern pattern, Location loc, Annotations anno)
21     throws BuildException;
22   void topLevelAnnotation(ParsedElementAnnotation ea) throws BuildException;
23   void topLevelComment(CommentList comments) throws BuildException;
24   Div makeDiv();
25   /**
26    * Returns null if already in an include.
27    */
28   Include makeInclude();
29 }
30
Popular Tags