/* Also add these imports:
     * import java.util.ArrayList;
     * import java.util.List;
     * import polyglot.types.Type;
     * import polyglot.types.TypeSystem;
     */
    @Override
    public List<Type> throwTypes(TypeSystem ts) {
        List<Type> l = new ArrayList<>();

        // The base language checks whether to add ArrayStoreException to the
        // list.  Since CArray eliminates the possibility of
        // ArrayStoreException, this method is overridden to ignore that check.
        l.add(ts.NullPointerException());
        l.add(ts.OutOfBoundsException());

        return l;
    }