Examples of PostCrawlStateGraphChecker

com.crawljax.core.state.PostCrawlStateGraphChecker
This {@link PostCrawlingPlugin} checks the {@link InMemoryStateFlowGraph} for consistency afterthe crawl is done.

Examples of com.crawljax.core.state.PostCrawlStateGraphChecker

   * 
   * @param crawljaxConfiguration
   *            the configuration to add the plugins to.
   */
  protected static void addPlugins(CrawljaxConfigurationBuilder crawljaxConfiguration) {
    crawljaxConfiguration.addPlugin(new PostCrawlStateGraphChecker());


    crawljaxConfiguration.addPlugin(new OnInvariantViolationPlugin() {


      @Override
      public void onInvariantViolation(Invariant invariant, CrawlerContext context) {

View Full Code Here

Examples of com.crawljax.core.state.PostCrawlStateGraphChecker

   * Add the plugins to the given crawljaxConfiguration.
   *
   * @param crawljaxConfiguration the configuration to add the plugins to.
   */
  protected static void addPlugins(CrawljaxConfigurationBuilder crawljaxConfiguration) {
    crawljaxConfiguration.addPlugin(new PostCrawlStateGraphChecker());


    crawljaxConfiguration.addPlugin(new OnInvariantViolationPlugin() {


      @Override
      public void onInvariantViolation(Invariant invariant, CrawlerContext context) {

View Full Code Here

Examples of com.crawljax.core.state.PostCrawlStateGraphChecker

  protected CrawljaxConfigurationBuilder newCrawlConfigurationBuilder() {
    CrawljaxConfigurationBuilder builder = CrawljaxConfiguration.builderFor(getUrl());
    builder.crawlRules().clickDefaultElements();
    builder.setUnlimitedRuntime();
    builder.setUnlimitedCrawlDepth();
    builder.addPlugin(new PostCrawlStateGraphChecker());
    builder.setBrowserConfig(new BrowserConfiguration(BrowserProvider.getBrowserType()));
    return builder;
  }

View Full Code Here

Examples of com.crawljax.core.state.PostCrawlStateGraphChecker

   * 
   * @param crawljaxConfiguration
   *            the configuration to add the plugins to.
   */
  protected static void addPlugins(CrawljaxConfigurationBuilder crawljaxConfiguration) {
    crawljaxConfiguration.addPlugin(new PostCrawlStateGraphChecker());


    crawljaxConfiguration.addPlugin(new OnInvariantViolationPlugin() {


      @Override
      public void onInvariantViolation(Invariant invariant, CrawlerContext context) {

View Full Code Here

Examples of com.crawljax.core.state.PostCrawlStateGraphChecker

  protected CrawljaxConfigurationBuilder newCrawlConfigurationBuilder() {
    CrawljaxConfigurationBuilder builder = CrawljaxConfiguration.builderFor(getUrl());
    builder.crawlRules().clickDefaultElements();
    builder.setUnlimitedRuntime();
    builder.setUnlimitedCrawlDepth();
    builder.addPlugin(new PostCrawlStateGraphChecker());
    return builder;
  }

View Full Code Here

TOP

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.