/**
* 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);
}
}
