Continue.java

import java.util.regex.Pattern;
import org.checkerframework.checker.regex.RegexUtil;

class Continue {

    void test1(String[] a) {
        for (String s : a) {
            if (!RegexUtil.isRegex(s)) {
                continue;
            }
            Pattern.compile(s);
        }
    }

    void test2(String[] a, boolean b) {
        for (String s : a) {
            if (!RegexUtil.isRegex(s)) {
                continue;
            } else if (b) {
                continue;
            }
            Pattern.compile(s);
        }
    }

    // Reverse the if statements from the previous test.
    void test3(String[] a, boolean b) {
        for (String s : a) {
            if (b) {
                continue;
            } else if (!RegexUtil.isRegex(s)) {
                continue;
            }
            Pattern.compile(s);
        }
    }

    void twoThrows(String s) {
        if (s == null) {
            throw new RuntimeException();
        } else if (!RegexUtil.isRegex(s)) {
            throw new RuntimeException();
        }
        Pattern.compile(s);
    }

    void twoReturns(String s) {
        if (s == null) {
            return;
        } else if (!RegexUtil.isRegex(s)) {
            return;
        }
        Pattern.compile(s);
    }
}