StudentSpec.java

package de.vksi.c4j.acceptancetest.workingstudent;

import de.vksi.c4j.ContractReference;

@ContractReference(StudentSpecContract.class)
public interface StudentSpec {
	
	String getMatriculationNumber();
	
	void setAge(int age);
	
}