boomerang.scene.wala.WALAInvokeExpr Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of boomerangScope-WALA Show documentation

There is a newer version: 3.2.2

/**
 * ***************************************************************************** Copyright (c) 2020
 * CodeShield GmbH, Paderborn, Germany. This program and the accompanying materials are made
 * available under the terms of the Eclipse Public License 2.0 which is available at
 * http://www.eclipse.org/legal/epl-2.0.
 *
 * SPDX-License-Identifier: EPL-2.0
 *
 * Contributors: Johannes Spaeth - initial API and implementation
 * *****************************************************************************
 */
package boomerang.scene.wala;

import boomerang.scene.DeclaredMethod;
import boomerang.scene.InvokeExpr;
import boomerang.scene.Val;
import com.google.common.collect.Lists;
import com.ibm.wala.ssa.SSAAbstractInvokeInstruction;
import java.util.List;

public class WALAInvokeExpr implements InvokeExpr {

  private SSAAbstractInvokeInstruction inv;
  private WALAMethod m;
  private List argsCache;

  public WALAInvokeExpr(SSAAbstractInvokeInstruction inv, WALAMethod m) {
    this.inv = inv;
    this.m = m;
  }

  @Override
  public Val getArg(int index) {
    return getArgs().get(index);
  }

  @Override
  public List getArgs() {
    if (argsCache == null) {
      argsCache = Lists.newArrayList();

      for (int i = (inv.isStatic() ? 0 : 1); i < inv.getNumberOfPositionalParameters(); i++) {
        argsCache.add(new WALAVal(inv.getUse(i), m));
      }
    }
    return argsCache;
  }

  @Override
  public boolean isInstanceInvokeExpr() {
    return inv.isDispatch() || inv.isSpecial();
  }

  @Override
  public Val getBase() {
    return new WALAVal(inv.getReceiver(), m);
  }

  @Override
  public DeclaredMethod getMethod() {
    return new WALADeclaredMethod(this, inv.getCallSite().getDeclaredTarget());
  }

  @Override
  public boolean isSpecialInvokeExpr() {
    return inv.isSpecial();
  }

  @Override
  public boolean isStaticInvokeExpr() {
    return inv.isStatic();
  }
}