libretto-examples
libretto-examples
API
libretto.examples
CoffeeMachine
Beverage
CoffeeMachine
Flavor
ShotCount
Size
Echo
Fibonacci
HelloWorld
PingPong
PingPongN
PoolingMicroscopes
Microscopes
BorrowedMicroscope
Name
libretto.examples.canteen
Customer
Main
Protocol
PaymentCard
SectionMain
SectionSoup
Session
Provider
libretto.examples.coffeemachine
CoffeeMachine
CoffeeMachineClient
CoffeeMachineProvider
Protocol
Beverage
CoffeeMachine
Flavor
ShotCount
Size
libretto.examples.diningPhilosophers
DiningPhilosophers
Forks
ForksProvider
Philosophers
Philosophers
libretto.examples.dogTreatsFactory
Biscuit
Bone
Large
Small
Bone
DogTreatsFactory
Main
Toy
TreatsPack
LargeBone
SmallBone
TreatsPack
libretto.examples.supermarket
AbstractGoods
Customers
Customers
Goods
GoodsConsumer
GoodsProducer
Supermarket
SupermarketInterface
SupermarketProvider
baskets
money
libretto-examples
/
libretto.examples.canteen
/
Protocol
/
SectionMain
SectionMain
libretto.examples.canteen.Protocol$.SectionMain$
object
SectionMain
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
SectionMain
.type
Clear all
Members list
Concise view
Value members
Concrete methods
def
from
[
A
](
onDishRequest
:
A
-⚬
MainDish
|*|
SectionMain
|+|
SectionPayment
,
goToPayment
:
A
-⚬
SectionPayment
):
A
-⚬
SectionMain
def
getMainDish
:
SectionMain
-⚬
MainDish
|*|
SectionMain
|+|
SectionPayment
def
proceedToPayment
:
SectionMain
-⚬
SectionPayment