Superclass: Object

Class definition of lively.ide.NodeFilter in lively/ide/BrowserFramework.js:789