INDEX
CLUSTER
FEATURES
SHORT
FRAMES
NO FRAMES
indexing
cluster:
ve_api
class
CMD_VEAPI_CLOSE_PROJECT
inherit
VEAPI_CLIENT_COMMAND
end
feature
-- Queries
has_result
:
BOOLEAN
dummy
:
INTEGER
end
-- class
CMD_VEAPI_CLOSE_PROJECT
INDEX
CLUSTER
FEATURES
SHORT
FRAMES
NO FRAMES