コード例 #1
0
 /* (non-Javadoc)
  * @see streamit.eclipse.debugger.graph.IStream#getTopChannelToggleWidth()
  */
 public int getTopChannelToggleWidth() {
   return fTopChannel.getChannelToggleWidth();
 }