tree 19a48e7945f18e09a3ad9825f2c9ddb218822712
parent ec4f5a711dd78c4a77f388c7f281dc79d19be106
author Yuta HIGUCHI <y-higuchi@onlab.us> 1406221042 -0700
committer Yuta HIGUCHI <y-higuchi@onlab.us> 1406221478 -0700

Cosmetic fixes

- Changed Port#{asSwitchPort() -> getSwitchPort()}
- Added   Port#getPortNumber()
- Changed some formal param names: e.g., number -> portNumber

Change-Id: If93043489591e43e189137ee2f82907e863fdada