Module org.meeuw.math.abstractalgebra.test

Package org.meeuw.theories

Interface CharSequenceTheory<C extends CharSequence>

public interface CharSequenceTheory<C extends CharSequence>

Since:

0.4

Author:

Michiel Meeuwissen

Field Summary

Fields

Modifier and Type	Field	Description
static final String	OBJECTS

Method Summary

Modifier and Type	Method	Description
default void	charAtIsConsistentWithToStringCharAt(C charSequence)
default void	subSequenceIsConsistent(C charSequence)

Field Details

OBJECTS

static final String OBJECTS

See Also:

• Constant Field Values

Method Details

charAtIsConsistentWithToStringCharAt

@Property
default void charAtIsConsistentWithToStringCharAt(@ForAll("elements")
 C charSequence)

subSequenceIsConsistent

@Property
default void subSequenceIsConsistent(@ForAll("elements")
 C charSequence)