/**
* Get the contour label height. Use associated <code>ContourLineAttribute</code> if it exists and
* has labelHeightPOverrideen set to <code>false</code>.
*/
public double getLabelHeightP() {
if (attr_ != null && attr_.isLabelHeightPOverridden()) {
return attr_.getLabelHeightP();
} else {
return labelHeightP_;
}
}
