/** * Gets the set of catch types handled anywhere in the code. * * @return {@code non-null;} the set of catch types */ public HashSet<Type> getCatchTypes() { return unprocessedCatches.getCatchTypes(); }
/** * Gets the set of catch types handled anywhere in the code. * * @return {@code non-null;} the set of catch types */ public HashSet<Type> getCatchTypes() { return unprocessedCatches.getCatchTypes(); }
/** * Gets the set of catch types handled anywhere in the code. * * @return {@code non-null;} the set of catch types */ public HashSet<Type> getCatchTypes() { return unprocessedCatches.getCatchTypes(); }
/** * Gets the set of catch types handled anywhere in the code. * * @return {@code non-null;} the set of catch types */ public HashSet<Type> getCatchTypes() { return unprocessedCatches.getCatchTypes(); }
/** * Gets the set of catch types handled anywhere in the code. * * @return {@code non-null;} the set of catch types */ public HashSet<Type> getCatchTypes() { return unprocessedCatches.getCatchTypes(); }
/** * Gets the set of catch types handled anywhere in the code. * * @return {@code non-null;} the set of catch types */ public HashSet<Type> getCatchTypes() { return unprocessedCatches.getCatchTypes(); }
/** * Gets the set of catch types handled anywhere in the code. * * @return {@code non-null;} the set of catch types */ public HashSet<Type> getCatchTypes() { return unprocessedCatches.getCatchTypes(); }
/** * Gets the set of catch types handled anywhere in the code. * * @return {@code non-null;} the set of catch types */ public HashSet<Type> getCatchTypes() { return unprocessedCatches.getCatchTypes(); }