Skip to main content

module lang::sdf2::filters::GeneralInjectionCount

rascal-0.34.0

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))