Clover coverage report - Code Coverage for tapestry release 4.0-alpha-3
Coverage timestamp: Mon May 16 2005 09:05:49 EDT
file stats: LOC: 56   Methods: 4
NCLOC: 26   Classes: 1
30 day Evaluation Version distributed via the Maven Jar Repository. Clover is not free. You have 30 days to evaluate it. Please visit http://www.thecortex.net/clover to obtain a licensed version of Clover
 
 Source file Conditionals Statements Methods TOTAL
PageRedirectException.java - 100% 100% 100%
coverage
 1   
 // Copyright 2004, 2005 The Apache Software Foundation
 2   
 //
 3   
 // Licensed under the Apache License, Version 2.0 (the "License");
 4   
 // you may not use this file except in compliance with the License.
 5   
 // You may obtain a copy of the License at
 6   
 //
 7   
 //     http://www.apache.org/licenses/LICENSE-2.0
 8   
 //
 9   
 // Unless required by applicable law or agreed to in writing, software
 10   
 // distributed under the License is distributed on an "AS IS" BASIS,
 11   
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 12   
 // See the License for the specific language governing permissions and
 13   
 // limitations under the License.
 14   
 
 15   
 package org.apache.tapestry;
 16   
 
 17   
 import org.apache.hivemind.ApplicationRuntimeException;
 18   
 
 19   
 /**
 20   
  *  Exception thrown by a {@link IComponent component} or {@link org.apache.tapestry.engine.IEngineService}
 21   
  *  that wishes to force the application to a particular page.  This is often used
 22   
  *  to protect a sensitive page until the user is authenticated.
 23   
  *
 24   
  *  @author Howard Lewis Ship
 25   
  **/
 26   
 
 27   
 public class PageRedirectException extends ApplicationRuntimeException
 28   
 {
 29   
     private String _targetPageName;
 30   
 
 31  5
     public PageRedirectException(String targetPageName)
 32   
     {
 33  5
         this(targetPageName, null, null, targetPageName);
 34   
     }
 35   
 
 36  1
     public PageRedirectException(IPage page)
 37   
     {
 38  1
         this(page.getPageName());
 39   
     }
 40   
 
 41  5
     public PageRedirectException(
 42   
         String message,
 43   
         Object component,
 44   
         Throwable rootCause,
 45   
         String targetPageName)
 46   
     {
 47  5
         super(message, component, null, rootCause);
 48   
 
 49  5
         _targetPageName = targetPageName;
 50   
     }
 51   
 
 52  5
     public String getTargetPageName()
 53   
     {
 54  5
         return _targetPageName;
 55   
     }
 56   
 }