bool matches(String name) { if (toolName != null && toolName == name) return true; if (toolNamePattern != null && toolNamePattern!.hasMatch(name)) return true; return toolName == null && toolNamePattern == null; }