Skip to main content

module lang::php::analysis::cfg::Label

rascal-0.40.17
php-analysis-0.2.4

Usage​

import lang::php::analysis::cfg::Label;

Source code​

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

Dependencies​

import lang::php::ast::AbstractSyntax;

data Lab​

data Lab  
     = lab(int id)
     ;

Labels are added to expressions and statements to give us a shorthand to refer to the various statements, expressions, and sub-statements/sub-expressions in the code.

data Expr​

data Expr (Lab lab=lab(-1))

data Stmt​

data Stmt (Lab lab=lab(-1))