Method validateId

src/main/java/pascal/taie/analysis/Analysis.java:61–76

Checks if this analysis class declares a public static field "ID" and its value is identical to the analysis id in the configuration.

()

     * and its value is identical to the analysis id in the configuration.
     */
    private void validateId() {
        Class<?> analysisClass = getClass();
        try {
            Field idField = analysisClass.getField("ID");
            String id = (String) idField.get(null);
            if (!id.equals(getId())) {
                throw new ConfigException(String.format(
                        "Config ID (%s) and analysis ID (%s) of %s are not matched",
                        getId(), id, analysisClass));
            }
        } catch (NoSuchFieldException | IllegalAccessException e) {
            throw new AnalysisException(String.format("Failed to get analysis ID of %s," +
                    " please add public static field 'ID' in %s" +
                    analysisClass, analysisClass));
        }
    }
}