| /* |
| * Created on Mar 6, 2005 |
| */ |
| team package org.eclipse.objectteams.example.fbapplication.GUIConnector; |
| |
| |
| /** |
| * This team is nested within GUIConnector (see the package statement above). |
| * It is responsible for recording acquired credits and displaying this |
| * information after a passenger has booked his or her flight. |
| * |
| * Note, that this class implicitly inherits from GUIConnector.FlightBonusDialog |
| * and so do its roles recursively. |
| */ |
| protected team class FlightBonusDialog playedBy FlightBonus { |
| |
| protected class Collector playedBy Item<@FlightBonusDialog.base> { |
| |
| //------------------------------------------------------- |
| //Callin bindings |
| recordCredits <- replace calculateCredit; |
| //------------------------------------------------------- |
| //Callout bindings |
| getDestination -> getDestination; |
| getStart -> getStart; |
| //------------------------------------------------------- |
| } |
| |
| protected class Message playedBy Subscriber<@FlightBonusDialog.base> { |
| |
| //------------------------------------------------------- |
| // Callout bindings |
| getTotalCollectedCredits -> getCollectedCredits; |
| getName -> getName; |
| //------------------------------------------------------- |
| // Callin binding |
| showBonusDialog <- after buy; |
| //------------------------------------------------------- |
| } |
| } |