A、 assert （!（map.contains（x）））； map.add（x）；

B、 if （x > 0）{}else { assert （x==0）； }

C、 public void aMethod（int x） { assert （x > 0）； }

D、 assert （invariantCondition（））； return retval；

E、 switch （x） { case 1： break； case 2： creak； default： assert （x == 0）；