Kontrolowanie asercji Java - najlepsze praktyki

Question

Chciałbym, aby twierdzenia mniej intensywne obliczeniowo pozostały włączone przez cały czas i wyłączenie wyższych twierdzeń o intensywności obliczeniowej. Praktyczny przypadek użycia może być, gdy przeniesiemy kod do produkcji (zgodnie z Pragmatycznym Programistą, jest to sugerowany sposób obsługi twierdzeń).

Jaki jest najlepszy sposób sprawdzania asercji? (Uwaga: włączono już asercje w zmiennych VM za pomocą "-ea").

Prosty przykład:

/** 
* 
* @precondition sizeOfList >= 2 
*/ 
private ArrayList<Integer> createSortedList(int sizeOfList){ 
    ArrayList<Integer> results = new ArrayList<Integer>(); 

    for(int i = 0; i<sizeOfList; i++){ 

     <algorithm to add sorted numbers to array> 

    } 

    if(<some_flag>) 
     assert results.get(0) < results.get(1) : "Results are not sorted."; 

    assert results.size() == sizeOfList : "Results-list size does not equal requested size."; 

    return results; 
} 

Czy to najlepiej użyć Właściwości systemu do sterowania zmienną? Jeśli tak jest, czy właściwości systemowe można ustawić dla całego projektu, a nie tylko dla konkretnej klasy (w Eclipse)?

Czy lepiej jest używać stałej stałej zdefiniowanej w klasie "Stałe"?

Czy są inne sposoby, o których nie myślę?

Z góry dziękuję.

Answer 1

Cechą definującą instrukcji assert jest to, że można ją wyłączyć, więc używałbym jej tylko do twierdzeń, które nie zawsze powinny być uruchamiane. Dla twierdzeń, które zawsze działają, zrobiłbym coś takiego:

if (results.size() != sizeOfList) 
    throw new AssertionError("Results-list size does not equal requested size."); 

Następnie można włączyć/wyłączyć drogich twierdzeń poprzez opcję -ea JVM.