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