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