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