Summary
Words
Mixin classes
Ordinary words
Class predicate words
Files
Words
Mixin classes
 backward-analysis |
| dataflow-analysis |
| forward-analysis |
Ordinary words
| Word | Stack effect |
 <dfa-worklist> | ( cfg dfa -- queue ) |
| compute-in-set | ( bb out-sets dfa -- set ) |
| compute-out-set | ( bb in-sets dfa -- set ) |
| define-analysis | ( name -- ) |
| define-backward-analysis | ( name -- ) |
| define-forward-analysis | ( name -- ) |
| dfa-step | ( bb in-sets out-sets dfa -- bbs ) |
| run-dataflow-analysis | ( cfg dfa -- in-sets out-sets ) |
| update-in-set | ( bb in-sets out-sets dfa -- ? ) |
| update-in/out-set | ( bb in-sets out-sets dfa -- ? ) |
| update-out-set | ( bb in-sets out-sets dfa -- ? ) |
Class predicate words
| Word | Stack effect |
| backward-analysis? | ( object -- ? ) |
| dataflow-analysis? | ( object -- ? ) |
| forward-analysis? | ( object -- ? ) |
Files