Skip to main content

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

rascal-0.42.0
org.rascalmpl.php-analysis-0.3.3

Usage

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

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