Classes in this File | Line Coverage | Branch Coverage | Complexity | ||||
OrchestrationForAll |
|
| 0.0;0 |
1 | /* | |
2 | wsmo4j extension - a Choreography API and Reference Implementation | |
3 | ||
4 | Copyright (c) 2005, University of Innsbruck, Austria | |
5 | ||
6 | This library is free software; you can redistribute it and/or modify it under | |
7 | the terms of the GNU Lesser General Public License as published by the Free | |
8 | Software Foundation; either version 2.1 of the License, or (at your option) | |
9 | any later version. | |
10 | This library is distributed in the hope that it will be useful, but WITHOUT | |
11 | ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS | |
12 | FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more | |
13 | details. | |
14 | You should have received a copy of the GNU Lesser General Public License along | |
15 | with this library; if not, write to the Free Software Foundation, Inc., | |
16 | 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA | |
17 | */ | |
18 | ||
19 | package org.wsmo.service.orchestration.rule; | |
20 | ||
21 | /** | |
22 | * forall <vars> with <condition> do <rule> endForall. | |
23 | * | |
24 | * <pre> | |
25 | * Created on Jul 26, 2005 | |
26 | * Committed by $Author: vassil_momtchev $ | |
27 | * $Source$ | |
28 | * </pre> | |
29 | * | |
30 | * @author James Scicluna | |
31 | * @author Thomas Haselwanter | |
32 | * @author Holger Lausen | |
33 | * | |
34 | * @version $Revision: 1850 $ $Date: 2006-10-24 17:59:38 +0300 (Tue, 24 Oct 2006) $ | |
35 | */ | |
36 | public interface OrchestrationForAll extends OrchestrationQuantifiedRule { | |
37 | ||
38 | } |