module lang::php::analysis::evaluators::Simplify

rascal-0.40.17

php-analysis-0.2.4

Usage

import lang::php::analysis::evaluators::Simplify;

Source code

http://github.com/cwi-swat/php-analysis/blob/main/src/main/rascal/lang/php/analysis/evaluators/Simplify.rsc

Dependencies

import lang::php::ast::AbstractSyntax;
import lang::php::ast::System;
import lang::php::analysis::evaluators::AlgebraicSimplification;
import lang::php::analysis::evaluators::SimulateCalls;
import lang::php::analysis::evaluators::MagicConstants;
import lang::php::analysis::includes::NormalizeConstCase;

function simplifyExpr

Expr simplifyExpr(Expr e, loc baseLoc)

Apply available normalization functions to simplify the expression