Una dichiarazione dell'interfaccia Java può far valere le proprietà dei parametri?

Come spiegato un po 'più a fondo in questa risposta , questo è (parte del) prezzo che si paga per un interfaccia. Se vuoi essere in grado di utilizzare nuove implementazioni della tua astrazione in qualsiasi momento, non hai modo di forzare tali implementazioni a essere corrette.

I commenti sulla risposta di Doval sono giusti: crea e usa un PositiveDouble. Inoltre, considera l'utilizzo di uno strumento di progettazione per contratto. Uno strumento di design per contratto come cofoja potrebbe risolvere il tuo problema. Non ho usato 1 ma so che ci sono diversi progetti per strumenti di contratto in Java.

La tua interfaccia dovrebbe documentare come gestisce l'input fasullo e può dichiarare le eccezioni che getterà. In questo caso, un semplice

@throws IllegalArgumentException farebbe il trucco.

La risposta di Doval è ormai superata. Puoi utilizzare le proprietà dei parametri enforce (controlla argomenti) nell'interfaccia:

public interface Math {
    /**
     * @throws IllegalArgumentException if value <= 0
     */
    default public void sqrt(Double value) {
        if(value <= 0) throw new IllegalArgumentException("value must be greater than 0");
        squareRoot(value);
    }

    public void squareRoot(Double value);
}