View Javadoc

1   /*
2    * $Id: AllDifferent.java,v 1.7 2005/06/01 14:36:02 jlerner Exp $
3    *
4    * Copyright (c) 1999-2004, BBN Technologies, LLC.
5    * All rights reserved.
6    * http://www.daml.org/legal/opensource/bbn_license.html
7    */
8   package com.bbn.swede.core.dom.owl;
9   
10  import com.bbn.swede.core.dom.ClassNode;
11  import com.bbn.swede.core.dom.OASTNode;
12  
13  /***
14   * Custom class node implementation for owl:AllDifferent.
15   * @author jlerner
16   */
17  public class AllDifferent extends ClassNode
18  {
19     /*
20      *  (non-Javadoc)
21      * @see com.bbn.swede.core.dom.OASTNode#allowedChildren()
22      */
23     protected int[] allowedChildren()
24     {
25        return null;
26     }
27  
28     /*
29      *  (non-Javadoc)
30      * @see com.bbn.swede.core.dom.OASTNode#getNodeType()
31      */
32     public int getNodeType()
33     {
34        return OASTNode.OWL_ALLDIFFERENT;
35     }
36  
37  }