Skip to main content

module lang::php::analysis::includes::ScriptResolve

rascal-0.40.17
php-analysis-0.2.4

Usage​

import lang::php::analysis::includes::ScriptResolve;

Source code​

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

Dependencies​

import lang::php::ast::AbstractSyntax;
import lang::php::util::Utils;
import lang::php::util::LocUtils;
import lang::php::ast::System;
import lang::php::analysis::includes::IncludeGraph;
import lang::php::analysis::includes::IncludesInfo;
import lang::php::analysis::includes::MatchIncludes;
import lang::php::analysis::includes::QuickResolve;
import lang::php::analysis::evaluators::DefinedConstants;
import lang::php::analysis::includes::NormalizeConstCase;
import lang::php::analysis::evaluators::AlgebraicSimplification;
import lang::php::analysis::evaluators::SimulateCalls;
import lang::php::analysis::evaluators::Simplify;
import Set;
import String;
import DateTime;
import Map;

function reachable​

set[loc] reachable(IncludeGraph igraph, loc l)

data IncludeGraphNode​

data IncludeGraphNode (set[ConstItem] definedConstants={}, map[ConstItem,Expr] definingExps=(), bool setsIncludePath=false)

function decorateNode​

IncludeGraphNode decorateNode(IncludeGraphNode n, map[loc,set[ConstItemExp]] loc2consts, bool setsip)

function scriptResolve​

tuple[rel[loc,loc] resolved, lrel[str,datetime] timings] scriptResolve(System sys, str p, str v, loc toResolve, loc baseLoc, set[loc] libs = { }, list[str] ipath=[], map[loc,rel[loc,Expr,loc]] quickResolveInfo = ( ))