/** * Evaluation strategy for PHP. * * Evaluates simple expressions and constructions. * The value of the const-prop is stored in an annotation. * Strategies are provided for extracting these annotations. * */ module php/strategy/const-prop/main imports php/strategy/const-prop/analysis/main php/strategy/const-prop/types php/strategy/const-prop/typejuggling php/strategy/const-prop/output strategies /** * @TODO: add docs * @precondition Environment has to be initialized to be able to include files */ main-constant-propogation = main-analyse-const-prop php-print-simple-evaluated = main-analyse-const-prop ; php-get-evaluated-string