cz.cuni.mff.ksi.jinfer.basicdtd
Class IntervalExpander

java.lang.Object
  cz.cuni.mff.ksi.jinfer.basicdtd.IntervalExpander

public class IntervalExpander
extends Object

Class for recursive expanding of all intervals of regexps, that cannot be represented in DTD format. That is, interval in form {m, n}, where m > 0 or n is not infinity (DTD has only ?, *, + intervals). Expansion is done recursively, every regexp in form a{m > 0, n} is replaced by regexp in form (a,a,a,a, ... (m-1 times),a{1,infinity}) that is declaration in DTD language.

Constructor Summary

IntervalExpander()

Method Summary

Regexp<AbstractStructuralNode>

expandIntervalsRegexp(Regexp<AbstractStructuralNode> regexp)

Methods inherited from class java.lang.Object

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

Constructor Detail

IntervalExpander

public IntervalExpander()

Method Detail

expandIntervalsRegexp

public Regexp<AbstractStructuralNode> expandIntervalsRegexp(Regexp<AbstractStructuralNode> regexp)