Searched refs:scopeLinenum (Results 1 – 1 of 1) sorted by relevance
190 int scopeLinenum = 0; in deserialize() local403 e.makeAddendum(" (line " + scopeLinenum + ")"); in deserialize()