리스코프 치환 원칙(Liskov Substitution Principle)[2]

/**
 * Rectangle
 * @author Ajitesh Shukla
 */
public class Rectangle {
    private int length;
    private int breadth;
    public int getLength() {
        return length;
    }
    public void setLength(int length) {
        this.length = length;
    }
    public int getBreadth() {
        return breadth;
    }
    public void setBreadth(int breadth) {
        this.breadth = breadth;
    }
    public int getArea() {
        return this.length * this.breadth;
    }
}

/**
 * Square class; Square는 Rectangle에서 상속받습니다.;
 * ISA 관계를 나타냅니다. - 정사각형은 직사각형입니다.
 * @author Ajitesh Shukla
 */
public class Square extends Rectangle {
    @Override
    public void setBreadth(int breadth) {
        super.setBreadth(breadth);
        super.setLength(breadth);
    }
    @Override
    public void setLength(int length) {
        super.setLength(length);
        super.setBreadth(length);
    }
}

/**
 * The class demonstrates the Liskov Substitution Principle (LSP)
 *
 * 원칙에 따라 기본 클래스에 대한 참조를 사용하는 함수는 모르는 상태에서 파생 클래스의 객체를 사용할 수 있어야합니다.
 * 따라서 아래의 예에서 Rectangle의 참조를 사용하는 calculateArea 함수는 Square와 같은 파생 클래스의 객체를 사용할 수 있어야하며
 * Rectangle 정의에 의해 요구되는 요구 사항을 충족해야합니다.
 *  
 * @author Ajitesh Shukla
 */
public class LSPDemo {
    /**
    * Rectangle의 정의에 따르면, 다음 데이터가 주어지면 항상 다음을 수행해야합니다.
    * 1. 길이(Length)는 항상 메소드의 setLength에 대한 입력으로 전달된 길이와 동일하지 않으면 안됩니다.
    * 2. 폭(Breadth)은 항상 메소드 setBreadth에 대한 입력으로 전달된 너비와 동일해야 합니다.  
    * 3. 면적은 항상 길이와 너비의 곱과 동일해야합니다.  
    *
    * 스퀘어와 직사각형 사이에 ISA 관계를 설정하려고합니다.
    * 즉, "정사각형은가 직사각형입니다."라고 말하면, 스퀘어 인스턴스가 전달되면 코드가 예기치 않게 작동하기 시작합니다.
    * 영역을 검사하고 폭을 검사 할 때 어설 션 오류가 발생합니다. 영역 검사 실패로 인해 어설 션 오류가 발생하면 프로그램이 종료됩니다.    *   
    * @param r Instance of Rectangle
    */
    public void calculateArea(Rectangle r) {
        r.setBreadth(2);
        r.setLength(3);
        //
        // Assert Area
        //
        // 코드에서 예상되는 동작은 다음과 같습니다.
        // 직사각형의 면적은 6
        //
        assert r.getArea() == 6 : printError("area", r);
        //
        // Assert Length & Breadth
        //
        // 코드에서 예상되는 동작은 다음과 같습니다.
        // 길이는 항상 3과 같아야하고
        // 너비는 항상 2와 같아야합니다.
        //
        assert r.getLength() == 3 : printError("length", r);
        assert r.getBreadth() == 2 : printError("breadth", r);
    }
    private String printError(String errorIdentifer, Rectangle r) {
        return "Unexpected value of " + errorIdentifer + "  for instance of " + r.getClass().getName();
    }
    public static void main(String[] args) {
        LSPDemo lsp = new LSPDemo();
        //
        // Rectangle 인스턴스가 전달됩니다.
        //
        lsp.calculateArea(new Rectangle());
        //
        // Square 인스턴스가 전달됩니다.
        //
        lsp.calculateArea(new Square());
    }
}