Skip to main content

module lang::sdf2::filters::InjectionCount

rascal-0.40.16

Usage​

import lang::sdf2::filters::InjectionCount;

Dependencies​

import ParseTree;

function count​

default int count(Tree _)

int count(appl(prod(Symbol _,[Symbol _],set[Attr] _), [Tree arg]))

function injectionCountFilter​

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