View Javadoc

1   /* This file is part of the project "Hilbert II" - http://www.qedeq.org" target="alexandria_uri">http://www.qedeq.org
2    *
3    * Copyright 2000-2014,  Michael Meyling <mime@qedeq.org>.
4    *
5    * "Hilbert II" is free software; you can redistribute
6    * it and/or modify it under the terms of the GNU General Public
7    * License as published by the Free Software Foundation; either
8    * version 2 of the License, or (at your option) any later version.
9    *
10   * This program is distributed in the hope that it will be useful,
11   * but WITHOUT ANY WARRANTY; without even the implied warranty of
12   * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13   * GNU General Public License for more details.
14   */
15  
16  package org.qedeq.kernel.se.base.module;
17  
18  
19  /**
20   * Text only subsection of a QEDEQ file.
21   *
22   * @author  Michael Meyling
23   */
24  public interface Subsection extends SubsectionType {
25  
26      /**
27       * Get label of node. The node is referenced with this label.
28       *
29       * @return  Returns the label.
30       */
31      public String getId();
32  
33      /**
34       * Get level of subsection. Higher levels contain additional informations.
35       *
36       * @return  Returns the level.
37       */
38      public String getLevel();
39  
40      /**
41       * Get title of subsection.
42       *
43       * @return  Returns the name.
44       */
45      public LatexList getTitle();
46  
47      /**
48       * Get the LaTeX text.
49       *
50       * @return  Returns the LaTeX text.
51       */
52      public LatexList getLatex();
53  }