File Source: TextEditor.java

         /* 
    P/P   *  Method: org.apache.roller.weblogger.ui.core.plugins.TextEditor__static_init
          */
     1  /*
     2   * Licensed to the Apache Software Foundation (ASF) under one or more
     3   *  contributor license agreements.  The ASF licenses this file to You
     4   * under the Apache License, Version 2.0 (the "License"); you may not
     5   * use this file except in compliance with the License.
     6   * You may obtain a copy of the License at
     7   *
     8   *     http://www.apache.org/licenses/LICENSE-2.0
     9   *
    10   * Unless required by applicable law or agreed to in writing, software
    11   * distributed under the License is distributed on an "AS IS" BASIS,
    12   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
    13   * See the License for the specific language governing permissions and
    14   * limitations under the License.  For additional information regarding
    15   * copyright in this work, please see the NOTICE file in the top level
    16   * directory of this distribution.
    17   */
    18  
    19  package org.apache.roller.weblogger.ui.core.plugins;
    20  
    21  import java.util.Locale;
    22  import org.apache.roller.weblogger.util.I18nMessages;
    23  
    24  
    25  /**
    26   * The default text editor.  Basically just plain html textareas.
    27   */
    28  public class TextEditor implements WeblogEntryEditor {
    29      
    30      
             /* 
    P/P       *  Method: void org.apache.roller.weblogger.ui.core.plugins.TextEditor()
              */
    31      public TextEditor() {}
    32      
    33      
    34      public String getId() {
                 /* 
    P/P           *  Method: String getId()
                  * 
                  *  Postconditions:
                  *    return_value == &"editor-text.jsp"
                  */
    35          return "editor-text.jsp";
    36      }
    37      
    38      public String getName() {
                 /* 
    P/P           *  Method: String getName()
                  * 
                  *  Postconditions:
                  *    return_value == &"editor.text.name"
                  */
    39          return "editor.text.name";
    40      }
    41      
    42      public String getJspPage() {
                 /* 
    P/P           *  Method: String getJspPage()
                  * 
                  *  Postconditions:
                  *    return_value == &".roller-ui.authoring.editors.editor-text.jsp"
                  */
    43          return "/roller-ui/authoring/editors/editor-text.jsp";
    44      }
    45      
    46  }








SofCheck Inspector Build Version : 2.18479
TextEditor.java 2009-Jan-02 14:24:56
TextEditor.class 2009-Sep-04 03:12:44