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;
12:
13: /**
14: Ex V. K. \theta
15:
16: @version $Date: 2004/02/26 22:17:39 $
17: @author Daniel Bonniot
18: */
19: public class Domain {
20: public Domain(Constraint constraint, Monotype[] monotypes) {
21: this .constraint = constraint;
22: this .monotypes = monotypes;
23: }
24:
25: /**
26: The domain Ex T. True. T
27: */
28: public final static Domain bot = null;
29:
30: public Constraint getConstraint() {
31: return constraint;
32: }
33:
34: public Monotype[] getMonotypes() {
35: return monotypes;
36: }
37:
38: /****************************************************************
39: * Misc
40: ****************************************************************/
41:
42: public String toString() {
43: return (constraint == null ? "" : "Ex " + constraint)
44: + java.util.Arrays.asList(monotypes).toString();
45: }
46:
47: private Constraint constraint;
48: private Monotype[] monotypes;
49: }
|