INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

project: "Visual Eiffel run-time system"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: kernel
class RTS_ARG_LOC
inherit

RTS_SERVER
end
creation

make
feature -- Operations

make (f: RTS_ROUTINE_INFO; id: INTEGER)
require
non_void_father: f /= void
valid_father: f.number_of_args_locs > 0
valid_id: id > 0 and then id <= f.number_of_args_locs

name: STRING
ensure
valid_name: Result /= void and then Result.count > 0

offset: INTEGER
ensure
valid_offset: Result /= 0

type: RTS_CLASS_INFO
ensure
valid_type: Result /= void
end -- class RTS_ARG_LOC

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES