1 /*
2 wsmo4j - a WSMO API and Reference Implementation
3 Copyright (c) 2005, University of Innsbruck Austria
4 This library is free software; you can redistribute it and/or modify it under
5 the terms of the GNU Lesser General Public License as published by the Free
6 Software Foundation; either version 2.1 of the License, or (at your option)
7 any later version.
8 This library is distributed in the hope that it will be useful, but WITHOUT
9 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
10 FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more
11 details.
12 You should have received a copy of the GNU Lesser General Public License along
13 with this library; if not, write to the Free Software Foundation, Inc.,
14 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
15 */
16 package org.deri.wsmo4j.logicalexpression;
17
18
19 import java.util.*;
20
21 import org.omwg.logicalexpression.*;
22 import org.omwg.logicalexpression.terms.Term;
23 import org.wsmo.common.*;
24
25
26 /**
27 *
28 * <pre>
29 * Created on Sep 7, 2005
30 * Committed by $Author$
31 * $Source$,
32 * </pre>
33 *
34 * @author Holger Lausen (holger.lausen@deri.org)
35 *
36 * @version $Revision$ $Date$
37 */
38 public class BuiltInAtomImpl
39 extends AtomImpl
40 implements BuiltInAtom {
41
42 /**
43 * @param id
44 * @param args
45 * @throws IllegalArgumentException
46 */
47 public BuiltInAtomImpl(Identifier id, List <Term> args)
48 throws IllegalArgumentException {
49 super(id, args);
50 if (!ConstantTransformer.getInstance().isBuiltInAtom(id.toString())) {
51 throw new IllegalArgumentException(id + "is not Built in Atom!");
52 }
53 }
54
55 }