File Source: Login.java

         /* 
    P/P   *  Method: org.apache.roller.weblogger.ui.struts2.core.Login__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.struts2.core;
    20  
    21  import org.apache.roller.weblogger.ui.struts2.util.UIAction;
    22  
    23  
    24  /**
    25   * Handle user logins.
    26   */
    27  public class Login extends UIAction {
    28      
    29      private String error = null;
    30      
    31      
             /* 
    P/P       *  Method: void org.apache.roller.weblogger.ui.struts2.core.Login()
              * 
              *  Postconditions:
              *    this.error == null
              *    this.pageTitle == &"loginPage.title"
              */
    32      public Login() {
    33          this.pageTitle = "loginPage.title";
    34      }
    35      
    36      
    37      // override default security, we do not require an authenticated user
    38      public boolean isUserRequired() {
                 /* 
    P/P           *  Method: bool isUserRequired()
                  * 
                  *  Postconditions:
                  *    return_value == 0
                  */
    39          return false;
    40      }
    41      
    42      // override default security, we do not require an action weblog
    43      public boolean isWeblogRequired() {
                 /* 
    P/P           *  Method: bool isWeblogRequired()
                  * 
                  *  Postconditions:
                  *    return_value == 0
                  */
    44          return false;
    45      }
    46      
    47      
    48      public String execute() {
    49          
    50          // set action error message if there was login error
                 /* 
    P/P           *  Method: String execute()
                  * 
                  *  Preconditions:
                  *    init'ed(this.error)
                  * 
                  *  Postconditions:
                  *    return_value == &"success"
                  * 
                  *  Test Vectors:
                  *    this.error: Addr_Set{null}, Inverse{null}
                  */
    51          if(getError() != null) {
    52              addError("error.password.mismatch");
    53          }
    54          
    55          return SUCCESS;
    56      }
    57  
    58      
    59      public String getError() {
                 /* 
    P/P           *  Method: String getError()
                  * 
                  *  Preconditions:
                  *    init'ed(this.error)
                  * 
                  *  Postconditions:
                  *    return_value == this.error
                  *    init'ed(return_value)
                  */
    60          return error;
    61      }
    62  
    63      public void setError(String error) {
                 /* 
    P/P           *  Method: void setError(String)
                  * 
                  *  Postconditions:
                  *    this.error == error
                  *    init'ed(this.error)
                  */
    64          this.error = error;
    65      }
    66      
    67  }








SofCheck Inspector Build Version : 2.18479
Login.java 2009-Jan-02 14:25:34
Login.class 2009-Sep-04 03:12:45