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

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

Modifier and Type	Field	Description
private com.google.common.collect.ImmutableList.Builder<Invariant>	CrawlRules.CrawlRulesBuilder.invariants
private com.google.common.collect.ImmutableList<Invariant>	CrawlRules.invariants

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

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

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

Modifier and Type	Method	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	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

Fields in com.crawljax.core.state with type parameters of type Invariant

Modifier and Type	Field	Description
private ConditionTypeChecker<Invariant>	StateMachine.invariantChecker	The invariantChecker to use when updating the state machine.

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

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