indexing description: "Array for 4-dimensional vectors" author: "" date: "$Date$" revision: "$Revision$" deferred class EM_ABSTRACT_VECTOR4_ARRAY[N -> NUMERIC, V -> EM_ABSTRACT_VECTOR4[N] create default_create end] obsolete "Use EM_VECTOR_ARRAY directly" inherit EM_ABSTRACT_VECTOR_ARRAY[N, V] undefine item, put, infix "@" end convert to_c_pointer: {POINTER} feature -- Element change put (v: V; i: INTEGER) is -- Replace `i'-th entry, if in index interval, by `v'. do area.put (v.x, dimension*i ) area.put (v.y, dimension*i + 1) area.put (v.y, dimension*i + 2) area.put (v.y, dimension*i + 3) end feature {NONE} -- Implementation -- dimension: INTEGER is 4 invariant invariant_clause: True -- Your invariant here end