$num = $workspace->get_number(); $name = $workspace->get_name();