/**
 * 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