org.stekikun.dolmen.tagged

Class TRegulars

java.lang.Object

org.stekikun.dolmen.tagged.TRegulars

public abstract class TRegulars
extends Object

This class contains various utility methods about tagged regular expressions.

Author:

Stéphane Lescuyer

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	TRegulars.MatchResult The result of a successful match of a tagged regular expression against some input string

Method Summary

Modifier and Type	Method and Description
static Iterable<TRegulars.MatchResult>	allMatches(List<CSet> charSets, TRegular regular, String input)
static Set<TRegular.TagInfo>	emptyMatched(TRegular regular)
static boolean	equal(TRegular r1, TRegular r2) This is not an equivalence test between tagged regular expressions, in the sense that it can return false on two different regular expressions which would otherwise recognize the same language.
static @Nullable Map<TRegular.TagInfo,Integer>	matches(List<CSet> charSets, TRegular regular, String input)
static Iterable<String>	witnesses(List<CSet> charSets, TRegular regular)

Methods inherited from class java.lang.Object

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

Method Detail

equal

public static boolean equal(TRegular r1,
                            TRegular r2)

This is not an equivalence test between tagged regular expressions, in the sense that it can return false on two different regular expressions which would otherwise recognize the same language.

Beware that this structural test does not make sense if r1 and r2 have been encoded in different encoders, because they would not use the same character maps.

Parameters:

r1 -

r2 -

Returns:

true if and only if the two given tagged regular expressions are structurally equal

allMatches

public static Iterable<TRegulars.MatchResult> allMatches(List<CSet> charSets,
                                                         TRegular regular,
                                                         String input)

Parameters:

charSets - the character set dictionary

regular -

input -

Returns:

an iterable of all potential match results of the tagged regular expression regular and a prefix of input

matches

public static @Nullable Map<TRegular.TagInfo,Integer> matches(List<CSet> charSets,
                                                              TRegular regular,
                                                              String input)

Parameters:

charSets - the character set dictionary

regular -

input -

Returns:

null if regular does not match the full input string, or the map of matched tags if a match was found

witnesses

public static Iterable<String> witnesses(List<CSet> charSets,
                                         TRegular regular)

Parameters:

charSets - the character set dictionary

regular -

Returns:

an iterable view of potential matching strings for the given tagged regular expression

emptyMatched

public static Set<TRegular.TagInfo> emptyMatched(TRegular regular)

Parameters:

regular - must be nullable

Returns:

the set of tags that can potentially be matched when matching the empty string with regular