Examples of ai.cfg.edges.FinallyOrCatchEdge

    }
    
    @Override
    public void match(CFGSingleEdge cfgEdge, BiMap<String, Variable> variables) {
      ensureCorrectType(cfgEdge, FinallyOrCatchEdge.class);
      FinallyOrCatchEdge excEdge = (FinallyOrCatchEdge) cfgEdge.edge;
      String message = "Expected '" + this.toString() + "', have '" + cfgEdge.toString() + "' instead.";
      if (excType.length() == 0)
        org.junit.Assert.assertTrue(message, excEdge.exceptionOrNull == null);
      else {
        org.junit.Assert.assertTrue(message, excEdge.exceptionOrNull != null);


  public void createExceptionEdge(CFGVertice previousVertice, CFGVertice nextVertice,
      SingleVariableDeclaration exceptionOrNull) {
    assertGraphVertice(previousVertice);
    assertGraphVertice(nextVertice);
    CFGMultiTargetEdge edge = new FinallyOrCatchEdge(previousVertice, nextVertice, exceptionOrNull);
    previousVertice.addEdge(edge);
    edges.add(edge);
  }

Related Classes of ai.cfg.edges.FinallyOrCatchEdge

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.