defensive-to-contracts

This package presents a tool that converts defensive programming into equivalent contracts. Currently, the tool is still at its infancy and have not been tested on many code bases. The sample folder contains some example files to get you started. So far I have exposed two functions that allows you to input a path and either returns the raw result or load up a GUI that allows you to change a file.

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedSaturday, October 17th, 2020 12:53:43am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/jiujiu1123/defensive-to-contracts.git#mainf64d8cb80a17fb981eb8269ef15f1fdb2f4d190b
Last checkedSaturday, October 24th, 2020 4:21:37am (UTC)
Last editedSaturday, October 17th, 2020 12:49:10am (UTC)
Date addedFriday, October 16th, 2020 8:24:55am (UTC)
Modules
  • defensive-to-contracts/sample-defensive/realworld1.rkt
  • defensive-to-contracts/scribblings/defensive-to-contracts.scrbl
  • defensive-to-contracts/syntax-to-contract.rkt
  • defensive-to-contracts/textedit.rkt
  • defensive-to-contracts/sample-defensive/simple-dependent.rkt
  • defensive-to-contracts/sample-defensive/racketcon_.rkt
  • defensive-to-contracts/main.rkt
  • defensive-to-contracts/related-fact.rkt
  • defensive-to-contracts/simplify-fact.rkt
  • defensive-to-contracts/fact-to-contract.rkt
  • defensive-to-contracts/sample-defensive/unless-one-arg.rkt
  • defensive-to-contracts/definitions.rkt
  • defensive-to-contracts/structure-deletions.rkt
  • defensive-to-contracts/sample-defensive/realworld3.rkt
  • defensive-to-contracts/sample-defensive/pcond-onearg.rkt
  • defensive-to-contracts/sample-defensive/helloworld.rkt
  • defensive-to-contracts/sample-defensive/racketcon.rkt
  • defensive-to-contracts/pcond.rkt
  • defensive-to-contracts/complex-pred-to-facts.rkt
  • defensive-to-contracts/sample-defensive/simple-defensive-two-arg-with-begin.rkt
  • defensive-to-contracts/chspans.rkt
  • defensive-to-contracts/program-fact.rkt
  • defensive-to-contracts/sample-defensive/realworld2.rkt
  • defensive-to-contracts/sample-defensive/simple-defensive-two-arg.rkt