paul@287 | 1 | Introduction
|
paul@287 | 2 | ------------
|
paul@287 | 3 |
|
paul@287 | 4 | The simplify package is an attempt to support type propagation on complete
|
paul@287 | 5 | Python programs. It is no longer under development.
|
paul@287 | 6 |
|
paul@287 | 7 | Quick Start
|
paul@287 | 8 | -----------
|
paul@287 | 9 |
|
paul@287 | 10 | Try running the test program. For example:
|
paul@287 | 11 |
|
paul@287 | 12 | python test.py tests/class.py -d -i -ms
|
paul@287 | 13 |
|
paul@287 | 14 | Some different options can be given to the test program:
|
paul@287 | 15 |
|
paul@287 | 16 | Option Effect
|
paul@287 | 17 | ------ ------
|
paul@287 | 18 |
|
paul@287 | 19 | -d Create a directory of XHTML documents in the current directory showing
|
paul@287 | 20 | the program source code along with type information and instance
|
paul@287 | 21 | summaries
|
paul@287 | 22 | -g Generate a dump of "RSVP" code (a kind of assembly language)
|
paul@287 | 23 | -i Fix instances identified by the program (for modes where multiple
|
paul@287 | 24 | instances are being used)
|
paul@287 | 25 | -m Support multiple kinds of instances for each class
|
paul@287 | 26 | -mp Support multiple kinds of instances for each class in "prolific" mode
|
paul@287 | 27 | (which means that a large number of kinds of instances are produced,
|
paul@287 | 28 | but with some restrictions)
|
paul@287 | 29 | -ms Support multiple kinds of instances for each class in "selective" mode
|
paul@287 | 30 | (which means that a large number of kinds of instances are produced,
|
paul@287 | 31 | but with a number of restrictions which limit that number fairly
|
paul@287 | 32 | effectively)
|
paul@287 | 33 | -s Support a single kind of instance for each class
|
paul@287 | 34 |
|
paul@287 | 35 | Contact, Copyright and Licence Information
|
paul@287 | 36 | ------------------------------------------
|
paul@287 | 37 |
|
paul@287 | 38 | The author can be contacted at the following e-mail address:
|
paul@287 | 39 |
|
paul@287 | 40 | paul@boddie.org.uk
|
paul@287 | 41 |
|
paul@287 | 42 | Copyright and licence information can be found in the docs directory - see
|
paul@287 | 43 | docs/COPYING.txt and docs/gpl-3.0.txt for more information.
|