Examples of ai.test.comment.domains.CommentBooleans

  }


  public void matchBools(MethodControlFlowGraph graph, final Map<CFGVertice, NonRelationalDomain<Bool>> result) {
    if (!domains.containsKey("booleans"))
      throw new CommentParserException("No booleans domain to verify");
    final CommentBooleans domain = (CommentBooleans) domains.get("booleans");
    Utils.walkGraph(graph, new ControlFlowGraphVisitor() {
      @Override
      public boolean visitVertice(CFGVertice vertice) {
        // verify values
        NonRelationalDomain<Bool> analysisResult = result.get(vertice);
        domain.compareResult(vertice, analysisResult);
        return true;
      }


      @Override
      public boolean visitEdge(CFGSingleEdge edge) {

      return NonRelationalDomain.getInitialValue();
    return x.getInitialValue();
  }


  public NonRelationalDomain<Bool> getInitialBools() {
    CommentBooleans x = (CommentBooleans) domains.get("booleans");
    if (x==null)
      return NonRelationalDomain.getInitialValue();
    return x.getInitialValue();
  }

Related Classes of ai.test.comment.domains.CommentBooleans

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.