1 /* 2 * #%L 3 * prolobjectlink-jpi-jlog 4 * %% 5 * Copyright (C) 2019 Prolobjectlink Project 6 * %% 7 * This program is free software: you can redistribute it and/or modify 8 * it under the terms of the GNU General Public License as 9 * published by the Free Software Foundation, either version 3 of the 10 * License, or (at your option) any later version. 11 * 12 * This program is distributed in the hope that it will be useful, 13 * but WITHOUT ANY WARRANTY; without even the implied warranty of 14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 15 * GNU General Public License for more details. 16 * 17 * You should have received a copy of the GNU General Public 18 * License along with this program. If not, see 19 * <http://www.gnu.org/licenses/gpl-3.0.html>. 20 * #L% 21 */ 22 package io.github.prolobjectlink.prolog.jlog; 23 24 import static io.github.prolobjectlink.prolog.PrologTermType.DOUBLE_TYPE; 25 26 import io.github.prolobjectlink.prolog.PrologDouble; 27 import io.github.prolobjectlink.prolog.PrologProvider; 28 29 /** 30 * 31 * @author Jose Zalacain 32 * @since 1.0 33 */ 34 final class JLogDouble extends JLogFloat implements PrologDouble { 35 36 JLogDouble(PrologProvider provider, Number value) { 37 super(DOUBLE_TYPE, provider, new jDouble(value.doubleValue())); 38 } 39 40 public final double getDoubleValue() { 41 return ((jDouble) value).getRealValue(); 42 } 43 44 public float getFloatValue() { 45 return (float) getDoubleValue(); 46 } 47 48 }