(hasSession: boolean, page: DevToolsPage)
| 143 | } |
| 144 | |
| 145 | public isPageAvailable(hasSession: boolean, page: DevToolsPage) { |
| 146 | if (page.requiresFlutter && !this.context.workspaceContext.hasAnyFlutterProjects) |
| 147 | return false; |
| 148 | if (page.requiredDartSdkVersion && this.context.workspaceContext.sdks.dartVersion && !versionIsAtLeast(this.context.workspaceContext.sdks.dartVersion, page.requiredDartSdkVersion)) |
| 149 | return false; |
| 150 | if (!page.isStaticTool && !hasSession) |
| 151 | return false; |
| 152 | |
| 153 | return true; |
| 154 | } |
| 155 | |
| 156 | private routeIdForPage(page: DevToolsPage | undefined | null): string | undefined { |
| 157 | if (!page) |
no test coverage detected