Examples of OnInvariantViolationPlugin

com.crawljax.core.plugin.OnInvariantViolationPlugin
Plugin type that is called every time an invariant is violated. Invariants are checked after each detected state change.

Examples of com.crawljax.core.plugin.OnInvariantViolationPlugin

   *            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) {
        LargeTestBase.violatedInvariants.add(invariant);
        if (context.getBrowser().getStrippedDom().contains(INVARIANT_TEXT)) {

View Full Code Here

Examples of com.crawljax.core.plugin.OnInvariantViolationPlugin

   */
  @Test
  public void testInvariantFailurePlugin() {
    hit = false;
    CrawljaxConfigurationBuilder builder = CrawljaxConfiguration.builderFor(
            "http://localhost").addPlugin(new OnInvariantViolationPlugin() {
      @Override
      public void onInvariantViolation(Invariant invariant, CrawlerContext context) {
        hit = true;
      }
    });

View Full Code Here

Examples of com.crawljax.core.plugin.OnInvariantViolationPlugin

   * @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) {
        LargeTestBase.violatedInvariants.add(invariant);
        if (context.getBrowser().getStrippedDom().contains(INVARIANT_TEXT)) {

View Full Code Here

Examples of com.crawljax.core.plugin.OnInvariantViolationPlugin

            "Detect a string",
            new NotRegexCondition(
                    "Invariants can be used to perform tests on the current state"));


    // This plugin will just print the error.
    builder.addPlugin(new OnInvariantViolationPlugin() {


      @Override
      public void onInvariantViolation(Invariant invariant, CrawlerContext context) {
        LOG.error("\n\n!!! Invariant {} violated !!!\n", invariant);
      }

View Full Code Here

Examples of com.crawljax.core.plugin.OnInvariantViolationPlugin

   */
  @Test
  public void testInvariantFailurePlugin() {
    hit = false;
    CrawljaxConfigurationBuilder builder = CrawljaxConfiguration.builderFor(
            "http://localhost").addPlugin(new OnInvariantViolationPlugin() {
      @Override
      public void onInvariantViolation(Invariant invariant, CrawlerContext context) {
        hit = true;
      }
    });

View Full Code Here

Examples of com.crawljax.core.plugin.OnInvariantViolationPlugin

   *            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) {
        LargeTestBase.violatedInvariants.add(invariant);
        if (context.getBrowser().getStrippedDom().contains(INVARIANT_TEXT)) {

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.