Top.java

package de.vksi.c4j.acceptancetest.subclasses;

import de.vksi.c4j.ContractReference;
import de.vksi.c4j.Pure;

@ContractReference(TopContract.class)
public class Top {

	@Pure
	int pre(String parameter) {
		return 42;
	}

	@Pure
	int post(String parameter) {
		return 42;
	}

	@Pure
	int preAndPost(String parameter) {
		return 42;
	}

	@Pure
	int invariant(String parameter) {
		return 42;
	}

	@Pure
	int unchanged() {
		return 42;
	}

	@Pure
	int old() {
		return 42;
	}
}