| 
  |||||||||||||||||||
| 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 | |||||||||||||||
| AwaitMessageException.java | - | 0% | 0% | 0% | 
             | 
  ||||||||||||||
| 1 | 
       /*
 | 
|
| 2 | 
        * $Id: AwaitMessageException.java,v 1.1 2004/12/15 14:18:10 patforna Exp $
 | 
|
| 3 | 
        *
 | 
|
| 4 | 
        * Copyright (c) 2004 Patric Fornasier, Pawel Kowalski
 | 
|
| 5 | 
        * Berne University of Applied Sciences
 | 
|
| 6 | 
        * School of Engineering and Information Technology
 | 
|
| 7 | 
        * All rights reserved.
 | 
|
| 8 | 
        */
 | 
|
| 9 | 
       package bexee.core;
 | 
|
| 10 | 
       | 
|
| 11 | 
       import bexee.model.activity.Receive;
 | 
|
| 12 | 
       | 
|
| 13 | 
       /**
 | 
|
| 14 | 
        * While the Process Controller is executing a process, it will necessarily
 | 
|
| 15 | 
        * arrive at a Receive activity without the message for the receive, there the
 | 
|
| 16 | 
        * process execution must stop and wait for a right message to resume execution.
 | 
|
| 17 | 
        * In order to suspend process execution and to enter the state of awaiting a
 | 
|
| 18 | 
        * message, this execption will be used.
 | 
|
| 19 | 
        * 
 | 
|
| 20 | 
        * @version $Revision: 1.1 $, $Date: 2004/12/15 14:18:10 $
 | 
|
| 21 | 
        * @author Patric Fornasier
 | 
|
| 22 | 
        * @author Pawel Kowalski
 | 
|
| 23 | 
        */
 | 
|
| 24 | 
      public class AwaitMessageException extends Exception {  | 
|
| 25 | 
       | 
|
| 26 | 
           private Receive receive;
 | 
|
| 27 | 
       | 
|
| 28 | 
           /**
 | 
|
| 29 | 
            * Create an AwaitMessageException with the correspondent receive, where it
 | 
|
| 30 | 
            * stopped.
 | 
|
| 31 | 
            * 
 | 
|
| 32 | 
            * @param receive
 | 
|
| 33 | 
            *            The Receive activity where this exception occured
 | 
|
| 34 | 
            */
 | 
|
| 35 | 0 | 
   
        public AwaitMessageException(Receive receive) {
   
 | 
| 36 | 0 | 
   
            this.receive = receive;
   
 | 
| 37 | 
      }  | 
|
| 38 | 
       | 
|
| 39 | 
           /**
 | 
|
| 40 | 
            * Get the Receive activity where this exception occured.
 | 
|
| 41 | 
            * 
 | 
|
| 42 | 
            * @return
 | 
|
| 43 | 
            */
 | 
|
| 44 | 0 | 
   
        public Receive getReceive() {
   
 | 
| 45 | 0 | 
   
            return receive;
   
 | 
| 46 | 
      }  | 
|
| 47 | 
      }  | 
  | 
||||||||||