setTraceFilter function
Restrict traced methods: ';'-separated paths, a trailing '' means prefix match ('/echo.Echo/'). Empty = trace all.
Implementation
void setTraceFilter(String patterns) {
_traceFilter = patterns.split(';').where((p) => p.isNotEmpty).toList();
}