Source code: mlsub/typing/lowlevel/Element.java
1 /**************************************************************************/
2 /* B O S S A */
3 /* A simple imperative object-oriented research language */
4 /* (c) Daniel Bonniot 1999 */
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 // File : Element.java
14 // Created : Wed Jul 28 10:42:50 1999 by bonniot
15 //$Modified: Wed Aug 02 17:53:52 2000 by Daniel Bonniot $
16
17 package mlsub.typing.lowlevel;
18
19 /** Something that can be constrained in this engine
20 *
21 *
22 * @author bonniot
23 */
24
25 public interface Element
26 {
27 int getId();
28 void setId(int value);
29
30 Kind getKind();
31 void setKind(Kind value);
32
33 /**
34 * Returns true if this element can exist at runtime.
35 */
36 boolean isConcrete();
37 }