나는 MySQL 데이터베이스에서 에지로 엔코 드 된 트리를 가지고있다. CREATE TABLE items (
num INT,
tot INT,
PRIMARY KEY (num)
);
CREATE TABLE tree (
orig INT,
term INT
FOREIGN KEY (orig,term) REF
저는 프로그래머가 인터페이스에서 불변 조건 (사전 조건 및 사후 조건)을 지정할 수있는 Java 프레임 워크를 만들려고했습니다. 그 목적은 코드를보다 강력하게 만들고 동일한 인터페이스의 여러 구현에 대해 작성해야 할 단위 테스트 수를 줄이는 것입니다. 프로그래머가 작성하는 불변량을 사용하여 메소드에 주석을 추가하는 몇 가지 방법을 만듭니다. E.G. int
JPA 엔티티에 적어도 하나의 빈 생성자 및 공용 설정자가 있어야한다는 요구 사항이 마음에 들지 않습니다. EntityManager 측면에서이 문제를 이해하는 동안 클래스 invariants가 무효화됩니다. 누구나이 (디자인 패턴 또는 관용구 수준)에 대한 해결책이 있습니까? 감사합니다. 이고르 DataNucleus와