01: /**************************************************************************/
02: /* B O S S A */
03: /* A simple imperative object-oriented research language */
04: /* (c) Daniel Bonniot 1999 */
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.lowlevel;
12:
13: /** Something that can be constrained in this engine
14: *
15: *
16: * @author bonniot
17: */
18:
19: public interface Element {
20: int getId();
21:
22: void setId(int value);
23:
24: Kind getKind();
25:
26: void setKind(Kind value);
27:
28: /**
29: * Returns true if this element can exist at runtime.
30: */
31: boolean isConcrete();
32:
33: boolean isExistential();
34: }
|