com.thaiopensource.relaxng.impl
Class SingleDataDerivType

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

 class SingleDataDerivType
extends DataDerivType

DerivType for a Pattern whose derivative wrt any data is always the same.

Field Summary

private PatternMemo

memo

Constructor Summary

SingleDataDerivType()

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

memo

private PatternMemo memo

Constructor Detail

SingleDataDerivType

SingleDataDerivType()

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