Coding Contract for Javascript