public class Definition
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
CHOICE |
static int |
INTERLEAVE |
static int |
UNDEFINED |
Constructor and Description |
---|
Definition(java.lang.String name,
Grammar containingGrammar) |
Definition(java.lang.String name,
Grammar containingGrammar,
int combine) |
Modifier and Type | Method and Description |
---|---|
Definition |
combineWith(Definition d) |
int |
getCombine() |
Form |
getForm() |
Grammar |
getGrammar() |
java.lang.String |
getName() |
void |
set(FormProvider f) |
java.lang.String |
toString() |
public static final int UNDEFINED
public static final int CHOICE
public static final int INTERLEAVE
public Definition(java.lang.String name, Grammar containingGrammar)
public Definition(java.lang.String name, Grammar containingGrammar, int combine)
public Definition combineWith(Definition d)
public void set(FormProvider f)
public Form getForm()
public java.lang.String getName()
public int getCombine()
public Grammar getGrammar()
public java.lang.String toString()
toString
in class java.lang.Object