Workspace
io.joern.console.workspacehandling.Workspace
Create a workspace from a list of projects. Workspace is a passive object that is managed by WorkspaceManager
Value parameters
- projects
-
list of projects present in this workspace
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
Members list
In this article