View Javadoc

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.rule;
20  
21  import org.omwg.logicalexpression.*;
22  
23  
24  
25  /**
26   * A Compound Fact is the object used for add(), delete() and update() rules.
27   * This upper dummy class is used for MoleculeFact and RelationFact
28   * 
29   * @author James Scicluna
30   * @author Thomas Haselwanter
31   * @author Vassil Momtchev
32   * 
33   * Created on 16-Oct-2005 Committed by $Author: vassil_momtchev $
34   * 
35   * $Source:
36   * /cvsroot/wsmo4j/ext/choreography/src/api/org/wsmo/service/choreography/rule/CompoundFact.java,v $,
37   * @version $Revision: 1844 $ $Date: 2006-10-24 17:11:48 +0300 (Tue, 24 Oct 2006) $
38   */
39  
40  public interface CompoundFact extends Iterable<AtomicExpression> {
41      
42      /**
43       * Check if the fact contains any information
44       * 
45       * @return
46       */
47      public boolean isEmpty();
48  }
49  
50  /*
51   * $Log$
52   * Revision 1.1  2006/10/24 14:11:48  vassil_momtchev
53   * choreography/orchestration rules refactored. different types where appropriate now supported
54   *
55   * Revision 1.10  2006/04/17 07:40:10  vassil_momtchev
56   * CompoundFact extends Iterable<AtomicExpression>
57   *
58   * Revision 1.9  2006/02/10 15:30:35  vassil_momtchev
59   * isEmpty method shifted from MoleculeFact to CompoundFact; log footer added
60   *
61   * Revision 1.8  2006/02/03 13:29:00  jamsci001
62   * - CompoundFact is now a "dummy" superclass of MoleculeFact and RelationFact
63   * - RelationFact extends CompoundFact and Atom
64   * - UpdateRule refactored to support RelationFacts
65   * - PipedRules are also allowed
66   *
67   * Revision 1.7  2006/01/31 10:23:34  vassil_momtchev
68   * CompoundFact has two sets now of MembershipMolecules and AttributeValueMoleculs; log footer added
69   *
70  */