Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

em.goof.object.xy

Class EM_GOOF_XY_TRANSPORT


Direct ancestors

EM_GOOF_XY_VEHICLE, EM_GOOF_CONTAINER

Creation

Features

Invariants

indexing

description

Container EM_GOOF_XY_VEHICLE for example a ship or tank with turrets

date

$Date: 2005/10/23 12:02:23 $

revision

$Revision: 1.11 $

class

EM_GOOF_XY_TRANSPORT

inherit

EM_GOOF_XY_VEHICLE
EM_GOOF_CONTAINER

create

make (img: EM_DRAWABLE x: DOUBLE y: DOUBLE phs: EM_GOOF_PHYSICS)

-- Make transporter

make_multiple_picture (imgs: DS_LINKED_LIST[EM_DRAWABLE] x: DOUBLE y: DOUBLE phs: EM_GOOF_PHYSICS)

-- Make with multiple picture for rotation

premake

feature -- Initialization

make (img: EM_DRAWABLE x: DOUBLE y: DOUBLE phs: EM_GOOF_PHYSICS)

-- Make transporter

make_multiple_picture (imgs: DS_LINKED_LIST[EM_DRAWABLE] x: DOUBLE y: DOUBLE phs: EM_GOOF_PHYSICS)

-- Make with multiple picture for rotation

feature -- Drawing

draw (screen: EM_VIDEO_SURFACE at: EM_VECTOR_2D at_angle: DOUBLE)

-- Draw object at 'at' and rotated with 'at_angle' around 'at'

feature -- Processing

process (time_length: DOUBLE)

-- Process this object

invariant




has_image: premade or image /= void
has_position: premade or position /= void

-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)


has_images: has_multiple_pictures implies (images /= void and then images.count > 0)

items_not_void: items /= void

end