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 missing license metadata

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