public class DoubleToken extends ScanToken
| Constructor and Description | 
|---|
| DoubleToken(double value) | 
| DoubleToken(double value,
           int lineno) | 
| Modifier and Type | Method and Description | 
|---|---|
| java.lang.String | toString() | 
| java.lang.Double | value() |