public interface GrammarSection
| Modifier and Type | Interface and Description |
|---|---|
static class |
GrammarSection.Combine |
| Modifier and Type | Field and Description |
|---|---|
static GrammarSection.Combine |
COMBINE_CHOICE |
static GrammarSection.Combine |
COMBINE_INTERLEAVE |
static java.lang.String |
START |
| Modifier and Type | Method and Description |
|---|---|
void |
define(java.lang.String name,
GrammarSection.Combine combine,
ParsedPattern pattern,
Location loc,
Annotations anno) |
Div |
makeDiv() |
Include |
makeInclude()
Returns null if already in an include.
|
void |
topLevelAnnotation(ParsedElementAnnotation ea) |
void |
topLevelComment(CommentList comments) |
static final GrammarSection.Combine COMBINE_CHOICE
static final GrammarSection.Combine COMBINE_INTERLEAVE
static final java.lang.String START
void define(java.lang.String name,
GrammarSection.Combine combine,
ParsedPattern pattern,
Location loc,
Annotations anno)
throws BuildException
BuildExceptionvoid topLevelAnnotation(ParsedElementAnnotation ea) throws BuildException
BuildExceptionvoid topLevelComment(CommentList comments) throws BuildException
BuildExceptionDiv makeDiv()
Include makeInclude()