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
BuildException
void topLevelAnnotation(ParsedElementAnnotation ea) throws BuildException
BuildException
void topLevelComment(CommentList comments) throws BuildException
BuildException
Div makeDiv()
Include makeInclude()