Skip to main content

module lang::sdf2::filters::GeneralInjectionCount

rascal-0.40.16

Usage​

import lang::sdf2::filters::GeneralInjectionCount;

Dependencies​

import ParseTree;
import List;

function injection​

default bool injection(Tree _)

bool injection(appl(prod(Symbol _,[Symbol _],set[Attr] _), [Tree _]))

function generalInjectionCountFilter​

&T <: Tree generalInjectionCountFilter(amb(set[&T <: Tree] alts))