public void findContractForMethod(JavaClassAndMethod classAndMethod) {
public void findContractForMethod(JavaClassAndMethod classAndMethod) throws ClassNotFoundException { String methodName = classAndMethod.getMethod().getName(); String signature = classAndMethod.getMethod().getSignature(); Hierarchy.findMethod(classAndMethod.getJavaClass(), methodName, signature, this); Hierarchy.visitSuperClassMethods(classAndMethod, this); Hierarchy.visitSuperInterfaceMethods(classAndMethod, this);
	public void findContractForMethod(JavaClassAndMethod classAndMethod) {		// TODO	}