DEBSOURCES
Skip Quicknav
sources / checker-framework-java / 3.2.0%2Bds-3 / checker / tests / nullness / SAMLineParser.java
12345678
public class SAMLineParser { private int x; private String makeErrorString() { return "" + (this.x <= 0 ? "" : this.x); } }