Searched refs:unprocessed_catches (Results 1 – 1 of 1) sorted by relevance
99 private Vector<UnprocessedCatch> unprocessed_catches = field in DasmCatchBuilder118 int sz = unprocessed_catches.size(); in getCatchTypes()121 Enumeration<CstType> keys = unprocessed_catches.elementAt(i) in getCatchTypes()134 return unprocessed_catches.size() != 0; in hasAnyCatches()150 int sz = unprocessed_catches.size(); in add()152 UnprocessedCatch uc = unprocessed_catches.elementAt(i); in add()166 unprocessed_catches.add(new UnprocessedCatch(exception, start, end, in add()174 int sz = unprocessed_catches.size(); in build()177 UnprocessedCatch uc = unprocessed_catches.elementAt(i); in build()