    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.chartparser;
    016
    017    /**
    018     * This class stands for a terminal category.
    019     *
    020     * @author Tobias Kuhn
    021     */
    022    public class Terminal extends Category {
    023
    024            /**
    025             * Creates a new terminal category.
    026             *
    027             * @param name The name of the category.
    028             */
    029            public Terminal(String name) {
    030                    super(name);
    031            }
    032
    033            public String toString() {
    034                    return "'" + super.toString() + "'";
    035            }
    036
    037    }