@Override
  public Node leave(Node old, Node n, NodeVisitor v) {
    if (CEExt_c.ext(n).isConditionSet()) {
      // it's a set condition!
      Call c = (Call) n;
      if (c.target() instanceof Local) {
        // ignore local conditions, we're only interested in fields
      } else if (c.target() instanceof Field) {
        Field f = (Field) c.target();
        this.setConds.addAll(autil.abstractLocations(f));
      } else {
        throw new InternalCompilerError("Can't handle " + n);
      }
    }

    if (n instanceof Call) {
      process((Call) n);
    } else if (n instanceof New) {
      process((New) n);
    } else if (n instanceof ConstructorCall) {
      process((ConstructorCall) n);
    }

    return n;
  }
Exemplo n.º 2
0
 private boolean expectsBoxed(Call call, Node arg) {
   // implicit this argument also is present
   if (call.target() == arg)
     return isBoxedType(call.target().type()); // targets of primitive types are unboxed
   int i = call.arguments().indexOf(arg);
   if (i < 0) throw new InternalCompilerError("BoxingPropagator: cannot find argument in call");
   Type type = call.methodInstance().def().formalTypes().get(i).get();
   return isBoxedType(type);
 }
 protected void process(Call n) {
   CEProcedureCallExt ext = (CEProcedureCallExt) CEExt_c.ext(n);
   MethodInstance mi = n.methodInstance();
   SetConditionsAbsVal scs = autil.call(mi, n);
   this.setConds.addAll(scs.setConditions());
   ext.recordSetConditionsResults(this.autil.currentContext(), scs.setConditions());
 }
Exemplo n.º 4
0
  @Override
  public Node typeCheck(ContextVisitor tc) throws SemanticException {
    RuleDef sym = null;

    MethodInstance mi = call.methodInstance();
    IbexClassType ct = (IbexClassType) mi.container();
    for (RuleInstance rule : ct.rules()) {
      if (rule.name() == mi.name()) sym = rule.def();
    }

    if (sym == null) throw new SemanticException("Cannot find rule for " + mi);

    RhsInvoke n = (RhsInvoke) symbol(sym.asNonterminal()).type(call.type());

    if (assocTag) {
      Context c = tc.context();
      CodeDef code = c.currentCode();
      if (code instanceof RuleDef) {
        RuleDef rd = (RuleDef) code;
        if (rd != sym)
          throw new SemanticException(
              "Associativity annotation must be self-recursive.", position());
      }
    }

    if (!call.type().isVoid()) {
      TypeSystem ts = tc.typeSystem();
      LocalDef li = ts.localDef(position(), Flags.FINAL, Types.ref(call.type()), call.name().id());
      // Formal parameters are never compile-time constants.
      li.setNotConstant();

      IbexNodeFactory nf = (IbexNodeFactory) tc.nodeFactory();
      LocalDecl ld =
          nf.LocalDecl(
              position(),
              nf.FlagsNode(position(), li.flags()),
              nf.CanonicalTypeNode(position(), li.type()),
              nf.Id(position(), li.name()));
      ld = ld.localDef(li);
      ld = ld.init(n);

      return nf.RhsSyntheticBind(position(), ld).type(n.type());
    }

    return n;
  }
Exemplo n.º 5
0
 public String toString() {
   return (assocTag ? "^" : "") + call.toString();
 }
Exemplo n.º 6
0
  private Node translateExtendedFor(ExtendedFor n, List<String> labels) throws SemanticException {

    if (n.expr().type().isArray()) {
      return translateExtForArray(n, labels);
    }

    Position pos = Position.compilerGenerated();
    Type iterType = ts.typeForName("java.util.Iterator");
    Type iteratedType = n.decl().type().type();
    // translate "L1,...,Ln: for (C x: e) b" to
    // "{ Iterator iter = e.iterator(); L1,...,Ln: while (iter.hasNext();)  { C x = (C)iter.next();
    // b }"

    // Create the iter declaration "Iterator iter = e.iterator()"
    Id iterName = freshName("iter");
    LocalDecl iterDecl;
    LocalInstance iterLI = ts.localInstance(pos, Flags.NONE, iterType, iterName.id());
    {
      Id id = nodeFactory().Id(pos, "iterator");
      Call iterator = nodeFactory().Call(pos, n.expr(), id);
      iterator = (Call) iterator.type(iterType);
      iterator =
          iterator.methodInstance(
              ts.findMethod(
                  n.expr().type().toClass(),
                  "iterator",
                  Collections.<Type>emptyList(),
                  this.context().currentClass()));

      iterDecl =
          nodeFactory()
              .LocalDecl(
                  pos,
                  Flags.NONE,
                  nodeFactory().CanonicalTypeNode(pos, iterType),
                  iterName,
                  iterator);
      iterDecl = iterDecl.localInstance(iterLI);
    }

    // create the loop body
    List<Stmt> loopBody = new ArrayList<Stmt>();
    {
      Id id = nodeFactory().Id(pos, "next");
      Call call =
          nodeFactory()
              .Call(
                  pos,
                  ((Local) nodeFactory().Local(pos, iterName).type(iterType))
                      .localInstance(iterDecl.localInstance()),
                  id);
      call = (Call) call.type(ts.Object());
      call =
          call.methodInstance(
              ts.findMethod(
                  iterType.toClass(),
                  "next",
                  Collections.<Type>emptyList(),
                  this.context().currentClass()));

      Cast cast = nodeFactory().Cast(pos, nodeFactory().CanonicalTypeNode(pos, iteratedType), call);
      cast = (Cast) cast.type(iteratedType);

      loopBody.add(n.decl().init(cast));
      loopBody.add(n.body());
    }

    // create the while loop
    While loop;
    {
      Id id = nodeFactory().Id(pos, "hasNext");
      Call cond =
          nodeFactory()
              .Call(
                  pos,
                  ((Local) nodeFactory().Local(pos, iterName).type(iterType))
                      .localInstance(iterDecl.localInstance()),
                  id);
      cond = (Call) cond.type(ts.Boolean());
      cond =
          cond.methodInstance(
              ts.findMethod(
                  iterType.toClass(),
                  "hasNext",
                  Collections.<Type>emptyList(),
                  this.context().currentClass()));

      loop = nodeFactory().While(pos, cond, nodeFactory().Block(pos, loopBody));
    }

    return nodeFactory().Block(pos, iterDecl, labelStmt(loop, labels));
  }
Exemplo n.º 7
0
 public CallSiteType getCallSiteType(Call call) {
   return callGraph.isParallel(call.methodInstance().def())
       ? CallSiteType.CONCURRENT_CALL
       : CallSiteType.NORMAL;
 }