Java 1.4 추가 기능 - assertion
assertion를 사용한 프로그램밍
단언을 시험할 때 사용한다고 볼 수 있다. 예를 들면 물은 위에서 반드시 아래로 떨어진다것은 반드시 사실이어야 한다.
형식
Format1
assert Expression1;
Format2
assert Expression1:Expression2;
Expression1는 boolean 식 , Expression2 값을 가지는 식, void로 선언되는 식을 사용 불가
Expression2 는 오류 출력시 오류 설명 문자열로 사용됨. 사용된다.
Exception in thread "main" java.lang.AssertionError: Expression2
at assert_test.AssertionTestDrive.testAssertion_01(AssertionTestDrive.java:25)
…
assertion을 사용하지 말아야 하는 경우
-
public 메소드의 내에 인수 체크
-
AssertionError는 Error 상속 한다. (주의) 일반적인 Exception으로 예외 처리 되지 않음.
-
어플리케이션의 올바른 동작에 필요한 처리를 실행하기 위해서 assertion를 사용하지 말아 주세요.
사용예
-
내부의 불변조건 : 반드시 될수 없는 조건
-
제어 플로우의 불변 조건 : 제어 흐름상 올 수 없는 곳
-
사전 조건,사후 조건, 및 클래스의 불변 조건
-
사전 조건 - 메소드가 호출 되었때 반드시 만족 해야 한다.
-
락 상태 사전 조건 : Thread.holdsLock():
-
사후 조건 - 메소드가 호출 된 후 반드시 만족 해야 한다.
-
클래스 불변 조건 - 내부 불변 조건의 일종
내부의 불편조건 예1)
for(int i = 0 ; i < 10 ; i++){
if(i % 3 == 0){
System.out.printf("%d는 3으로 떨어집니다.\n",i);
}else if(i % 3 == 1){
System.out.printf("%d의 나머지가 1입니다.\n",i);
}else{
System.out.printf("%d의 나머지가 2입니다.\n",i);
assert i % 3 == 2 : i;
}
}
내부의 불편조건 예2)
enum Suit{ CLUBS,DIAMONDS,HEARTS,SPADES }
for(Suit suit:Suit.values()){
switch(suit){
case CLUBS: System.out.println(suit); break;
case DIAMONDS: System.out.println(suit); break;
case HEARTS: System.out.println(suit); break;
case SPADES: System.out.println(suit); break;
//디폴드 값이 절대로 올수 없으므로
default:
throw new AssertionError(suit);
// assert false:suit; //동일함.
}
}
제어 플로우의 분편조건 예)
for(Suit suit:Suit.values()){
if(suit == Suit.SPADES)
return;
}
//Never reach this point!! -->
assert false;
사전 조건 예)
public void setRefreshRate(int rate){
//precondition -- 이 부분에서 사용하지 않는 이유는 public
//에서 파라미터 확인을 위해서 assertion을 사용하지 말라
//그 이유는 throw 하지 않기 때문에
if(rate <= 0 || rate > MAX_REFRESH_RATE)
throw new IllegalArgumentException("Illegal rate: "+rate);
setRefreshInterval(100/rate);
}
private void setRefreshInterval(int interval){
assert interval > 0 && interval <= 100/MAX_REFRESH_RATE : interval;
}
assert 고도의 사용법
assert 클래스 파일로 부터 무효화 하기 : 이유는 프로그램 사이즈가 작아진다.
static final boolean asserts = false;
static void controlAssert(){
if(asserts) assert false;
}
assertion 무조건 유효화 하기 : -ea을 활성해야 한다. 않그러면 정상적으로 동작 하지 않는다.
static{
boolean assertEnabled = false;
assert assertEnabled = true; //
if(!assertEnabled) throw new RuntimeException("Asserts must be enabled!!!");
}
시작시 assert를 유효화 무효화 할 수 있음. 관련 기능
디폴트는 무효화 입니다.
-
유효화 : -enableassertions 혹은 -ea
-
무효화 : -disableassertions 혹은 -da
모든 시스템 클래스에 대한 유효/무효화
-
유효화 : -enablesystemassertions 혹은 -esa
-
무효화 : -disablesystemassertions 또는 -dsa
옵션 형식 :
-
인수 없음 : 시스템 클래스를 제외한 모든 클래스내의 assertion를 유효 또는 무효로 한다
-
packageName... : 이름 첨부의 패키지내 및 임의의 서브 패키지내의 assertion를 유효 또는 무효로 합니다.
-
... : 현재의 작업 디렉토리내의 이름이 없는 패키지내의 assertion를 유효 또는 무효로 한다
-
className : 지정한 클래스내의 assertion를 유효 또는 무효로 한다
사용예
-
예1) java -ea:com.wombat.fruitbat... BatTutor
-
- 설명 : com.wombat.fruitbat 패키지와 그 서브 패키지내에서만 assertion를 유효하게 함. 실행프로그램 BatTutor
-
예2) java -ea:com.wombat.fruitbat... -da:com.wombat.fruitbat.Brickbat BatTutor
- - 설명 : com.wombat.fruitbat 패키지내의 assertion를 유효하게 하고,com.wombat.fruitbat.Brickbat 클래스내의 assertion를 무효로 시킨 후 BatTutor를 실행함
Format1
assert Expression1;
Format2
assert Expression1:Expression2;
Expression1는 boolean 식 , Expression2 값을 가지는 식, void로 선언되는 식을 사용 불가
Expression2 는 오류 출력시 오류 설명 문자열로 사용됨. 사용된다.
Exception in thread "main" java.lang.AssertionError: Expression2
at assert_test.AssertionTestDrive.testAssertion_01(AssertionTestDrive.java:25)
…
|
public 메소드의 내에 인수 체크
- AssertionError는 Error 상속 한다. (주의) 일반적인 Exception으로 예외 처리 되지 않음.
어플리케이션의 올바른 동작에 필요한 처리를 실행하기 위해서 assertion를 사용하지 말아 주세요.
내부의 불변조건 : 반드시 될수 없는 조건
제어 플로우의 불변 조건 : 제어 흐름상 올 수 없는 곳
사전 조건,사후 조건, 및 클래스의 불변 조건
- 사전 조건 - 메소드가 호출 되었때 반드시 만족 해야 한다.
- 락 상태 사전 조건 : Thread.holdsLock():
- 사후 조건 - 메소드가 호출 된 후 반드시 만족 해야 한다.
- 클래스 불변 조건 - 내부 불변 조건의 일종
for(int i = 0 ; i < 10 ; i++){
if(i % 3 == 0){
System.out.printf("%d는 3으로 떨어집니다.\n",i);
}else if(i % 3 == 1){
System.out.printf("%d의 나머지가 1입니다.\n",i);
}else{
System.out.printf("%d의 나머지가 2입니다.\n",i);
assert i % 3 == 2 : i;
}
}
|
enum Suit{ CLUBS,DIAMONDS,HEARTS,SPADES }
for(Suit suit:Suit.values()){
switch(suit){
case CLUBS: System.out.println(suit); break;
case DIAMONDS: System.out.println(suit); break;
case HEARTS: System.out.println(suit); break;
case SPADES: System.out.println(suit); break;
//디폴드 값이 절대로 올수 없으므로
default:
throw new AssertionError(suit);
// assert false:suit; //동일함.
}
}
|
for(Suit suit:Suit.values()){
if(suit == Suit.SPADES)
return;
}
//Never reach this point!! -->
assert false;
|
public void setRefreshRate(int rate){
//precondition -- 이 부분에서 사용하지 않는 이유는 public
//에서 파라미터 확인을 위해서 assertion을 사용하지 말라
//그 이유는 throw 하지 않기 때문에
if(rate <= 0 || rate > MAX_REFRESH_RATE)
throw new IllegalArgumentException("Illegal rate: "+rate);
setRefreshInterval(100/rate);
}
private void setRefreshInterval(int interval){
assert interval > 0 && interval <= 100/MAX_REFRESH_RATE : interval;
}
|
static final boolean asserts = false;
static void controlAssert(){
if(asserts) assert false;
}
|
static{
boolean assertEnabled = false;
assert assertEnabled = true; //
if(!assertEnabled) throw new RuntimeException("Asserts must be enabled!!!");
}
|
유효화 : -enableassertions 혹은 -ea
무효화 : -disableassertions 혹은 -da
유효화 : -enablesystemassertions 혹은 -esa
무효화 : -disablesystemassertions 또는 -dsa
인수 없음 : 시스템 클래스를 제외한 모든 클래스내의 assertion를 유효 또는 무효로 한다
packageName... : 이름 첨부의 패키지내 및 임의의 서브 패키지내의 assertion를 유효 또는 무효로 합니다.
... : 현재의 작업 디렉토리내의 이름이 없는 패키지내의 assertion를 유효 또는 무효로 한다
className : 지정한 클래스내의 assertion를 유효 또는 무효로 한다
예1) java -ea:com.wombat.fruitbat... BatTutor
- - 설명 : com.wombat.fruitbat 패키지와 그 서브 패키지내에서만 assertion를 유효하게 함. 실행프로그램 BatTutor
예2) java -ea:com.wombat.fruitbat... -da:com.wombat.fruitbat.Brickbat BatTutor
- - 설명 : com.wombat.fruitbat 패키지내의 assertion를 유효하게 하고,com.wombat.fruitbat.Brickbat 클래스내의 assertion를 무효로 시킨 후 BatTutor를 실행함
