View Javadoc

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  }