com.thaiopensource.relaxng.impl
Class DataDataDerivType

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

 class DataDataDerivType
extends DataDerivType

Field Summary

private Datatype	dt
private PatternMemo	invalidMemo
private PatternMemo	validMemo

Constructor Summary

DataDataDerivType(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)

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

validMemo

private PatternMemo validMemo

invalidMemo

private PatternMemo invalidMemo

Constructor Detail

DataDataDerivType

DataDataDerivType(Datatype dt)

Method Detail

dataDeriv

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

Overrides:

dataDeriv in class DataDerivType

copy

DataDerivType copy()

Specified by:

copy in class DataDerivType

combine

DataDerivType combine(DataDerivType ddt)

Specified by:

combine in class DataDerivType