Утверждения в конструкторе

Question

У меня есть конструктор, который запрашивает предварительные и последующие условия в описании метода.

Предварительные условия:

• @pre name!= ноль
• @pre значение!= ноль

Компилятор хочет, чтобы супер-конструктор был первым вызовом в методе, поэтому я не могу проверить предварительные условия.

public InheritingClass(N name, P value) {
    //assert name != null;
    //assert value != null;
    super(name);
    this.value = value;
    assert (this.getValue() == value);
}

Есть ли возможность проверить условия?