Examples of CFAEdge | massapi.com

        // Grow set of new states through post over each of the old states
        for (AbstractState lastState : lastSuccs) {
          try {
            newSuccs.addAll(postSingleStatement(
                lastState, 
                new CFAEdge(stmt.getLabel(), stmt.getNextLabel(), stmt), 
                precision));
          } catch (UnknownPointerAccessException e) {
            e.setState(lastState);
            throw e;
          }

Examples of org.jakstab.cfa.CFAEdge

  
  protected Set<AbstractState> postSingleStatement(AbstractState state, CFAEdge cfaEdge, Precision precision) {
    CompositeState c = (CompositeState)state;
    
    // If expression substitution is active, substitute expression in CFA edge passed to post methods
    CFAEdge origCFAEdge = cfaEdge;
    if (expressionSubstitutionIndex >= 0) {
      cfaEdge = new CFAEdge(cfaEdge.getSource(), cfaEdge.getTarget(), ExpressionSubstitution.substituteStatement(
          ((RTLStatement)cfaEdge.getTransformer()), (SubstitutionState)c.getComponent(expressionSubstitutionIndex)));
    }
    
    // Check for requests for debug messages. Currently only used for dumping
    // registered driver callbacks.

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.