212213214215216217218219220221222
// TODO check loader first if (instanceData == null) { throw new IsisException("No data found for " + oid + " (possible missing file)"); } if (matchesPattern(pattern, instanceData)) { matches.addElement(instanceData); } } return matches; }
214215216217218219220221222223224