+
+ public void setLeftType(TypeDescriptor argtype) {
+ this.lefttype=argtype;
+ }
+
+ public TypeDescriptor getLeftType() {
+ return lefttype;
+ }
+
+ public void setRightType(TypeDescriptor argtype) {
+ this.righttype=argtype;
+ }
+
+ public TypeDescriptor getRightType() {
+ return righttype;
+ }
+
+ public TypeDescriptor getType() {
+ return td;
+ }
+
+ public void setType(TypeDescriptor td) {
+ this.td=td;
+ }
+