1 /* 2 * #%L 3 * prolobjectlink-jpi-jtrolog 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.jtrolog; 23 24 import static io.github.prolobjectlink.prolog.PrologTermType.NIL_TYPE; 25 26 import io.github.prolobjectlink.prolog.PrologProvider; 27 import io.github.prolobjectlink.prolog.PrologTerm; 28 import jTrolog.terms.StructAtom; 29 30 /** 31 * 32 * @author Jose Zalacain 33 * @since 1.0 34 */ 35 final class JTrologNil extends JTrologTerm implements PrologTerm { 36 37 JTrologNil(PrologProvider provider) { 38 super(NIL_TYPE, provider, new StructAtom("nil")); 39 } 40 41 public PrologTerm[] getArguments() { 42 return new PrologTerm[0]; 43 } 44 45 public int getArity() { 46 return 0; 47 } 48 49 public String getFunctor() { 50 return "" + value + ""; 51 } 52 53 }