io.joern.console.workspacehandling.Workspace
class Workspace[
ProjectType <: Project](
var projects:
ListBuffer[
ProjectType])(
implicit availableWidthProvider:
AvailableWidthProvider)
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 Object
trait Matchable
class Any
Members list
Returns total number of projects in this workspace
Returns total number of projects in this workspace
Attributes
Provide a human-readable overview of the workspace
Provide a human-readable overview of the workspace
Attributes
-
Definition Classes
-
Any