7008823798

Programowanie kontraktowe

Narzędzia wspierające programowanie kontraktowe w Javie

Kontrakty a testy jednostkowe Kontrakty a Java Podsumowanie Demonstracja narzędzi

C4J - Przykład

@ContractReference(contractClassName = "DummyContract") public class Dummy {

protected List m_stuff = new LinkedListO;

public int addltem(0bject item)

{

m_stuff.add(item); return m_stuff.size();

>

>