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 io.github.prolobjectlink.prolog.PrologList; 25 import io.github.prolobjectlink.prolog.PrologProvider; 26 import io.github.prolobjectlink.prolog.PrologTerm; 27 import jTrolog.terms.Struct; 28 29 /** 30 * 31 * @author Jose Zalacain 32 * @since 1.0 33 */ 34 final class JTrologEmpty extends JTrologList implements PrologList { 35 36 JTrologEmpty(PrologProvider provider) { 37 super(provider); 38 } 39 40 @Override 41 public PrologTerm[] getArguments() { 42 return new PrologTerm[0]; 43 } 44 45 @Override 46 public int getArity() { 47 return ((Struct) value).arity; 48 } 49 50 @Override 51 public String getFunctor() { 52 return ((Struct) value).name; 53 } 54 55 }