indexing description: "Representation of an unselected replicated once procedure" date: "$Date$" revision: "$Revision$" class RD1_ONCE_PROC_I inherit D_ONCE_PROC_I redefine code_id, transfer_to, is_replicated, set_code_id end feature code_id: INTEGER; -- Code id set_code_id (i: INTEGER) is -- Assign `i' to `code_id'. do code_id := i end; transfer_to (f: like Current) is -- Data transfer do Precursor {D_ONCE_PROC_I} (f); f.set_code_id (code_id); end; is_replicated: BOOLEAN is True; -- Is Current feature conceptually replicated (True) end