Java Expr.entryの例

コード例 #1

ファイル: For_c.java プロジェクト: Bludge0n/AREsoft

  public List acceptCFG(CFGBuilder v, List succs) {
    v.visitCFGList(inits, (cond != null ? cond.entry() : body.entry()));

    if (cond != null) {
      if (condIsConstantTrue()) {
        v.visitCFG(cond, body.entry());
      } else {
        v.visitCFG(cond, FlowGraph.EDGE_KEY_TRUE, body.entry(), FlowGraph.EDGE_KEY_FALSE, this);
      }
    }

    v.push(this).visitCFG(body, continueTarget());
    v.visitCFGList(iters, (cond != null ? cond.entry() : body.entry()));

    return succs;
  }

コード例 #2

ファイル: Cast_c.java プロジェクト: Hounge/apkinspector

 public Term entry() {
   return expr.entry();
 }

コード例 #3

ファイル: For_c.java プロジェクト: Bludge0n/AREsoft

 public Term continueTarget() {
   return listEntry(iters, (cond != null ? cond.entry() : body.entry()));
 }

コード例 #4

ファイル: For_c.java プロジェクト: Bludge0n/AREsoft

 public Term entry() {
   return listEntry(inits, (cond != null ? cond.entry() : body.entry()));
 }