コード例 #1
0
ファイル: ExprCall.java プロジェクト: osiire/AlloyAnalyzer
 /** {@inheritDoc} */
 @Override
 public void toString(StringBuilder out, int indent) {
   if (indent < 0) {
     out.append(fun.label);
     if (args.size() == 0) return;
     out.append('[');
     for (int i = 0; i < args.size(); i++) {
       if (i > 0) out.append(", ");
       args.get(i).toString(out, -1);
     }
     out.append(']');
   } else {
     for (int i = 0; i < indent; i++) {
       out.append(' ');
     }
     out.append("call ")
         .append(fun)
         .append(" at position <")
         .append(fun.pos)
         .append("> with type=")
         .append(type)
         .append('\n');
     for (Expr a : args) {
       a.toString(out, indent + 2);
     }
   }
 }
コード例 #2
0
ファイル: ExprCall.java プロジェクト: osiire/AlloyAnalyzer
 /** {@inheritDoc} */
 @Override
 public List<? extends Browsable> getSubnodes() {
   if (args.size() == 0) {
     Expr b = fun.getBody();
     return Util.asList(make(b.pos(), b.span(), b.getHTML(), b.getSubnodes()));
   }
   Pos p = pos;
   if (p == Pos.UNKNOWN) p = span();
   Browsable f =
       make(p, p, (fun.isPred ? "<b>pred</b> " : "<b>fun</b> ") + fun.label, fun.getSubnodes());
   Browsable a =
       make(
           span(),
           span(),
           "<b>" + args.size() + " argument" + (args.size() == 1 ? "</b>" : "s</b>"),
           args);
   return Util.asList(f, a);
 }
コード例 #3
0
ファイル: ExprCall.java プロジェクト: osiire/AlloyAnalyzer
 /**
  * Returns true if we can determine the two expressions are equivalent; may sometimes return
  * false.
  */
 @Override
 public boolean isSame(Expr obj) {
   while (obj instanceof ExprUnary && ((ExprUnary) obj).op == ExprUnary.Op.NOOP)
     obj = ((ExprUnary) obj).sub;
   if (obj == this) return true;
   if (!(obj instanceof ExprCall)) return false;
   ExprCall x = (ExprCall) obj;
   if (fun != x.fun || args.size() != x.args.size()) return false;
   for (int i = 0; i < args.size(); i++) if (!args.get(i).isSame(x.args.get(i))) return false;
   return true;
 }