Method getClasspathKeywords

src/main/java/pascal/taie/config/Options.java:304–306

()

    private String[] classpathKeywords;

    public String[] getClasspathKeywords() {
        return classpathKeywords;
    }

    public void setClasspathKeywords(String[] classpathKeywords) {
        this.classpathKeywords = classpathKeywords;