Here you can find the source of NumberToReal(Object n)
Parameter | Description |
---|---|
n | VDM value. |
public static Double NumberToReal(Object n)
//package com.java2s; //License from project: Open Source License public class Main { /**// w w w. ja v a2s .c o m * converts a instance to a Double. * * @param n VDM value. * @return Double value. */ public static Double NumberToReal(Object n) { if (n == null) return null; return new Double(((Number) n).doubleValue()); } }