static void compileRegex(String[] args) {
int i;
if (optionsPresent) {
i = 1;
} else {
i = 0;
}
options.regex = args[i];
try {
if (options.insensitive) {
options.pattern = Pattern.compile(options.regex, Pattern.CASE_INSENSITIVE);
} else {
options.pattern = Pattern.compile(options.regex);
}
} catch (PatternSyntaxException e) {
messages.die(e.getMessage());
}
}
static {
try {
non_word_pattern = Pattern.compile("\\W+");
orig_pattern = Pattern.compile("orig\\s*\\(");
dot_class_pattern = Pattern.compile("\\.class");
inequality_pattern = Pattern.compile("[\\!<>]=");
gteq_pattern = Pattern.compile(">=");
lteq_pattern = Pattern.compile("<=");
neq_pattern = Pattern.compile("\\!=");
contradict_inv_pattern =
Pattern.compile("(^| && )(.*) == -?[0-9]+ &.*& \\2 == -?[0-9]+($| && )");
useless_inv_pattern_1 =
Pattern.compile("(^| && )(.*) > -?[0-9]+ &.*& \\2 > -?[0-9]+($| && )");
useless_inv_pattern_2 =
Pattern.compile("(^| && )(.*) < -?[0-9]+ &.*& \\2 < -?[0-9]+($| && )");
} catch (PatternSyntaxException me) {
throw new Error("ExtractConsequent: Error while compiling pattern " + me.getMessage());
}
}