Skip to main content

module lang::php::analysis::includes::MatchIncludes

rascal-0.40.17
php-analysis-0.2.4

Usage​

import lang::php::analysis::includes::MatchIncludes;

Source code​

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

Dependencies​

import lang::php::ast::AbstractSyntax;
import lang::php::util::Corpus;
import lang::php::stats::Stats;
import lang::php::util::Utils;
import lang::php::ast::System;
import lang::php::pp::PrettyPrinter;
import lang::php::util::LocUtils;
import lang::php::analysis::includes::IncludeGraph;
import IO;
import List;
import String;
import Set;
import util::Math;

data FNBits​

data FNBits  
     = lit(str s)
     | fnBit()
     ;

function clearLookupCache​

void clearLookupCache()

function fnModel​

list[FNBits] fnModel(Expr e)

function escaped​

str escaped(str c)

function fnMatch​

str fnMatch(Expr e)

function showGeneratedRegex​

str showGeneratedRegex(str s)

function matchIncludes​

IncludeGraphEdge matchIncludes(System _, IncludeGraph ig, IncludeGraphEdge e, bool _, list[str] _)

set[loc] matchIncludes(System sys, Expr includeExpr, loc _, set[loc] libs = { })