tree 505e78ff141204c2a2d69aec7f918d8423494294
parent e5eebad6d20918365a6d3a880b54bc61439b529c
author Davide Pesavento <davide.pesavento@lip6.fr> 1491626575 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1491721039 -0400

face: move isListening()/size() to Channel as pure virtual methods

As a side effect, this ensures that Channel cannot be instantiated.

Change-Id: I875876ddf8fc0fbb04f3e88726c708ece8106702