Searched refs:originalStartLineNumber (Results 1 – 1 of 1) sorted by relevance
64 private int originalStartLineNumber = UNDEFINED_START_NUMBER; field in MemberNaming135 if (originalStartLineNumber != UNDEFINED_START_NUMBER) { in write()137 String originalSourceLineString = Integer.toString(originalStartLineNumber); in write()166 public void setOriginalStartLineNumber(int originalStartLineNumber) { in setOriginalStartLineNumber() argument167 assert this.originalStartLineNumber == UNDEFINED_START_NUMBER; in setOriginalStartLineNumber()168 this.originalStartLineNumber = originalStartLineNumber; in setOriginalStartLineNumber()