Code explainers tagged #resource-management

<?php
 
namespace App\Storage;
 

public List<User> findUsersByEmailDomain(String domain, int minAge) {
    String sql = """
        SELECT id, username, email, age, created_at
        FROM users

public List<OrderSummary> streamRecentOrders(LocalDateTime since, Consumer<OrderSummary> handler) {
    String sql = """
        SELECT id, customer_id, total_cents, status, created_at
        FROM orders

<?php
 
function parseMultipartEmail(string $raw): array
{

public final class ZipExtractor {
 
    private final Path targetDir;
 

import java.io.IOException;
import java.io.InputStream;
import java.net.URI;
import java.net.http.HttpClient;

public class OrderRepository {
 
    private static final int BATCH_SIZE = 500;
    private static final String INSERT_SQL =

public final class FileChecksum {
 
    private static final char[] HEX = "0123456789abcdef".toCharArray();
 

package com.example.fs;
 
import java.io.IOException;
import java.nio.file.FileSystems;

package com.example.logs;
 
import java.io.IOException;
import java.io.UncheckedIOException;

class FileManager:
    """A context manager that safely opens and closes a file."""
 
    def __init__(self, path, mode="r"):

import java.io.BufferedReader;
import java.io.FileReader;
import java.io.IOException;
 

module FileResource
  # Opens a file, yields it to the caller, and guarantees the
  # handle is closed even if the block raises an exception.
  def self.open(path, mode = "r")