class cvs_tree_factory :
(
object
method create : Cam_view.ressource_name ->
string array -> cvs_tree_view * GWindow.window
method create_no_window : GWindow.window ->
Cam_view.ressource_name ->
string array -> cvs_tree_view * GObj.widget
method known_ressource_kinds : Cam_view.ressource_kind list
method name : Cam_view.view_name
end
:
object ... end
)
method create : Cam_view.ressource_name ->
string array -> cvs_tree_view * GWindow.window
method create_no_window : GWindow.window ->
Cam_view.ressource_name ->
string array -> cvs_tree_view * GObj.widget
method known_ressource_kinds : Cam_view.ressource_kind list
method name : Cam_view.view_name