This is an open source software project to generate contracts the way we generate code as methods arguments and options.