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 */