com.thaiopensource.relaxng.impl
Class ValueDataDerivType

java.lang.Object
  com.thaiopensource.relaxng.impl.DataDerivType
      com.thaiopensource.relaxng.impl.ValueDataDerivType

 class ValueDataDerivType
extends DataDerivType

Field Summary

private Datatype	dt
private PatternMemo	noValue
private Hashtable	valueTable

Constructor Summary

ValueDataDerivType(Datatype dt)

Method Summary

(package private) DataDerivType	combine(DataDerivType ddt)
(package private) DataDerivType	copy()
(package private) PatternMemo	dataDeriv(ValidatorPatternBuilder builder, Pattern p, String str, ValidationContext vc)
(package private) Datatype	getDatatype()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

dt

private final Datatype dt

noValue

private PatternMemo noValue

valueTable

private Hashtable valueTable

Constructor Detail

ValueDataDerivType

ValueDataDerivType(Datatype dt)

Method Detail

copy

DataDerivType copy()

Specified by:

copy in class DataDerivType

dataDeriv

PatternMemo dataDeriv(ValidatorPatternBuilder builder,
                      Pattern p,
                      String str,
                      ValidationContext vc)

Overrides:

dataDeriv in class DataDerivType

combine

DataDerivType combine(DataDerivType ddt)

Specified by:

combine in class DataDerivType

getDatatype

Datatype getDatatype()