242243244245246247248249250251252
// 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; }