public final class SemCheck extends Object
Constructor and Description |
---|
SemCheck() |
Modifier and Type | Method and Description |
---|---|
static void |
check(RegExps rs,
Macros m,
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.
|
public static void check(RegExps rs, Macros m, 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)
Copyright © 1998–2016. All rights reserved.