    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 interface describes text elements that can be referred to at a later position in
    019     * the text.
    020     *
    021     * @see RefTextElement
    022     * @see NounTextElement
    023     * @author Tobias Kuhn
    024     */
    025    public interface RefableTextElement extends TextElement {
    026
    027            /**
    028             * This method should return the text how a reference to this text element has to look like.
    029             *
    030             * @return The text of a possible reference.
    031             */
    032            public abstract String getReferenceText();
    033
    034    }