题目内容:
A.assert(!(map.contains(x)));map.add(x);B.if(x>0){}else{assert(x==0);}
C.publicvoidaMethod(intx){assert(x>0);}
D.assert(invariantCondition());returnretval;
E.switch(x){case1:break;case2:creak;default:assert(x==0);
参考答案:
B.if(x>0){}else{assert(x==0);}
C.publicvoidaMethod(intx){assert(x>0);}
D.assert(invariantCondition());returnretval;
E.switch(x){case1:break;case2:creak;default:assert(x==0);