Searched refs:lineNum (Results 1 – 2 of 2) sorted by relevance
181 int lineNum; in getHtml() local187 lineNum = lineNums1.removeFirst(); in getHtml()188 if (lineNum > 0) { in getHtml()189 html.append(lineNum); in getHtml()200 lineNum = lineNums2.removeFirst(); in getHtml()201 if (lineNum > 0) { in getHtml()202 html.append(lineNum); in getHtml()
109 Record(String line, int lineNum) { in Record() argument119 sourceLineNumber = lineNum; in Record()