1 /* 2 * #%L 3 * prolobjectlink-jpi-jpl 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 Lesser General Public License as 9 * published by the Free Software Foundation, either version 2.1 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 Lesser Public License for more details. 16 * 17 * You should have received a copy of the GNU General Lesser Public 18 * License along with this program. If not, see 19 * <http://www.gnu.org/licenses/lgpl-2.1.html>. 20 * #L% 21 */ 22 package io.github.prolobjectlink.prolog.jpl; 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 import jpl.Float; 29 30 /** 31 * 32 * @author Jose Zalacain 33 * @since 1.0 34 */ 35 final class JplDouble extends JplFloat implements PrologDouble { 36 37 JplDouble(PrologProvider provider, Number value) { 38 super(DOUBLE_TYPE, provider, new Float(value.doubleValue())); 39 } 40 41 }