src/java/detectors/thread_safety_violation/ThreadSafetyViolationCompliant.java [13:24]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    private int parameter = 0;

    public int getParameter() {
        return parameter;
    }

    public void setParameter(int number) {
        parameter = number;
    }
}

@ThreadSafe
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



src/java/detectors/thread_safety_violation/ThreadSafetyViolationNoncompliant.java [14:25]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    private int parameter = 0;

    public int getParameter() {
        return parameter;
    }

    public void setParameter(int number) {
        parameter = number;
    }
}

@ThreadSafe
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -