Skip to main content

module lang::php::analysis::signatures::Summaries

rascal-0.40.17
php-analysis-0.2.4

Usage​

import lang::php::analysis::signatures::Summaries;

Source code​

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

Dependencies​

import ValueIO;
import lang::php::util::Config;

data SummaryParam​

data SummaryParam  
     = standardParam(str paramType, str paramName)
     | standardRefParam(str paramType, str paramName)
     | optionalParam(str paramType, str paramName)
     | optionalRefParam(str paramType, str paramName)
     | standardVarParam(str paramType)
     | standardVarRefParam(str paramType)
     | optionalVarParam(str paramType)
     | optionalVarRefParam(str paramType)
     | voidParam()
     ;

data Summary​

data Summary (loc from=|unknown:///|) 
     = functionSummary(loc name, list[SummaryParam] params, bool returnsRef, str returnType, bool mayAlterGlobals, set[str] throwsTypes)
     | methodSummary(loc name, set[str] modifiers, list[SummaryParam] params, bool returnsRef, str returnType, bool mayAlterGlobals, set[str] throwsTypes)
     | constructorSummary(loc name, set[str] modifiers, list[SummaryParam] params, bool mayAlterGlobals, set[str] throwsTypes)
     | constantSummary(loc name, str constType)
     | classSummary(loc name, set[str] extends, set[str] implements)
     | fieldSummary(loc name, str fieldType, set[str] modifiers, str initializer)
     | invalidSummary(loc name, str reason)
     | emptySummary(loc name, loc path)
     ;

function loadFunctionSummaries​

set[Summary] loadFunctionSummaries()

function saveFunctionSummaries​

void saveFunctionSummaries(set[Summary] summaries)

function loadConstantSummaries​

set[Summary] loadConstantSummaries()

function saveConstantSummaries​

void saveConstantSummaries(set[Summary] summaries)

function loadClassSummaries​

set[Summary] loadClassSummaries()

function saveClassSummaries​

void saveClassSummaries(set[Summary] summaries)

function loadMethodSummaries​

set[Summary] loadMethodSummaries()

function saveMethodSummaries​

void saveMethodSummaries(set[Summary] summaries)

function loadSummaries​

set[Summary] loadSummaries()