Skip to main content

module lang::php::analysis::evaluators::AlgebraicSimplification

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

Usage​

import lang::php::analysis::evaluators::AlgebraicSimplification;

Dependencies​

import lang::php::ast::AbstractSyntax;
import Set;
import List;
import String;

function concatScalars​

Scalar concatScalars(Scalar sc1:string(str s1), Scalar sc2:string(str s2))

Scalar concatScalars(Scalar sc1:string(str s1), Scalar sc2:integer(int i1))

Scalar concatScalars(Scalar sc1:integer(int i1), Scalar sc2:string(str s2))

Scalar concatScalars(Scalar sc1:integer(int i1), Scalar sc2:integer(int i2))

Scalar concatScalars(Scalar sc1:string(str s1), Scalar sc2:float(real r1))

Scalar concatScalars(Scalar sc1:float(real r1), Scalar sc2:string(str s2))

Scalar concatScalars(Scalar sc1:float(real r1), Scalar sc2:float(real r2))

function algebraicSimplification​

Script algebraicSimplification(Script scr)

Expr algebraicSimplification(Expr expr)

Perform algebraic simplification over operations formed just with scalars. We could also simplify expressions like 0 * e, but would risk discarding any side effects caused by e.