captchaservice.java

### File Source: captchaservice.java

             /*
        P/P   *  Method: net.sourceforge.pebble.confirmation.CaptchaService__static_init
              *
              *  Postconditions:
              *    instance == &new DefaultManageableImageCaptchaService(CaptchaService__static_init#1)
              *    new DefaultManageableImageCaptchaService(CaptchaService__static_init#1) num objects == 1
              */
         1  package net.sourceforge.pebble.confirmation;
         2
             /*
        P/P   *  Method: void net.sourceforge.pebble.confirmation.CaptchaService()
              */
         3  import com.octo.captcha.service.image.DefaultManageableImageCaptchaService;
         4  import com.octo.captcha.service.image.ImageCaptchaService;
         5
         6  /**
         7   * Singleton wrapper for the JCaptcha services.
         8   *
         9   * @author    Simon Brown
        10   */
        11  public class CaptchaService {
        12
        13    private static final ImageCaptchaService instance = new DefaultManageableImageCaptchaService();
        14
        15    /**
        16     * Gets the singleton ImageCaptchaService instance.
        17     *
        18     * @return  an ImageCaptchaService instance
        19     */
        20    public static ImageCaptchaService getInstance(){
                   /*
        P/P         *  Method: ImageCaptchaService getInstance()
                    *
                    *  Postconditions:
                    *    return_value == &new DefaultManageableImageCaptchaService(CaptchaService__static_init#1)
                    */
        21        return instance;
        22    }
        23
        24  }

SofCheck Inspector Build Version : 2.22510

captchaservice.java | 2010-Jun-25 19:40:32
captchaservice.class | 2010-Jul-19 20:23:40