1 /* 2 * #%L 3 * prolobjectlink-jpi-jpl7 4 * %% 5 * Copyright (C) 2019 Prolobjectlink Project 6 * %% 7 * Redistribution and use in source and binary forms, with or without 8 * modification, are permitted provided that the following conditions are met: 9 * 10 * 1. Redistributions of source code must retain the above copyright notice, 11 * this list of conditions and the following disclaimer. 12 * 2. Redistributions in binary form must reproduce the above copyright notice, 13 * this list of conditions and the following disclaimer in the documentation 14 * and/or other materials provided with the distribution. 15 * 16 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" 17 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 19 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS OR CONTRIBUTORS BE 20 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 21 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 22 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 23 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 24 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 25 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 26 * POSSIBILITY OF SUCH DAMAGE. 27 * #L% 28 */ 29 package io.github.prolobjectlink.prolog.jpl7; 30 31 import io.github.prolobjectlink.prolog.PrologList; 32 import io.github.prolobjectlink.prolog.PrologProvider; 33 import io.github.prolobjectlink.prolog.PrologTerm; 34 35 /** 36 * 37 * @author Jose Zalacain 38 * @since 1.0 39 */ 40 final class JplEmpty extends JplList implements PrologList { 41 42 protected JplEmpty(PrologProvider provider) { 43 super(provider); 44 } 45 46 @Override 47 public PrologTerm[] getArguments() { 48 return new PrologTerm[0]; 49 } 50 51 @Override 52 public int getArity() { 53 return value.arity(); 54 } 55 56 @Override 57 public String getFunctor() { 58 return value.name(); 59 } 60 61 }