VirtualTypeRelNode(int snumber, int dnumber, int rnumber) {
super(VirtualTypeRel.getVirtualTypeRel(TypeRel.this));
setValue("snumber", snumber);
setValue("dnumber", dnumber);
setValue("rnumber", rnumber);
values = Collections.unmodifiableMap(values); // make sure it is not changed any more!
}
VirtualTypeRelNode(int snumber) { // only for use in lookups
// We don't use this-constructor because some jvm get confused then
super(VirtualTypeRel.getVirtualTypeRel(TypeRel.this));
setValue("snumber", snumber);
setValue("dnumber", -1);
setValue("rnumber", -1);
}
