Searched refs:makeAddendum (Results 1 – 2 of 2) sorted by relevance
259 void makeAddendum(String addendum) { in makeAddendum() method in ServiceLocationException
377 e.makeAddendum(" (line " + linecount + ")"); in deserialize()403 e.makeAddendum(" (line " + scopeLinenum + ")"); in deserialize()