Class Row

src/main/java/wyil/check/FlowTypeUtils.java:1094–1238

		}

		public final static class Row {
			/**
			 * Default comparator for typing rows.
			 */
			public static Comparator<Row> COMPARATOR(Subtyping.Environment env) {
				return new Comparator<Row>() {

					@Override
					public int compare(Row o1, Row o2) {
						Type[] o1_types = o1.types;
						Type[] o2_types = o2.types;
						if(o1_types.length < o2_types.length) {
							return -1;
						} else if(o1_types.length > o2_types.length) {
							return 1;
						}
						//
						for(int i=0;i!=o1_types.length;++i) {
							Type t1 = o1_types[i];
							Type t2 = o2_types[i];
							boolean left = env.isSatisfiableSubtype(t1, t2);
							boolean right = env.isSatisfiableSubtype(t2, t1);
							//
							if(left && !right) {
								return -1;
							} else if(!left && right) {
								return 1;
							}
						}
						return 0;
					}
				};
			}

			private Subtyping.Constraints constraints;
			private Type[] types;

			public Row(Subtyping.Constraints constraints, Type... types) {
				this.constraints = constraints;
				this.types = types;
			}

			public Type get(int index) {
				return types[index];
			}

			public Type[] getAll(int... indices) {
				Type[] ts = new Type[indices.length];
				for (int i = 0; i != indices.length; ++i) {
					ts[i] = types[indices[i]];
				}
				return ts;
			}

			public int size() {
				return types.length;
			}