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