Coverage Report - org.wsmo.service.orchestration.rule.OrchestrationForAll
 
Classes in this File Line Coverage Branch Coverage Complexity
OrchestrationForAll
N/A
N/A
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  
 }