dojo.html.getElementBox = function(/* HTMLElement */node, /* string */type){   var bs = dojo.html.boxSizing; switch(type){ case bs.MARGIN_BOX: return dojo.html.getMarginBox(node); case bs.BORDER_BOX: return dojo.html.getBorderBox(node); case bs.PADDING_BOX: return dojo.html.getPaddingBox(node); case bs.CONTENT_BOX: default: return dojo.html.getContentBox(node); } 
dojo.html.getElementBox=function(node,type){ var bs=dojo.html.boxSizing; switch(type){ case bs.MARGIN_BOX: return dojo.html.getMarginBox(node); case bs.BORDER_BOX: return dojo.html.getBorderBox(node); case bs.PADDING_BOX: return dojo.html.getPaddingBox(node); case bs.CONTENT_BOX: default: return dojo.html.getContentBox(node); 
dojo.html.getElementBox = function(/* HTMLElement */node, /* string */type){  //  summary  //  return dimesions of a node based on the passed box model type.  var bs = dojo.html.boxSizing;  switch(type){    case bs.MARGIN_BOX:      return dojo.html.getMarginBox(node);  //  object    case bs.BORDER_BOX:      return dojo.html.getBorderBox(node);  //  object    case bs.PADDING_BOX:      return dojo.html.getPaddingBox(node); //  object    case bs.CONTENT_BOX:    default:      return dojo.html.getContentBox(node); //  object  }}
6315	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6315/90939f35f46f873d9b1f5c5f818ecf012711dc71/dojo.js/buggy/src/main/resources/org/apache/struts2/static/dojo/dojo.js