Source code: mlsub/typing/AtomicKind.java
1 /**************************************************************************/
2 /* N I C E */
3 /* A high-level object-oriented research language */
4 /* (c) Daniel Bonniot 2002 */
5 /* */
6 /* This program is free software; you can redistribute it and/or modify */
7 /* it under the terms of the GNU General Public License as published by */
8 /* the Free Software Foundation; either version 2 of the License, or */
9 /* (at your option) any later version. */
10 /* */
11 /**************************************************************************/
12
13 package mlsub.typing;
14
15 /**
16 An atomic kind. Its elements cannot be further decomposed,
17 they are compared in a constraint.
18
19 @version $Date: 2002/08/01 00:27:53 $
20 @author Daniel Bonniot (bonniot@users.sourceforge.net)
21 */
22
23 public interface AtomicKind extends mlsub.typing.lowlevel.Kind
24 {
25 mlsub.typing.lowlevel.Engine.Constraint getConstraint();
26
27 /** arity of the elements. */
28 int arity();
29 }