INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: ""
project: "Visual Eiffel"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: ve_api
class VEAPI_FORMAL_GENERIC
inherit

VEAPI_SERVER
redefine
out
end
creation

make
feature -- Data

dsc: VEAPI_FORMAL_GENERIC_DSC
feature -- Queries

name: STRING

constraint: VEAPI_CLASS

out: STRING
feature -- Operations

make (d: VEAPI_FORMAL_GENERIC_DSC)
end -- class VEAPI_FORMAL_GENERIC

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES