001/** 002 * Copyright (C) 2007 - 2016, Jens Lehmann 003 * 004 * This file is part of DL-Learner. 005 * 006 * DL-Learner is free software; you can redistribute it and/or modify 007 * it under the terms of the GNU General Public License as published by 008 * the Free Software Foundation; either version 3 of the License, or 009 * (at your option) any later version. 010 * 011 * DL-Learner is distributed in the hope that it will be useful, 012 * but WITHOUT ANY WARRANTY; without even the implied warranty of 013 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 014 * GNU General Public License for more details. 015 * 016 * You should have received a copy of the GNU General Public License 017 * along with this program. If not, see <http://www.gnu.org/licenses/>. 018 */ 019package org.dllearner.prolog; 020 021/** 022 * 023 * @author Sebastian Bader 024 * 025 */ 026public class StringConstant extends Constant { 027 private String string; 028 029 public StringConstant(String src) { 030 string = src; 031 } 032 033 public String getString() { 034 return string; 035 } 036 037 @Override 038 public boolean isGround() { 039 return true; 040 } 041 042 @Override 043 public String toString() { 044 return "C[" + string + "]"; 045 } 046 047 @Override 048 public String toPLString() { 049 return string; 050 } 051 052 @Override 053 public Term getInstance(Variable variable, Term term) { 054 return new StringConstant(string); 055 } 056 057 @Override 058 public boolean equals(Object obj) { 059 return string.equals(obj); 060 } 061 062 @Override 063 public int hashCode() { 064 return string.hashCode(); 065 } 066 067 @Override 068 public Object clone() { 069 return new StringConstant(string); 070 } 071}