|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.thaiopensource.relaxng.impl.PatternBuilder
com.thaiopensource.relaxng.impl.SchemaPatternBuilder
public class SchemaPatternBuilder
Field Summary | |
---|---|
private boolean |
idTypes
|
private PatternInterner |
schemaInterner
|
private TextPattern |
text
|
private UnexpandedNotAllowedPattern |
unexpandedNotAllowed
|
Fields inherited from class com.thaiopensource.relaxng.impl.PatternBuilder |
---|
interner, notAllowed |
Constructor Summary | |
---|---|
SchemaPatternBuilder()
|
Method Summary | |
---|---|
boolean |
hasIdTypes()
|
(package private) Pattern |
makeAttribute(NameClass nameClass,
Pattern value,
Locator loc)
|
(package private) Pattern |
makeChoice(Pattern p1,
Pattern p2)
|
(package private) Pattern |
makeData(Datatype dt)
|
(package private) Pattern |
makeDataExcept(Datatype dt,
Pattern except,
Locator loc)
|
(package private) Pattern |
makeElement(NameClass nameClass,
Pattern content,
Locator loc)
|
(package private) Pattern |
makeError()
|
(package private) Pattern |
makeList(Pattern p,
Locator loc)
|
(package private) Pattern |
makeMixed(Pattern p)
|
(package private) Pattern |
makeOneOrMore(Pattern p)
|
(package private) Pattern |
makeText()
|
(package private) Pattern |
makeUnexpandedNotAllowed()
|
(package private) Pattern |
makeValue(Datatype dt,
Object obj)
|
private void |
noteDatatype(Datatype dt)
|
Methods inherited from class com.thaiopensource.relaxng.impl.PatternBuilder |
---|
makeEmpty, makeGroup, makeInterleave, makeNotAllowed, makeOptional, makeZeroOrMore |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private boolean idTypes
private final UnexpandedNotAllowedPattern unexpandedNotAllowed
private final TextPattern text
private final PatternInterner schemaInterner
Constructor Detail |
---|
public SchemaPatternBuilder()
Method Detail |
---|
public boolean hasIdTypes()
Pattern makeElement(NameClass nameClass, Pattern content, Locator loc)
Pattern makeAttribute(NameClass nameClass, Pattern value, Locator loc)
Pattern makeData(Datatype dt)
Pattern makeDataExcept(Datatype dt, Pattern except, Locator loc)
Pattern makeValue(Datatype dt, Object obj)
Pattern makeText()
Pattern makeOneOrMore(Pattern p)
makeOneOrMore
in class PatternBuilder
Pattern makeUnexpandedNotAllowed()
Pattern makeError()
Pattern makeChoice(Pattern p1, Pattern p2)
makeChoice
in class PatternBuilder
Pattern makeList(Pattern p, Locator loc)
Pattern makeMixed(Pattern p)
private void noteDatatype(Datatype dt)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |