001 // This file is part of the Attempto Java Packages. 002 // Copyright 2008, Attempto Group, University of Zurich (see http://attempto.ifi.uzh.ch). 003 // 004 // The Attempto Java Packages is free software: you can redistribute it and/or modify it under the 005 // terms of the GNU Lesser General Public License as published by the Free Software Foundation, 006 // either version 3 of the License, or (at your option) any later version. 007 // 008 // The Attempto Java Packages is distributed in the hope that it will be useful, but WITHOUT ANY 009 // WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR 010 // PURPOSE. See the GNU Lesser General Public License for more details. 011 // 012 // You should have received a copy of the GNU Lesser General Public License along with the Attempto 013 // Java Packages. If not, see http://www.gnu.org/licenses/. 014 015 package ch.uzh.ifi.attempto.preditor.text; 016 017 /** 018 * This class represents a text element that is a reference to a preceding text element. 019 * 020 * @see RefableTextElement 021 * @author Tobias Kuhn 022 */ 023 public class RefTextElement implements TextElement { 024 025 private RefableTextElement refableTextElement; 026 private String category; 027 028 /** 029 * Creates a new reference text element that refers to the given referenceable text element. 030 * 031 * @param refableTextElement The referenceable text element occurring earlier in the text. 032 * @param category The category of the reference text element. 033 */ 034 public RefTextElement(RefableTextElement refableTextElement, String category) { 035 this.refableTextElement = refableTextElement; 036 this.category = category; 037 } 038 039 public String getText() { 040 return refableTextElement.getReferenceText(); 041 } 042 043 public String getCategory() { 044 return category; 045 } 046 047 public void checkNeighborTextElements(TextElement precedingTextElement, TextElement nextTextElement) { 048 } 049 050 public boolean equals(Object obj) { 051 if (obj instanceof RefTextElement) { 052 RefTextElement other = (RefTextElement) obj; 053 return (this.refableTextElement == other.refableTextElement); 054 } 055 return false; 056 } 057 058 }