Repair/RepairCompiler/MCC/IR/TupleOfExpr.java

   1 package MCC.IR;
   2
   3 import java.util.*;
   4
   5 public class TupleOfExpr extends Expr {
   6
   7     Expr left = null;
   8     Expr right = null;
   9     RelationDescriptor relation = null;
  10
  11     public Set freeVars() {
  12         Set lset=left.freeVars();
  13         Set rset=right.freeVars();
  14         if (lset==null)
  15             return rset;
  16         if (rset!=null)
  17             lset.addAll(rset);
  18         return lset;
  19     }
  20
  21     public TupleOfExpr(Expr left, Expr right, RelationDescriptor relation) {
  22         if ((left == null) || (right == null) || (relation == null)) {
  23             throw new NullPointerException();
  24         }
  25
  26         this.left = left;
  27         this.right = right;
  28         this.relation = relation;
  29     }
  30
  31     public String name() {
  32         return "<"+left.name()+","+right.name()+"> in "+relation.toString();
  33     }
  34
  35     public boolean usesDescriptor(Descriptor d) {
  36         if (d==relation)
  37             return true;
  38         else
  39             return left.usesDescriptor(d)||right.usesDescriptor(d);
  40     }
  41
  42     public Set useDescriptor(Descriptor d) {
  43         HashSet newset=new HashSet();
  44         if (d==relation)
  45             newset.add(this);
  46         newset.addAll(left.useDescriptor(d));
  47         newset.addAll(right.useDescriptor(d));
  48         return newset;
  49     }
  50
  51     public boolean equals(Map remap, Expr e) {
  52         if (e==null||!(e instanceof TupleOfExpr))
  53             return false;
  54         TupleOfExpr toe=(TupleOfExpr)e;
  55         if (!left.equals(remap,toe.left))
  56             return false;
  57         if (!right.equals(remap,toe.right))
  58             return false;
  59         if (relation!=toe.relation)
  60             return false;
  61         return true;
  62     }
  63
  64     public Set getRequiredDescriptors() {
  65         Set v = left.getRequiredDescriptors();
  66         v.addAll(right.getRequiredDescriptors());
  67         v.add(relation);
  68         return v;
  69     }
  70
  71     public void generate(CodeWriter writer, VarDescriptor dest) {
  72         VarDescriptor ld = VarDescriptor.makeNew();
  73         left.generate(writer, ld);
  74
  75         VarDescriptor rd = VarDescriptor.makeNew();
  76         right.generate(writer, rd);
  77
  78         writer.outputline("int " + dest.getSafeSymbol() + " = SimpleHashcontainskeydata("
  79                           +relation.getSafeSymbol() +"_hash, "+
  80                           ld.getSafeSymbol() + ", " +
  81                           rd.getSafeSymbol() + ");");
  82     }
  83
  84     public void prettyPrint(PrettyPrinter pp) {
  85         pp.output("<");
  86         left.prettyPrint(pp);
  87         pp.output(", ");
  88         right.prettyPrint(pp);
  89         pp.output("> in? " + relation.getSafeSymbol());
  90     }
  91
  92     public TypeDescriptor typecheck(SemanticAnalyzer sa) {
  93         TypeDescriptor ld = left.typecheck(sa);
  94         TypeDescriptor rd = right.typecheck(sa);
  95
  96         if (ld == null || rd == null) {
  97             return null;
  98         }
  99
 100         boolean ok = true;
 101
 102         if (ld != relation.getDomain().getType()) {
 103             sa.getErrorReporter().report(null, "Type of left element '" + ld.getSymbol() + "' must match domain type '" + relation.getDomain().getType().getSymbol() + "'");
 104             ok = false;
 105         }
 106
 107         if (rd != relation.getRange().getType()) {
 108             sa.getErrorReporter().report(null, "Type of right element '" + rd.getSymbol() + "' must match range type '" + relation.getRange().getType().getSymbol() + "'");
 109             ok = false;
 110         }
 111
 112         if (!ok) {
 113             return null;
 114         }
 115
 116         this.td = ReservedTypeDescriptor.INT;
 117         return this.td;
 118     }
 119
 120
 121 }