Hvad gør assert?

Ved det ikke, men der står en del her:

http://java.sun.com/j2se/1.4.2/docs/guide/lang/assert.html

http://java.sun.com/j2se/1.4.2/docs/guide/lang/assert.html

http://www.docjava.dk/java_specielt/assert/assert.htm

assert er et nyt keyword i J2SE 1.4

Det kendes fra flere andre sprog.

Det betyder "lav fejl hvis ikke følgende betingelse er opfyldt".

I din kode beder man om at få en fejl hvis man allerede har synkroniseret
på this.

Man skal eksplicit angive -source 1.4 til javac for at kunne bruge dem
da 1.3 er default.

java kommandoer har fået en stribe nye options: -enableassertions,
-disableassertions, -enablesystemassertions, -disablesystemassertions

ahh, så assert er en debug-funktion?

(smid venligst et svar arne)

En slags.

Jeg vil betragte den som mest relevant som et værktøj til
at få fejl til at ske der hvor de reelt er opstået.

Vi kender formentlig alle den situation hvor man har en null pointer
eller division by zero fejl et sted og så skal man gennemtrawle
den halve applikation for at finde det sted, hvor det startede med
at gå galt.

og et svar

Men hvorfor et reserveret ord til det ?

Man kunne jo f.eks. skrive:

  public void f()
  {
    if(!Thread.holdsLock(this))
      throw new IllegalArgumentException("precondition not satisfied");

    synchronized(this)
    {
      //
    }
  }

Et keyword i sproget er det som gør det nemmest at minimere
overhead når assertions ikke er slået til.

Dit eksempel skulle jo laves som:

if(assertionsEnables)
  if(!Thread.holdsLock(this))
      throw new IllegalArgumentException("precondition not satisfied");