cz.cuni.mff.ksi.jinfer.base.automaton
Class AutomatonRegexpIntervalExpander

java.lang.Object
  cz.cuni.mff.ksi.jinfer.base.automaton.AutomatonRegexpIntervalExpander

public final class AutomatonRegexpIntervalExpander
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.

Method Summary

static <T> Regexp<T>

expandIntervalsRegexp(Regexp<T> regexp)

Methods inherited from class java.lang.Object

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

Method Detail

expandIntervalsRegexp

public static <T> Regexp<T> expandIntervalsRegexp(Regexp<T> regexp)