cvm.ucm.handlers
Class UCMExceptionHandler

java.lang.Object
  extended by cvm.ucm.handlers.UCMExceptionHandler

public class UCMExceptionHandler
extends java.lang.Object

This class defines all the exceptions that could be handled by the handler OCL Statement: Context: UCMExceptionHandler inv: self<>null

Author:
Guangqiang Zhao

Method Summary
 void handleException(java.lang.Exception e)
          This method will handle all the exception OCL Statement: Context: UCMExceptionHandlerr::handleException(e) pre: e<>null Context: UCMExceptionHandler::handleException(e) post: self<> null
static UCMExceptionHandler Instance()
          Implementation of the instance method as in the Singleton design pattern.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

handleException

public void handleException(java.lang.Exception e)
This method will handle all the exception OCL Statement: Context: UCMExceptionHandlerr::handleException(e) pre: e<>null Context: UCMExceptionHandler::handleException(e) post: self<> null

Parameters:
e - the exception that will be handled by the handler class

Instance

public static UCMExceptionHandler Instance()
Implementation of the instance method as in the Singleton design pattern.

Returns:
UCMExceptionHandler instnace