/** * Returns the value for a parameter. */ public double get_value(String name, @Optional double modifier) { if ("ascender".equals(name)) { PDFFont font = _stream.getFont(); if (font != null) { return(font.getAscender()); } else { return(0); } } else if ("capheight".equals(name)) { PDFFont font = _stream.getFont(); if (font != null) { return(font.getCapHeight()); } else { return(0); } } else if ("descender".equals(name)) { PDFFont font = _stream.getFont(); if (font != null) { return(font.getDescender()); } else { return(0); } } else if ("fontsize".equals(name)) { return(_stream.getFontSize()); } else { return(0); } }