public notnull class Person implements Serializable default new Person("","","") {

private String firstname="";
private String middlename="";
private String lastname="";
private nullable WorkPlace thework=null;

public Person(String first,String last, String middle){
//бубубу, ляляя, присвойте имена
thework=Workplace.nojob;//nojob==null, may be.
}

public Person(String first,String last, String middle, Workplace work){
//бубубу, ляляя, присвойте имена
workplace=work;
}

}

class Person default new Person()

Person(){
//Инициализация по умолчанию.
}

Person parent;

Person(string name, Person parent)
{};

}

    // ...
    public void method(String arg) {
        // ...
    }
    // ...

ВП>public notnull class Person implements Serializable default new Person("","","") {

ВП>private String firstname="";
ВП>private String middlename="";
ВП>private String lastname="";
ВП>private nullable WorkPlace thework=null;

ВП>public Person(String first,String last, String middle){
ВП>//бубубу, ляляя, присвойте имена
ВП>thework=Workplace.nojob;//nojob==null, may be.
ВП>}

ВП>public Person(String first,String last, String middle, Workplace work){
ВП>//бубубу, ляляя, присвойте имена
ВП>workplace=work;
ВП>}

ВП>}
ВП>

/**
 * @inv firstName != null
 * @inv lastName  != null
 */
public class Person {
    private String firstName;
    private String lastName;

    /**
     * @pre firstName != null
     */
    public void setFirstName(String firstName) {
        return this.firstName = firstName;
    }

    /**
     * @post return != null
     */
    public String getFirstName() {
        return firstName;
    }
    // . . .
}

• java.constraint.Mandatory — не зависящий от языка аналог NotNull
  
• java.constraint.Optional — аналог Nullable
  
• java.constraint.Range(min,max) — диапазон значений
  
• java.constraint.Size(min,max) — размер коллекции или массива
  
• java.constraint.Length(min,max) — длина строки
  
• java.constraint.Pattern(value) — регулярное выражение
  
• java.constraint.OCL(expression)

• контракт с БД, в которую сливаются потенциально опасные данные программы (кто еще не знает баян про тетку-оператора, у которой на клавиатуре отпала кнопка "0", так она — умница — не растерялась, стала забивать букву "О" вместо нулей в ИНН?), оно хорошо, конечно, получать от БД SQL-ошибку, но, во-первых, это лишняя нагрузка на соединение, а во-вторых, порой приходится работать с БД, которые проектировали... мягко скажем, очень давно... и ничего про нормализацию, ограничения целостности и т.п. методики не знали;
  
• к примеру, при работе с ООБД Db4o библиотека Oval стал средством, которое по сути дотянуло эту БД по безопасности до уровня современных реалиционных БД (ограничения на уровне объектов восполнили отсутствие такой проверки в движке БД);
  
• возможность на основе данного контракта предупреждать пользователя о некорректных промежуточных данных (завязать GUI с BLL на основе Oval).

public class Profile {

   @Optional PostalAddress address = new PostalAddress(); // optional = адрес не заполнен, хотя объект под него создан

}

R>Что-то мне подсказывает, что от JCP такого счастья ждать в ближайшие годы, как и у моря погоды.

ChildValidator.isValid(object) => BaseValidator.isValid(object)

@Valid 
public Result execute(@Valid Scenario scenario) {
    // сюда мы попадаем только в случае, если объект scenario прошёл валидацию без ошибок
    ...
    return result; // значение будет возвращено только в случае, если оно корректно
}

@Constraints({@OCL("name.length > age")})
public class Entity {
   @Max(10)
   int age;

   @MaxLength(20) 
   String name;
}

public class EntityDAO {
   
   public void save(@Valid Entity entity) throws ValidationFailedException {
      // при вызове этого метода происходит валидация параметра entity по всем наложенным ограничениям
   }

}