Uses of Class
com.crawljax.condition.invariant.Invariant

Packages that use Invariant

Package	Description
com.crawljax.core.configuration
com.crawljax.core.plugin
com.crawljax.core.state

Uses of Invariant in com.crawljax.core.configuration

Methods in com.crawljax.core.configuration that return types with arguments of type Invariant

Modifier and Type	Method and Description
com.google.common.collect.ImmutableList<Invariant>	CrawlRules.getInvariants()

Methods in com.crawljax.core.configuration with parameters of type Invariant

Modifier and Type	Method and Description
CrawlRules.CrawlRulesBuilder	CrawlRules.CrawlRulesBuilder.addInvariant(Invariant... invariant)

Uses of Invariant in com.crawljax.core.plugin

Methods in com.crawljax.core.plugin with parameters of type Invariant

Modifier and Type	Method and Description
void	OnInvariantViolationPlugin.onInvariantViolation(Invariant invariant, CrawlerContext context) Method that is called when an invariant is violated.
void	Plugins.runOnInvariantViolationPlugins(Invariant invariant, CrawlerContext context) Run the OnInvariantViolation plugins when an Invariant is violated.

Uses of Invariant in com.crawljax.core.state

Constructor parameters in com.crawljax.core.state with type arguments of type Invariant

Constructor and Description
StateMachine(InMemoryStateFlowGraph sfg, com.google.common.collect.ImmutableList<Invariant> invariantList, Plugins plugins, StateComparator stateComparator)