public final class SemCheck
extends java.lang.Object
| Constructor and Description |
|---|
SemCheck() |
| Modifier and Type | Method and Description |
|---|---|
static void |
check(RegExps rs,
Macros m,
java.io.File f)
Performs semantic analysis for all expressions.
|
static boolean |
isFiniteChoice(RegExp re)
Returns true iff the expression is a finite choice of fixed length
expressions.
|
static int |
length(RegExp re)
Returns length if expression has fixed length, -1 otherwise.
|
static boolean |
maybeEmtpy(RegExp re)
Checks if the expression potentially matches the empty string.
|
private static Macros macros
public static void check(RegExps rs, Macros m, java.io.File f)
rs - the reg exps to be checkedm - the macro table (in expanded form)f - the spec file containing the rulespublic static boolean maybeEmtpy(RegExp re)
public static int length(RegExp re)
public static boolean isFiniteChoice(RegExp re)