View-Update Resolution – Example

(Designer Resolves Ambiguities)

object module view Guest View based on Guest Room, Room View includes

@ change view(Guest, View);

read only

Guest has View;

hidden

Guest(x) has View(y) :- Guest(x) has Room(z), Room(z) has View(y);

@ change view(g: Guest, v: View) then

<< find an unoccupied room with view v >>

<< if such a room r exists, then g.Room := r >>

end;

Previous slide

Next slide

Back to first slide

View graphic version