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.TRUE_TYPE; 25 26 import io.github.prolobjectlink.prolog.PrologProvider; 27 import io.github.prolobjectlink.prolog.PrologTerm; 28 29 /** 30 * 31 * @author Jose Zalacain 32 * @since 1.0 33 */ 34 final class JplTrue extends JplTerm implements PrologTerm { 35 36 protected JplTrue(PrologProvider provider) { 37 super(TRUE_TYPE, provider, JPL_TRUE); 38 } 39 40 public PrologTerm[] getArguments() { 41 return new PrologTerm[0]; 42 } 43 44 public int getArity() { 45 return 0; 46 } 47 48 public String getFunctor() { 49 return "" + value + ""; 50 } 51 52 }