Index

A B C D E F G H I J K L M N O P Q R S T U V W X

A

AbstractSeqGenerator - Class in Sequenic.T3.Generator.SeqAndSuite: Just a parent class for all sequence-generators-classes.
AbstractSeqGenerator(TestingScope, Pool, int, Generator<PARAM, STEP>) - Constructor for class Sequenic.T3.Generator.SeqAndSuite.AbstractSeqGenerator: A constructor to set up some common state variables.
accelerate(int) - Method in class Sequenic.T3.Examples.Abstractx.PaperVehicle
accelerate(int) - Method in class Sequenic.T3.Examples.Abstractx.Vehicle
add(int) - Method in class Sequenic.T3.Examples.BuildSortedList
add(I, O) - Method in class Sequenic.T3.Examples.ParameterizedTypes.MyMap
addCoveredPairs(Object) - Method in class Sequenic.T3.Info.ObjectCoverage: Add the pairs covered by the given object to the set of covered pairs.
adt_grey(int) - Method in class Sequenic.T3.Generator.SeqAndSuite.T3SuiteG: Construct an ADT grey-suite for the given CUT.
adt_no_asmviol(int) - Method in class Sequenic.T3.Generator.SeqAndSuite.T3SuiteG
alignLeft(String, int) - Static method in class Sequenic.T3.utils.StringFormater: Reformat s to possibly multi lines such that each is at most of the specified width.
alignLeft(String, int, int) - Static method in class Sequenic.T3.utils.StringFormater: As the other alignLeft, but will also indent the lines and return a single string.
allMethodpairs - Variable in class Sequenic.T3.Info.FunctionalCoverage
allPairs - Variable in class Sequenic.T3.Info.FunctionalCoverage
allpairs - Variable in class Sequenic.T3.Info.ObjectCoverage: A set of integers, encoding all possible pairs of abstracted values over the fields of CUT.
alphaNum() - Method in class Sequenic.T3.Generator.Value.CharMG
alphaNum_dashSpAtDot() - Method in class Sequenic.T3.Generator.Value.CharMG
AND(Oracle) - Method in class Sequenic.T3.Oracle.Oracle
Apply(Class, String, Function<Unit, Integer>) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators
args - Variable in class Sequenic.T3.JavaType.JTfun
args - Variable in class Sequenic.T3.Sequence.Datatype.STEP_RT_info: Actual parameters passed to the step producing this result.
array(FUN<Generator<PARAM, STEP>>) - Method in class Sequenic.T3.Generator.Value.CollectionLikeMG
ArrayParam - Class in Sequenic.T3.Examples
ArrayParam() - Constructor for class Sequenic.T3.Examples.ArrayParam
aside(PP) - Method in class Sequenic.T3.utils.PP: Set two pp2 aside this PP.
aside_(PP) - Method in class Sequenic.T3.utils.PP: As aside, but insert a space between.
aside__spec(PP) - Method in class Sequenic.T3.utils.PP: A specification.
aside_spec(PP) - Method in class Sequenic.T3.utils.PP: A specification.
assumeClientInTheSamePackage - Variable in class Sequenic.T3.Config
auxField_prefix - Static variable in class Sequenic.T3.CONSTANTS

B

Boolean(Function<Unit, Boolean>) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators
boolgens - Variable in class Sequenic.T3.Generator.Value.ValueMG
BoolMG - Class in Sequenic.T3.Generator.Value
BoolMG() - Constructor for class Sequenic.T3.Generator.Value.BoolMG
BuildSortedList - Class in Sequenic.T3.Examples
BuildSortedList() - Constructor for class Sequenic.T3.Examples.BuildSortedList
Byte(Function<Unit, Byte>) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators
bytegens - Variable in class Sequenic.T3.Generator.Value.ValueMG
ByteMG - Class in Sequenic.T3.Generator.Value
ByteMG() - Constructor for class Sequenic.T3.Generator.Value.ByteMG

C

calculate(SUITE) - Method in class Sequenic.T3.Info.FunctionalCoverage
Car - Class in Sequenic.T3.Examples.Abstractx
Car(int) - Constructor for class Sequenic.T3.Examples.Abstractx.Car
Char(Function<Unit, Character>) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators
chargens - Variable in class Sequenic.T3.Generator.Value.ValueMG
CharMG - Class in Sequenic.T3.Generator.Value
CharMG() - Constructor for class Sequenic.T3.Generator.Value.CharMG
check(Maybe<Object>, Maybe<Object>, Maybe<Throwable>) - Method in class Sequenic.T3.Oracle.Oracle: Check the receiver object, returned object, and thrown exception against an oracle.
check(Maybe<Object>, Maybe<Object>, Maybe<Throwable>) - Method in class Sequenic.T3.Oracle.StrDumpEqOracle
checkClassinv(Class, Pool, Object, STEP_RT_info) - Method in class Sequenic.T3.Sequence.Datatype.STEP: check CUT's invariant, if any.
ClassesScanner - Class in Sequenic.T3.Reflection: This scan all the classes residing under a given directory.
ClassesScanner(String[]) - Constructor for class Sequenic.T3.Reflection.ClassesScanner
classinv_name - Static variable in class Sequenic.T3.CONSTANTS
ClassInvariantError - Error in Sequenic.T3: To represent a violation to a class invariant.
ClassInvariantError(String) - Constructor for error Sequenic.T3.ClassInvariantError
ClassInvariantError(String, Throwable) - Constructor for error Sequenic.T3.ClassInvariantError
ClassInvariantError(Throwable) - Constructor for error Sequenic.T3.ClassInvariantError
clear() - Method in class Sequenic.T3.TestingScope: Clearing the scope.
clearOracle() - Method in class Sequenic.T3.Sequence.Datatype.CONSTRUCTOR
clearOracle() - Method in class Sequenic.T3.Sequence.Datatype.METHOD
clearOracle() - Method in class Sequenic.T3.Sequence.Datatype.SEQ: For clearing out all oracles attached to each step in the sequence.
clearOracle() - Method in class Sequenic.T3.Sequence.Datatype.STEP: For clearing out all oracles attached to this step, if any.
clearOracle() - Method in class Sequenic.T3.Sequence.Datatype.UPDATE_FIELD
clone(T) - Static method in class Sequenic.T3.utils.Cloner: Return a deep-clone of an object.
Cloner - Class in Sequenic.T3.utils: Utility to do deep cloning of an object.
Cloner() - Constructor for class Sequenic.T3.utils.Cloner
cloneTypeSubsts(Map<String, JType>) - Static method in class Sequenic.T3.JavaType.JTypeUtils
Coba1 - Class in Sequenic.T3.Examples
Coba1(int) - Constructor for class Sequenic.T3.Examples.Coba1
Coba1() - Constructor for class Sequenic.T3.Examples.Coba1
collection(FUN<Generator<PARAM, STEP>>) - Method in class Sequenic.T3.Generator.Value.CollectionLikeMG
collectiongens - Variable in class Sequenic.T3.Generator.Value.ValueMG
collectionlike(FUN<Generator<PARAM, STEP>>) - Method in class Sequenic.T3.Generator.Value.CollectionLikeMG
CollectionLikeMG - Class in Sequenic.T3.Generator.Value
CollectionLikeMG(int, ImplementationMap) - Constructor for class Sequenic.T3.Generator.Value.CollectionLikeMG
con - Variable in class Sequenic.T3.Sequence.Datatype.CONSTRUCTOR
concat(String, String) - Static method in class Sequenic.T3.Examples.Staticx.StringUtils
Config - Class in Sequenic.T3: Used to hold various configuration parameters for T3.
Config() - Constructor for class Sequenic.T3.Config: Create a config, with default setting.
config - Variable in class Sequenic.T3.SuiteAPI
configureForADTtesting() - Method in class Sequenic.T3.TestingScope: Configure the scope for ADT-based testing.
configureForNonADTTesting() - Method in class Sequenic.T3.TestingScope: Configure the scope for non-ADT-based testing.
CONST - Class in Sequenic.T3.Sequence.Datatype: This represents a STEP intended to construct a value from a constant/ literal value.
CONST(Serializable, JType) - Constructor for class Sequenic.T3.Sequence.Datatype.CONST
CONST() - Constructor for class Sequenic.T3.Sequence.Datatype.CONST
constant() - Method in class Sequenic.T3.Generator.Value.NullMG
CONSTANTS - Class in Sequenic.T3
CONSTANTS() - Constructor for class Sequenic.T3.CONSTANTS
CONSTRUCT_COLLECTION - Class in Sequenic.T3.Sequence.Datatype: A STEP to construct an array, collection, or map like object.
CONSTRUCT_COLLECTION(JType, STEP[], STEP[]) - Constructor for class Sequenic.T3.Sequence.Datatype.CONSTRUCT_COLLECTION
CONSTRUCT_COLLECTION(JType, STEP[]) - Constructor for class Sequenic.T3.Sequence.Datatype.CONSTRUCT_COLLECTION
CONSTRUCT_COLLECTION() - Constructor for class Sequenic.T3.Sequence.Datatype.CONSTRUCT_COLLECTION
constructor(Class...) - Method in class Sequenic.T3.CustomSuiteGenAPI: Generate a call to a constructor with the specified type.
CONSTRUCTOR - Class in Sequenic.T3.Sequence.Datatype: This represents a STEP for constructing an object by calling a constructor.
CONSTRUCTOR(JType, Constructor, STEP[]) - Constructor for class Sequenic.T3.Sequence.Datatype.CONSTRUCTOR
CONSTRUCTOR() - Constructor for class Sequenic.T3.Sequence.Datatype.CONSTRUCTOR
constructorgens - Variable in class Sequenic.T3.Generator.Value.ValueMG
constructors - Variable in class Sequenic.T3.TestingScope
constructors(Class...) - Method in class Sequenic.T3.TestingScope: Get all constructors of the specified signature.
convert(Type) - Static method in class Sequenic.T3.JavaType.JTypeUtils: For converting Java's Type-expression to JType.
coveredConstructors - Variable in class Sequenic.T3.Info.FunctionalCoverage
coveredCreatorMethods - Variable in class Sequenic.T3.Info.FunctionalCoverage
coveredFields - Variable in class Sequenic.T3.Info.FunctionalCoverage
coveredMethodpairs - Variable in class Sequenic.T3.Info.FunctionalCoverage
coveredMethods - Variable in class Sequenic.T3.Info.FunctionalCoverage
coveredPairs - Variable in class Sequenic.T3.Info.FunctionalCoverage
coveredPairs - Variable in class Sequenic.T3.Info.ObjectCoverage
covertToSUITE() - Method in class Sequenic.T3.Sequence.Datatype.ParallelSUITE: To convert a parallel suite to a plain suite.
create() - Method in class Sequenic.T3.CustomSuiteGenAPI: Create an instance of the CUT.
createObjectUnderTest(String, Class...) - Method in class Sequenic.T3.Generator.Step.ObjectUnderTestMG
creationG - Variable in class Sequenic.T3.CustomSuiteGenAPI
creatorMethod(String, Class...) - Method in class Sequenic.T3.CustomSuiteGenAPI
creatorMethods - Variable in class Sequenic.T3.TestingScope
creatorMethods(String, Class...) - Method in class Sequenic.T3.TestingScope
creatorMethods() - Method in class Sequenic.T3.TestingScope
cty - Variable in class Sequenic.T3.Sequence.Datatype.CONST: When val is null, then we can't ask via reflection what it class was; so we'll also keep track its concrete type as well.
cty - Variable in class Sequenic.T3.Sequence.Datatype.CONSTRUCT_COLLECTION: The concrete type of the array/collection to generate.
cty - Variable in class Sequenic.T3.Sequence.Datatype.CONSTRUCTOR: The concrete type of the object to create with this constructor.
currentLevel - Variable in class Sequenic.T3.Generator.Value.ObjectMG: Indicates what the current level in the tree of nested object creation.
CustomInputGenerator - Class in Sequenic.T3.Examples.CustomInputGenerator
CustomInputGenerator() - Constructor for class Sequenic.T3.Examples.CustomInputGenerator.CustomInputGenerator
CustomSuiteGenAPI - Class in Sequenic.T3: A class to facilitate the definition of a custom suite generator.
CustomSuiteGenAPI(Function<ImplementationMap, Function<Pool, Generator<PARAM, STEP>>>, Config, Class...) - Constructor for class Sequenic.T3.CustomSuiteGenAPI: Construct a custom generator base, with a custom value generator supplied.
CUT - Variable in class Sequenic.T3.Config
CUT - Variable in class Sequenic.T3.Info.ObjectCoverage
CUT - Variable in class Sequenic.T3.Sequence.Datatype.STEP_RT_info
CUT - Variable in class Sequenic.T3.TestingScope: The class targeted for testing.
CUTname - Variable in class Sequenic.T3.Sequence.Datatype.SUITE
Cycle<T> - Class in Sequenic.T3.Examples.Cycles
Cycle() - Constructor for class Sequenic.T3.Examples.Cycles.Cycle
Cycle(T) - Constructor for class Sequenic.T3.Examples.Cycles.Cycle

D

dashSpAtDot() - Method in class Sequenic.T3.Generator.Value.CharMG: Construct a generator that randomly generates a -, space, @, or .
defaulting() - Method in class Sequenic.T3.Generator.Value.NullMG: Will generate null, and a warning.
dirsToBeScanned - Variable in class Sequenic.T3.Reflection.ClassesScanner: A set of paths to .class directories that are to be scanned.
dirsToClasses - Variable in class Sequenic.T3.Config: A list of paths to roots of the class files that are to be scanned for building an interface map.
dirToSaveTrace - Variable in class Sequenic.T3.T3Cmd
domainMap - Variable in class Sequenic.T3.Pool
Double(Function<Unit, Double>) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators
doublegens - Variable in class Sequenic.T3.Generator.Value.ValueMG
DoubleMG - Class in Sequenic.T3.Generator.Value
DoubleMG() - Constructor for class Sequenic.T3.Generator.Value.DoubleMG
drop(String, int) - Static method in class Sequenic.T3.Examples.Staticx.StringUtils
dropBrokenSequences(SUITE) - Method in class Sequenic.T3.SuiteAPI2: To drop sequences that for some reason fail to execute
dropNonViolatingSequences(SUITE) - Method in class Sequenic.T3.SuiteAPI2: To drop non-violating sequences
dummy() - Method in class Sequenic.T3.Examples.Abstractx.PaperVehicle

E

elements - Variable in class Sequenic.T3.Sequence.Datatype.CONSTRUCT_COLLECTION
Email(String) - Constructor for class Sequenic.T3.Examples.CustomInputGenerator.Person.Email
Email - Class in Sequenic.T3.Examples.Friends
Email(String) - Constructor for class Sequenic.T3.Examples.Friends.Email
email - Variable in class Sequenic.T3.Examples.Friends.Email
emails - Variable in class Sequenic.T3.Examples.Friends.Person
Enum1 - Enum in Sequenic.T3.Examples
enumgens - Variable in class Sequenic.T3.Generator.Value.ValueMG
EnumMG - Class in Sequenic.T3.Generator.Value
EnumMG() - Constructor for class Sequenic.T3.Generator.Value.EnumMG
equals(Object) - Method in class Sequenic.T3.JavaType.JTfun
equals(Object) - Method in class Sequenic.T3.JavaType.JTvar
equals(Object) - Method in class Sequenic.T3.JavaType.Jwildcard
estimatedNumberOfPaths(Method) - Static method in class Sequenic.T3.Info.FunctionalCoverage: Estimate the number of paths that a program has, based on its signature.
estimatedNumberOfPaths(Constructor) - Static method in class Sequenic.T3.Info.FunctionalCoverage
exc - Variable in class Sequenic.T3.Sequence.Datatype.STEP_RT_info: Exception thrown by the step.
exec(Class, Pool) - Method in class Sequenic.T3.Sequence.Datatype.CONST
exec(Class, Pool) - Method in class Sequenic.T3.Sequence.Datatype.CONSTRUCT_COLLECTION: Note: collection-like will not be put in the Pool.
exec(Class, Pool) - Method in class Sequenic.T3.Sequence.Datatype.CONSTRUCTOR
exec(Class, Pool) - Method in class Sequenic.T3.Sequence.Datatype.INSTRUMENT: Should never be executed.
exec(Class, Pool) - Method in class Sequenic.T3.Sequence.Datatype.METHOD
exec(Class, Pool) - Method in class Sequenic.T3.Sequence.Datatype.REF
exec(Class, Pool) - Method in class Sequenic.T3.Sequence.Datatype.SEQ: Execute this sequence.
exec(Class, Pool, int, OutputStream) - Method in class Sequenic.T3.Sequence.Datatype.SEQ: Execute this sequence.
exec(Class, Pool, ObjectCoverage, int, OutputStream) - Method in class Sequenic.T3.Sequence.Datatype.SEQ
exec(Class, Pool, ObjectCoverage, int, int, OutputStream) - Method in class Sequenic.T3.Sequence.Datatype.SEQ: Execute this sequence.
exec(Class, Pool) - Method in class Sequenic.T3.Sequence.Datatype.STEP: To execute a STEP.
exec(Pool, ObjectCoverage, int, int, boolean, boolean, boolean, OutputStream) - Method in class Sequenic.T3.Sequence.Datatype.SUITE: Sequentially execute a suite.
exec(Class, Pool) - Method in class Sequenic.T3.Sequence.Datatype.UPDATE_FIELD
execMany(Class, Pool, STEP[]) - Static method in class Sequenic.T3.Sequence.Datatype.STEP: Execute an aray of STEPs.
executed - Variable in class Sequenic.T3.Sequence.Datatype.SUITE_RT_info
executionCounter - Variable in class Sequenic.T3.Sequence.Datatype.SEQ_RT_info: The index of the next step to execute.
executionWasMaximal() - Method in class Sequenic.T3.Sequence.Datatype.SEQ_RT_info: check if the execution was maximal (all steps in the sequence were executed).
expectedException - Variable in class Sequenic.T3.Oracle.StrDumpEqOracle
expectedReceiverObj - Variable in class Sequenic.T3.Oracle.StrDumpEqOracle
expectedReturnedObj - Variable in class Sequenic.T3.Oracle.StrDumpEqOracle

F

f1(double[]) - Static method in class Sequenic.T3.Examples.ArrayParam
f2(Object[]) - Static method in class Sequenic.T3.Examples.ArrayParam
f3(String[]) - Static method in class Sequenic.T3.Examples.ArrayParam
f4(T[]) - Static method in class Sequenic.T3.Examples.ArrayParam
Fail() - Static method in class Sequenic.T3.Generator.GenCombinators
failing - Variable in class Sequenic.T3.Sequence.Datatype.SUITE_RT_info: Executed sequences that for some reason fail to complete.
field - Variable in class Sequenic.T3.Sequence.Datatype.UPDATE_FIELD
fields - Variable in class Sequenic.T3.Info.ObjectCoverage: All non-static, non-abstract, and non-final fields of CUT
fields - Variable in class Sequenic.T3.TestingScope
fieldUpdateProbability - Variable in class Sequenic.T3.Config
fieldUpdateProbability - Variable in class Sequenic.T3.Generator.SeqAndSuite.T3SuiteG
filter(Predicate<Object>) - Method in class Sequenic.T3.TestingScope: Filter the members in the scope using the given predicates.
find(K) - Method in class Sequenic.T3.Examples.ParameterizedTypes.MyMap
find(Object) - Method in class Sequenic.T3.Pool: Find an object in the pool.
FirstOf(Generator<R, T>...) - Static method in class Sequenic.T3.Generator.GenCombinators: Execute the first generator that does not fail.
Float(Function<Unit, Float>) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators
floatgens - Variable in class Sequenic.T3.Generator.Value.ValueMG
FloatMG - Class in Sequenic.T3.Generator.Value
FloatMG() - Constructor for class Sequenic.T3.Generator.Value.FloatMG
flushReportStream() - Method in class Sequenic.T3.SuiteAPI
foo(String) - Method in class Sequenic.T3.Examples.Coba1
friend(Person) - Method in class Sequenic.T3.Examples.Friends.Person
fromSamples() - Method in class Sequenic.T3.Generator.Value.StringMG: Generate strings from the stored samples.
fst - Variable in class Sequenic.T3.utils.Pair
fun - Variable in class Sequenic.T3.JavaType.JTfun
FUN<F> - Class in Sequenic.T3.utils: In Java-8 it does not seem to be possible to construct a recursive function through a lambda-expression.
FUN() - Constructor for class Sequenic.T3.utils.FUN
fun - Variable in class Sequenic.T3.utils.FUN
FunctionalCoverage - Class in Sequenic.T3.Info: Provide info about coverage over members of the target class, e.g.
FunctionalCoverage(TestingScope, OutputStream) - Constructor for class Sequenic.T3.Info.FunctionalCoverage

G

gen1closed(Pool) - Method in class Sequenic.T3.Generator.Value.ValueMG: The version of gen1, recursive to itself, but the recursion is closed (it can no longer be changed).
gen1open(Pool, FUN<Generator<PARAM, STEP>>) - Method in class Sequenic.T3.Generator.Value.ValueMG: A value meta-generator, where the recursion is bound to itself, but is left open to be bound to something else.
GenCombinators - Class in Sequenic.T3.Generator: Created with IntelliJ IDEA.
GenCombinators() - Constructor for class Sequenic.T3.Generator.GenCombinators
generate(Requirement) - Method in interface Sequenic.T3.Generator.Generator: Generate an object an instance of T.
Generator<Requirement,T> - Interface in Sequenic.T3.Generator
get() - Method in class Sequenic.T3.Examples.SimpleIntSortedList: Return and remove the greatest element from the list, if it is not empty.
get() - Method in class Sequenic.T3.Examples.SimpleSortedList: Return and remove the greatest element from the list, if it is not empty.
get(int) - Method in class Sequenic.T3.Pool: Returns the object from objectMap indexed with i; i should be an existing index.
get() - Static method in class Sequenic.T3.utils.Unit
get_spec() - Method in class Sequenic.T3.Examples.SimpleSortedList: A specification for get.
getAllConcreteSuperClasses(Class) - Static method in class Sequenic.T3.Reflection.Reflection: To obtain all non-interface and non-abstract superclasses of a given class.
getAllKnownInstantiableClasses() - Method in class Sequenic.T3.ImplementationMap
getAllNonStaticFields(Class) - Static method in class Sequenic.T3.utils.Show: Get ALL fields of a class.
getALLSuperClasses(Class) - Static method in class Sequenic.T3.Reflection.Reflection: To obtain all superclasses of a given class.
getClassFromName(String) - Static method in class Sequenic.T3.Reflection.Reflection
getEmail() - Method in class Sequenic.T3.Examples.Friends.Person
getImp1(Class) - Method in class Sequenic.T3.ImplementationMap: As getImps, but returns only one implementation-class, chosen randomly.
getImps(Class) - Method in class Sequenic.T3.ImplementationMap: Inquiry for known concrete and instantiable implementations of a given class C.
getIndexOfObjectUnderTest() - Method in class Sequenic.T3.Pool
getName() - Method in class Sequenic.T3.Sequence.Datatype.UPDATE_FIELD
getObjectUnderTest() - Method in class Sequenic.T3.Pool
getPublicCreatorMethods(Class) - Static method in class Sequenic.T3.ImplementationMap: Return the creator-methods of the class C.
getRandomIndices(int, int) - Static method in class Sequenic.T3.T3Random: Produce a list of N random integers, each in the range [0..upperbound) The method will try to make each integer in the resulting list to be unique; but this is not guaranteed.
getRnd() - Static method in class Sequenic.T3.T3Random
getScanned() - Method in class Sequenic.T3.Reflection.ClassesScanner
getT3logger() - Method in class Sequenic.T3.SuiteAPI
getTopClass(JType) - Static method in class Sequenic.T3.JavaType.JTypeUtils: Return the top class of a the type.
getTypeOfObjectUnderTest() - Method in class Sequenic.T3.Pool
grey(Method) - Method in class Sequenic.T3.Generator.SeqAndSuite.MethodG
grey(String, Class...) - Method in class Sequenic.T3.Generator.SeqAndSuite.MethodG
grey(Constructor) - Method in class Sequenic.T3.Generator.SeqAndSuite.ObjectUnderTestG
grey(Method) - Method in class Sequenic.T3.Generator.SeqAndSuite.ObjectUnderTestG
grey(String, Class...) - Method in class Sequenic.T3.Generator.SeqAndSuite.ObjectUnderTestG
grey(Class...) - Method in class Sequenic.T3.Generator.SeqAndSuite.ObjectUnderTestG
grey(Method, Method) - Method in class Sequenic.T3.Generator.SeqAndSuite.PairG
grey(double, int) - Method in class Sequenic.T3.Generator.SeqAndSuite.SegmentG: Extend the current sequence with a segment, up to the specified length.
grey_adt(int, int, double, Method, Method) - Method in class Sequenic.T3.Generator.SeqAndSuite.T3SeqG
grey_adt(int, int, double, Method) - Method in class Sequenic.T3.Generator.SeqAndSuite.T3SeqG
grey_adt(int, Constructor) - Method in class Sequenic.T3.Generator.SeqAndSuite.T3SeqG: For testing a given constructor.
grey_adt(int, Method) - Method in class Sequenic.T3.Generator.SeqAndSuite.T3SeqG: For testing a given creator method.
grey_constructor(Class...) - Method in class Sequenic.T3.CustomSuiteGenAPI
grey_creatorMethod(String, Class...) - Method in class Sequenic.T3.CustomSuiteGenAPI
grey_method(String, Class...) - Method in class Sequenic.T3.CustomSuiteGenAPI
grey_mutators(double, int) - Method in class Sequenic.T3.Generator.SeqAndSuite.SegmentG
grey_mutatorsSegment(int) - Method in class Sequenic.T3.CustomSuiteGenAPI
grey_mutatorsSegment(double, int) - Method in class Sequenic.T3.CustomSuiteGenAPI
grey_nonadt(int, int, double, Method, Method) - Method in class Sequenic.T3.Generator.SeqAndSuite.T3SeqG
grey_nonadt(int, int, double, Method) - Method in class Sequenic.T3.Generator.SeqAndSuite.T3SeqG
grey_nonmutators(int) - Method in class Sequenic.T3.Generator.SeqAndSuite.SegmentG
grey_nonMutatorsSegment(int) - Method in class Sequenic.T3.CustomSuiteGenAPI
grey_segment(int) - Method in class Sequenic.T3.CustomSuiteGenAPI
grey_segment(double, int) - Method in class Sequenic.T3.CustomSuiteGenAPI

H

hasClass(Class) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators: True, if the parameter specifies a class exactly C.
hashCode() - Method in class Sequenic.T3.JavaType.JTfun
hashCode() - Method in class Sequenic.T3.JavaType.JTvar
hashCode() - Method in class Sequenic.T3.JavaType.Jwildcard
hasParamName(String) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators

I

If(Predicate<Requirement>) - Method in interface Sequenic.T3.Generator.Generator
ImplementationMap - Class in Sequenic.T3: This class essentially implements a mapping between classes, and how their instance can be created.
ImplementationMap(String[], Class...) - Constructor for class Sequenic.T3.ImplementationMap: Constructor.
impMap - Variable in class Sequenic.T3.SuiteAPI2
ImpsMap - Variable in class Sequenic.T3.Generator.Value.CollectionLikeMG
ImpsMap - Variable in class Sequenic.T3.Generator.Value.ObjectMG
ImpsMap - Variable in class Sequenic.T3.Generator.Value.ValueMG
impsMap - Variable in class Sequenic.T3.ImplementationMap: This maintains a mapping from uninstantiable classes to their instantiable set of implementations.
impsMap - Variable in class Sequenic.T3.TestingScope: The proposed concrete type of CUT.
indent(int) - Method in class Sequenic.T3.utils.PP: Increase the indentation of this PP with i.
indent(String, int) - Static method in class Sequenic.T3.utils.StringFormater: Indent every 'lines' in the given string n spaces.
indentButFirst(String, int) - Static method in class Sequenic.T3.utils.StringFormater: As the other indent, but does not indent the first line.
index - Variable in class Sequenic.T3.Sequence.Datatype.REF
indexOfObjectUnderTest - Variable in class Sequenic.T3.Pool
InitialIndentation - Variable in class Sequenic.T3.utils.Show: The initial indentation.
injectOracles(Class, boolean) - Method in class Sequenic.T3.Sequence.Datatype.ParallelSUITE: Enhance the non-failing sequences in the suite with injected oracles.
injectOracles(Class, SEQ) - Method in class Sequenic.T3.Sequence.Datatype.SUITE: Enhance a sequence with injected oracles.
injectOracles(Class, boolean) - Method in class Sequenic.T3.Sequence.Datatype.SUITE: Enhance the non-failing sequences in the suite with injected oracles.
injectOracles(SUITE) - Method in class Sequenic.T3.SuiteAPI
inputWasIncorrect() - Method in class Sequenic.T3.Sequence.Datatype.STEP_RT_info: True if the thrown exception is either an IllegalArgumentException, or an PRE-assertion violation, thrown by CUT or its superclass.
insert(Integer) - Method in class Sequenic.T3.Examples.SimpleIntSortedList: This inserts a new element into the list.
insert(Comparable) - Method in class Sequenic.T3.Examples.SimpleSortedList: This inserts a new element into the list.
instrument() - Method in class Sequenic.T3.CustomSuiteGenAPI: To insert an INSTRUMENT step.
instrument() - Method in class Sequenic.T3.Generator.SeqAndSuite.AbstractSeqGenerator: To insert an INSTRUMENT step.
INSTRUMENT - Class in Sequenic.T3.Sequence.Datatype: Representing a bogus-step; inserted to insert instrumentation points along a test-sequence.
INSTRUMENT() - Constructor for class Sequenic.T3.Sequence.Datatype.INSTRUMENT
Integer(Function<Unit, Integer>) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators
intgens - Variable in class Sequenic.T3.Generator.Value.ValueMG
IntMG - Class in Sequenic.T3.Generator.Value
IntMG() - Constructor for class Sequenic.T3.Generator.Value.IntMG
invalid - Variable in class Sequenic.T3.Sequence.Datatype.SUITE_RT_info: Executed sequences that throws assumptive exceptions.
isAccessibleFrom(Method, Package) - Static method in class Sequenic.T3.Reflection.Reflection
isAccessibleFrom(Field, Package) - Static method in class Sequenic.T3.Reflection.Reflection
isAccessibleFrom(Constructor, Package) - Static method in class Sequenic.T3.Reflection.Reflection
isboolOrBool(JType) - Static method in class Sequenic.T3.Generator.Value.BoolMG
isBoxingType(Class) - Static method in class Sequenic.T3.Reflection.Reflection
isbyteOrByte(JType) - Static method in class Sequenic.T3.Generator.Value.ByteMG
ischarOrChar(JType) - Static method in class Sequenic.T3.Generator.Value.CharMG
isConcrete() - Method in class Sequenic.T3.JavaType.JTfun
isConcrete() - Method in class Sequenic.T3.JavaType.JTvar
isConcrete() - Method in interface Sequenic.T3.JavaType.JType: True if the type contains no type variables nor wildcards.
isConcrete() - Method in class Sequenic.T3.JavaType.Jwildcard
isConcreteArray() - Method in class Sequenic.T3.JavaType.JTfun
isConcreteArray() - Method in class Sequenic.T3.JavaType.JTvar
isConcreteArray() - Method in interface Sequenic.T3.JavaType.JType: True if the type is concrete, and is an array.
isConcreteArray() - Method in class Sequenic.T3.JavaType.Jwildcard
isConcreteClass(Class) - Static method in class Sequenic.T3.Reflection.Reflection
isConcreteCollection() - Method in class Sequenic.T3.JavaType.JTfun
isConcreteCollection() - Method in class Sequenic.T3.JavaType.JTvar
isConcreteCollection() - Method in interface Sequenic.T3.JavaType.JType
isConcreteCollection() - Method in class Sequenic.T3.JavaType.Jwildcard
isConcreteMap() - Method in class Sequenic.T3.JavaType.JTfun
isConcreteMap() - Method in class Sequenic.T3.JavaType.JTvar
isConcreteMap() - Method in interface Sequenic.T3.JavaType.JType
isConcreteMap() - Method in class Sequenic.T3.JavaType.Jwildcard
isCreationStep() - Method in class Sequenic.T3.Sequence.Datatype.CONST
isCreationStep() - Method in class Sequenic.T3.Sequence.Datatype.CONSTRUCT_COLLECTION
isCreationStep() - Method in class Sequenic.T3.Sequence.Datatype.CONSTRUCTOR
isCreationStep() - Method in class Sequenic.T3.Sequence.Datatype.INSTRUMENT
isCreationStep() - Method in class Sequenic.T3.Sequence.Datatype.METHOD
isCreationStep() - Method in class Sequenic.T3.Sequence.Datatype.REF
isCreationStep() - Method in class Sequenic.T3.Sequence.Datatype.STEP
isCreationStep() - Method in class Sequenic.T3.Sequence.Datatype.UPDATE_FIELD
isCycle() - Method in class Sequenic.T3.Examples.Cycles.Cycle
isdoubleOrDouble(JType) - Static method in class Sequenic.T3.Generator.Value.DoubleMG
isFail() - Method in class Sequenic.T3.Sequence.Datatype.SEQ_RT_info: True if the execution passes a step that produces an exception.
isfloatOrFloat(JType) - Static method in class Sequenic.T3.Generator.Value.FloatMG
isIntOrInteger(JType) - Static method in class Sequenic.T3.Generator.Value.IntMG
islongOrLong(JType) - Static method in class Sequenic.T3.Generator.Value.LongMG
isNull() - Method in class Sequenic.T3.Sequence.Datatype.CONST
isObjectUnderTestCreationStep - Variable in class Sequenic.T3.Sequence.Datatype.CONSTRUCTOR: Flag to indicate whether the step is a step that creates the object under test.
isObjectUnderTestCreationStep - Variable in class Sequenic.T3.Sequence.Datatype.METHOD: Flag to indicate whether the step is a step that creates the object under test.
isPrimitiveLike(Class) - Static method in class Sequenic.T3.Reflection.Reflection
isPubliclyInstantiable(Class) - Static method in class Sequenic.T3.ImplementationMap: Check if a given class has a public constructor or creator method.
isshortOrShort(JType) - Static method in class Sequenic.T3.Generator.Value.ShortMG
isString(JType) - Static method in class Sequenic.T3.Generator.Value.StringMG
isSubclassOf(Class) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators
isUnparameterizedType() - Method in class Sequenic.T3.JavaType.JTfun
isUnparameterizedType() - Method in class Sequenic.T3.JavaType.JTvar
isUnparameterizedType() - Method in interface Sequenic.T3.JavaType.JType: True if the type represents an unparameterized class in Java, such as Integer.
isUnparameterizedType() - Method in class Sequenic.T3.JavaType.Jwildcard
IterateWhile(Predicate<T>, Generator<T, T>) - Static method in class Sequenic.T3.Generator.GenCombinators: Iterate a generator, while it does not fail, and the result still satisfies a predicate.

J

JTfun - Class in Sequenic.T3.JavaType: Used to type expressions representing a class or interface.
JTfun(Class, JType...) - Constructor for class Sequenic.T3.JavaType.JTfun
JTvar - Class in Sequenic.T3.JavaType: Represent a type variable/parameter.
JTvar(String, JType...) - Constructor for class Sequenic.T3.JavaType.JTvar
JType - Interface in Sequenic.T3.JavaType: Representing a Java type-expression.
JTypeUtils - Class in Sequenic.T3.JavaType
JTypeUtils() - Constructor for class Sequenic.T3.JavaType.JTypeUtils
Jwildcard - Class in Sequenic.T3.JavaType: Representing a wildcard type.
Jwildcard(JType...) - Constructor for class Sequenic.T3.JavaType.Jwildcard

K

keepOnlyRedTraces - Variable in class Sequenic.T3.Config: If true we will only keep sequences that violates assertions, or throws an exception, one that is caused by a violation to a pre-condition.
keys - Variable in class Sequenic.T3.Sequence.Datatype.CONSTRUCT_COLLECTION
knownInstantiableClasses - Variable in class Sequenic.T3.ImplementationMap: The set of instantiable classes known to this map.

L

lastInfo - Variable in class Sequenic.T3.Sequence.Datatype.SEQ_RT_info: This contains the info of the last step executed.
length() - Method in class Sequenic.T3.Sequence.Datatype.SEQ: Calculate the effective length of the sequence.
lift(U) - Static method in class Sequenic.T3.utils.Maybe
load(String) - Static method in class Sequenic.T3.Sequence.Datatype.SUITE
load(String) - Method in class Sequenic.T3.SuiteAPI: Load a single suite-file, given a full path to the file.
load(String, String) - Method in class Sequenic.T3.SuiteAPI: Load all suite-files in the given directory, whose names start with the given prefix.
loadMany(String, String) - Static method in class Sequenic.T3.Sequence.Datatype.SUITE
loghandler - Variable in class Sequenic.T3.T3Cmd
Long(Function<Unit, Long>) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators
longgens - Variable in class Sequenic.T3.Generator.Value.ValueMG
LongMG - Class in Sequenic.T3.Generator.Value
LongMG() - Constructor for class Sequenic.T3.Generator.Value.LongMG
lowerbounds - Variable in class Sequenic.T3.JavaType.Jwildcard: According to Java Specification Language, Java-7, there can only be maximum one lower or one upper bound.

M

m() - Method in class Sequenic.T3.Examples.Coba1
main(String[]) - Static method in class Sequenic.T3.CustomSuiteGenAPI
main(String[]) - Static method in enum Sequenic.T3.Examples.Enum1
main(String[]) - Static method in class Sequenic.T3.Examples.ParameterizedTypes.MyMap
main(String[]) - Static method in class Sequenic.T3.Generator.GenCombinators
main(String[]) - Static method in class Sequenic.T3.Generator.SeqAndSuite.ObjectUnderTestG
main(String[]) - Static method in class Sequenic.T3.Generator.SeqAndSuite.SegmentG
main(String[]) - Static method in class Sequenic.T3.Generator.SeqAndSuite.SuiteG
main(String[]) - Static method in class Sequenic.T3.Generator.SeqAndSuite.T3SeqG
main(String[]) - Static method in class Sequenic.T3.Generator.SeqAndSuite.T3SuiteG
main(String[]) - Static method in class Sequenic.T3.Generator.Value.ObjectMG
main(String[]) - Static method in class Sequenic.T3.Generator.Value.REFMG
main(String[]) - Static method in class Sequenic.T3.Generator.Value.ValueMG
main(String[]) - Static method in class Sequenic.T3.ImplementationMap
main(String[]) - Static method in class Sequenic.T3.Info.ObjectCoverage
main(String[]) - Static method in class Sequenic.T3.JavaType.JTypeUtils
main(String[]) - Static method in class Sequenic.T3.JavaType.Solver
main(String[]) - Static method in class Sequenic.T3.Reflection.ClassesScanner: Create a single global class-scanner over the specified directory.
main(String[]) - Static method in class Sequenic.T3.Reflection.Reflection
main(String) - Static method in class Sequenic.T3.ReplayCmd
main(String[]) - Static method in class Sequenic.T3.ReplayCmd
main(String[]) - Static method in class Sequenic.T3.Sequence.Datatype.CONST
main(String[]) - Static method in class Sequenic.T3.Sequence.Datatype.SUITE
main(String[]) - Static method in class Sequenic.T3.T3Cmd: Command-line entry point to run T3.
main(String) - Static method in class Sequenic.T3.T3Cmd: API.
main(String[]) - Static method in class Sequenic.T3.T3SuiteGenAPI: Just for testing.
main(String[]) - Static method in class Sequenic.T3.TestingScope
main(String[]) - Static method in class Sequenic.T3.utils.PP: Just for testing.
main(String[]) - Static method in class Sequenic.T3.utils.Show
main(String[]) - Static method in class Sequenic.T3.utils.StringFormater
mainemail - Variable in class Sequenic.T3.Examples.Friends.Email
map(FUN<Generator<PARAM, STEP>>) - Method in class Sequenic.T3.Generator.Value.CollectionLikeMG
mapReduceWith(Generator<R, T>, T, BinaryOperator<T>, boolean) - Static method in class Sequenic.T3.Generator.GenCombinators
markAsObjectUnderTest(Object) - Method in class Sequenic.T3.Pool: To mark that an object in the pool is an object under test in the pool.
maxCollectionSize - Variable in class Sequenic.T3.Config
maxDepth - Variable in class Sequenic.T3.utils.Show: Show will only go down up to this maximum depth of object structure.
maxLevelOfObjectsNesting - Variable in class Sequenic.T3.Config
maxNumberOfPairs - Variable in class Sequenic.T3.Generator.SeqAndSuite.T3SuiteG
maxNumberOfSeqRetry - Variable in class Sequenic.T3.Config
maxNumberOfSeqRetry - Variable in class Sequenic.T3.Generator.SeqAndSuite.SuiteG
maxNumberOfSeqRetry - Variable in class Sequenic.T3.Generator.SeqAndSuite.T3SuiteG
maxNumberOfStepRetry - Variable in class Sequenic.T3.Config
maxNumberOfStepRetry - Variable in class Sequenic.T3.Generator.SeqAndSuite.AbstractSeqGenerator
maxNumberOfStepRetry - Variable in class Sequenic.T3.Generator.SeqAndSuite.T3SuiteG
maxPrefixLength - Variable in class Sequenic.T3.Config
maxPrefixLength - Variable in class Sequenic.T3.Generator.SeqAndSuite.T3SuiteG
maxSuffixLength - Variable in class Sequenic.T3.Config
maxSuffixLength - Variable in class Sequenic.T3.Generator.SeqAndSuite.T3SuiteG
maxSuiteSizePerGoal - Static variable in class Sequenic.T3.Generator.SeqAndSuite.T3SuiteG
maxTreeDepth - Variable in class Sequenic.T3.Generator.Value.ObjectMG: Indicate the maximum depth of object nesting that is allowed.
Maybe<T> - Class in Sequenic.T3.utils
Maybe(T) - Constructor for class Sequenic.T3.utils.Maybe
method(String, Class...) - Method in class Sequenic.T3.CustomSuiteGenAPI
METHOD - Class in Sequenic.T3.Sequence.Datatype: This represents a STEP to call a method.
METHOD(Method, STEP, STEP[]) - Constructor for class Sequenic.T3.Sequence.Datatype.METHOD
METHOD() - Constructor for class Sequenic.T3.Sequence.Datatype.METHOD
method - Variable in class Sequenic.T3.Sequence.Datatype.METHOD
methodG - Variable in class Sequenic.T3.CustomSuiteGenAPI
MethodG - Class in Sequenic.T3.Generator.SeqAndSuite: To generate a sequence containing a single call to a method.
MethodG(TestingScope, Pool, int, Generator<PARAM, STEP>) - Constructor for class Sequenic.T3.Generator.SeqAndSuite.MethodG
methodMG - Variable in class Sequenic.T3.Generator.SeqAndSuite.PairG
METHODMG - Class in Sequenic.T3.Generator.Step
METHODMG(Pool, TestingScope, Generator<PARAM, STEP>) - Constructor for class Sequenic.T3.Generator.Step.METHODMG
methods - Variable in class Sequenic.T3.TestingScope
methods(String, Class...) - Method in class Sequenic.T3.TestingScope
methods() - Method in class Sequenic.T3.TestingScope
midPoint(String) - Static method in class Sequenic.T3.Examples.Staticx.StringUtils
minSuiteSizePerGoal - Static variable in class Sequenic.T3.Generator.SeqAndSuite.T3SuiteG
MixedOneOf(Serializable...) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators: Choose one of the given objects.
mkSpace(int) - Static method in class Sequenic.T3.utils.StringFormater
move(int) - Method in class Sequenic.T3.Examples.Abstractx.Car
move(int) - Method in class Sequenic.T3.Examples.Abstractx.PaperVehicle
move(int) - Method in class Sequenic.T3.Examples.Abstractx.Vehicle
multiplier - Variable in class Sequenic.T3.Generator.SeqAndSuite.T3SuiteG
mutators - Variable in class Sequenic.T3.TestingScope
mutators(String, Class...) - Method in class Sequenic.T3.TestingScope
mutators() - Method in class Sequenic.T3.TestingScope
mutatorsSegment(int) - Method in class Sequenic.T3.CustomSuiteGenAPI
mutatorsSegment(double, int) - Method in class Sequenic.T3.CustomSuiteGenAPI
MyEnum - Enum in Sequenic.T3.utils: Just a simple enumeration for the purpose of generating instance of Enum.
MyGenericClass1 - Class in Sequenic.T3.Examples.ParameterizedTypes
MyGenericClass1() - Constructor for class Sequenic.T3.Examples.ParameterizedTypes.MyGenericClass1
MyGenericClass1b - Class in Sequenic.T3.Examples.ParameterizedTypes
MyGenericClass1b() - Constructor for class Sequenic.T3.Examples.ParameterizedTypes.MyGenericClass1b
MyGenericClass1c<H2 extends H3,I extends J,H1 extends H2,K1 extends I,J extends H1,K2 extends H3,H8 extends H10,H3 extends H4,H4 extends H5,K4 extends H4,H7 extends H8,H6 extends H7,H10 extends java.lang.Integer,H5 extends H6> - Class in Sequenic.T3.Examples.ParameterizedTypes
MyGenericClass1c() - Constructor for class Sequenic.T3.Examples.ParameterizedTypes.MyGenericClass1c
MyGenericClass2,J extends java.util.Set> - Class in Sequenic.T3.Examples.ParameterizedTypes: These parameters have actually no solution.
MyGenericClass2() - Constructor for class Sequenic.T3.Examples.ParameterizedTypes.MyGenericClass2
MyGenericClass3 & java.util.List<J>,J extends java.lang.Boolean> - Class in Sequenic.T3.Examples.ParameterizedTypes
MyGenericClass3() - Constructor for class Sequenic.T3.Examples.ParameterizedTypes.MyGenericClass3
MyGenericMethods - Class in Sequenic.T3.Examples.ParameterizedTypes
MyGenericMethods() - Constructor for class Sequenic.T3.Examples.ParameterizedTypes.MyGenericMethods
MyMap - Class in Sequenic.T3.Examples.ParameterizedTypes
MyMap() - Constructor for class Sequenic.T3.Examples.ParameterizedTypes.MyMap
myvalgen - Static variable in class Sequenic.T3.Examples.CustomInputGenerator.CustomInputGenerator

N

naiveClassdecl2JType(Class) - Static method in class Sequenic.T3.JavaType.JTypeUtils: Convert a class declaration to a JType expression, but this ignores the class's type parameters, if there are any.
name - Variable in class Sequenic.T3.Examples.Friends.Person
name - Variable in class Sequenic.T3.JavaType.JTvar
name - Variable in class Sequenic.T3.Sequence.Datatype.PARAM: The name of the parameter, if any.
names1() - Static method in class Sequenic.T3.Generator.Value.StringMG
names2() - Static method in class Sequenic.T3.Generator.Value.StringMG
nameswithNonNumerics1() - Static method in class Sequenic.T3.Generator.Value.StringMG
no_asmviol(Method) - Method in class Sequenic.T3.Generator.SeqAndSuite.MethodG
no_asmviol(String, Class...) - Method in class Sequenic.T3.Generator.SeqAndSuite.MethodG
no_asmviol(Constructor) - Method in class Sequenic.T3.Generator.SeqAndSuite.ObjectUnderTestG
no_asmviol(Method) - Method in class Sequenic.T3.Generator.SeqAndSuite.ObjectUnderTestG
no_asmviol(String, Class...) - Method in class Sequenic.T3.Generator.SeqAndSuite.ObjectUnderTestG
no_asmviol(Class...) - Method in class Sequenic.T3.Generator.SeqAndSuite.ObjectUnderTestG
no_asmviol(Method, Method) - Method in class Sequenic.T3.Generator.SeqAndSuite.PairG
no_asmviol(double, int) - Method in class Sequenic.T3.Generator.SeqAndSuite.SegmentG
no_asmviol_adt(int, int, double, Method, Method) - Method in class Sequenic.T3.Generator.SeqAndSuite.T3SeqG
no_asmviol_adt(int, int, double, Method) - Method in class Sequenic.T3.Generator.SeqAndSuite.T3SeqG
no_asmviol_adt(int, Constructor) - Method in class Sequenic.T3.Generator.SeqAndSuite.T3SeqG
no_asmviol_adt(int, Method) - Method in class Sequenic.T3.Generator.SeqAndSuite.T3SeqG
no_asmviol_mutators(double, int) - Method in class Sequenic.T3.Generator.SeqAndSuite.SegmentG
no_asmviol_nonadt(int, int, double, Method, Method) - Method in class Sequenic.T3.Generator.SeqAndSuite.T3SeqG
no_asmviol_nonadt(int, int, double, Method) - Method in class Sequenic.T3.Generator.SeqAndSuite.T3SeqG
no_asmviol_nonmutators(int) - Method in class Sequenic.T3.Generator.SeqAndSuite.SegmentG
no_exc(Method) - Method in class Sequenic.T3.Generator.SeqAndSuite.MethodG: Avoid throwing any exception.
no_exc(String, Class...) - Method in class Sequenic.T3.Generator.SeqAndSuite.MethodG
no_exc(double, int) - Method in class Sequenic.T3.Generator.SeqAndSuite.SegmentG
no_exc_mutators(double, int) - Method in class Sequenic.T3.Generator.SeqAndSuite.SegmentG
no_exc_mutatorsSegment(int) - Method in class Sequenic.T3.CustomSuiteGenAPI
no_exc_mutatorsSegment(double, int) - Method in class Sequenic.T3.CustomSuiteGenAPI
no_exc_segment(int) - Method in class Sequenic.T3.CustomSuiteGenAPI
no_exc_segment(double, int) - Method in class Sequenic.T3.CustomSuiteGenAPI
nonadt_grey(int) - Method in class Sequenic.T3.Generator.SeqAndSuite.T3SuiteG
nonadt_no_asmviol(int) - Method in class Sequenic.T3.Generator.SeqAndSuite.T3SuiteG
nonMutators - Variable in class Sequenic.T3.TestingScope
nonMutatorsSegment(int) - Method in class Sequenic.T3.CustomSuiteGenAPI
nonnull_and_no_exc(Constructor) - Method in class Sequenic.T3.Generator.SeqAndSuite.ObjectUnderTestG: Generate a non-null target object, and avoid throwing any exception.
nonnull_and_no_exc(Method) - Method in class Sequenic.T3.Generator.SeqAndSuite.ObjectUnderTestG
nonnull_and_no_exc(String, Class...) - Method in class Sequenic.T3.Generator.SeqAndSuite.ObjectUnderTestG
nonnull_and_no_exc(Class...) - Method in class Sequenic.T3.Generator.SeqAndSuite.ObjectUnderTestG
nullgens - Variable in class Sequenic.T3.Generator.Value.ValueMG
NullMG - Class in Sequenic.T3.Generator.Value
NullMG() - Constructor for class Sequenic.T3.Generator.Value.NullMG
numberOfCores - Variable in class Sequenic.T3.Config: The number of processor cores.
numbers1() - Static method in class Sequenic.T3.Generator.Value.StringMG
numbers2() - Static method in class Sequenic.T3.Generator.Value.StringMG
numbers3() - Static method in class Sequenic.T3.Generator.Value.StringMG

O

objectCount - Variable in class Sequenic.T3.Pool
ObjectCoverage - Class in Sequenic.T3.Info
ObjectCoverage(Class) - Constructor for class Sequenic.T3.Info.ObjectCoverage
objectCoverageCollector - Variable in class Sequenic.T3.Sequence.Datatype.SUITE_RT_info
objectMap - Variable in class Sequenic.T3.Pool
ObjectMG - Class in Sequenic.T3.Generator.Value
ObjectMG(int, ImplementationMap) - Constructor for class Sequenic.T3.Generator.Value.ObjectMG
objectUnderTest() - Method in class Sequenic.T3.Generator.Value.REFMG
objectUnderTest - Variable in class Sequenic.T3.Pool
objectUnderTest - Variable in class Sequenic.T3.Sequence.Datatype.STEP_RT_info: The object under the test associated to the step producing this result.
ObjectUnderTestG - Class in Sequenic.T3.Generator.SeqAndSuite: Providing generators to create a sequence containing a single step that creates the object under test.
ObjectUnderTestG(TestingScope, Pool, int, Generator<PARAM, STEP>) - Constructor for class Sequenic.T3.Generator.SeqAndSuite.ObjectUnderTestG
ObjectUnderTestMG - Class in Sequenic.T3.Generator.Step
ObjectUnderTestMG(TestingScope, Generator<PARAM, STEP>) - Constructor for class Sequenic.T3.Generator.Step.ObjectUnderTestMG
objIDs - Variable in class Sequenic.T3.utils.Show: Mapping of seen objects to unique numbers.
OneOf(Generator<R, T>...) - Static method in class Sequenic.T3.Generator.GenCombinators: Randomly chooses one of the generators.
oneOf(List<Method>) - Method in class Sequenic.T3.Generator.Step.METHODMG
OneOf(int...) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators
OneOf(boolean...) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators
OneOf(byte...) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators
OneOf(short...) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators
OneOf(long...) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators
OneOf(float...) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators
OneOf(double...) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators
OneOf(String...) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators
OneOf(char...) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators
ontop(PP) - Method in class Sequenic.T3.utils.PP: Set this PP above pp2.
ontop_spec(PP) - Method in class Sequenic.T3.utils.PP: A specification.
Oracle - Class in Sequenic.T3.Oracle: Used to represent injected oracles.
Oracle() - Constructor for class Sequenic.T3.Oracle.Oracle
oracle - Variable in class Sequenic.T3.Sequence.Datatype.CONSTRUCTOR: An oracle, if any.
oracle - Variable in class Sequenic.T3.Sequence.Datatype.METHOD
oracle - Variable in class Sequenic.T3.Sequence.Datatype.UPDATE_FIELD
OracleError - Error in Sequenic.T3: A test sequence may be decorated with some oracles.
OracleError(String) - Constructor for error Sequenic.T3.OracleError
OracleError(String, Throwable) - Constructor for error Sequenic.T3.OracleError
OracleError(Throwable) - Constructor for error Sequenic.T3.OracleError
ouch() - Method in class Sequenic.T3.Examples.Coba1
out - Variable in class Sequenic.T3.Info.FunctionalCoverage

P

padLeft(String, int) - Static method in class Sequenic.T3.utils.StringFormater: Pad the string on the left to the given width.
padRight(String, int) - Static method in class Sequenic.T3.utils.StringFormater: Pad the string on the right to the given width.
Pair<T,U> - Class in Sequenic.T3.utils
Pair(T, U) - Constructor for class Sequenic.T3.utils.Pair
PairG - Class in Sequenic.T3.Generator.SeqAndSuite: To create a sequence consisting of calls to two methods.
PairG(TestingScope, Pool, int, Generator<PARAM, STEP>) - Constructor for class Sequenic.T3.Generator.SeqAndSuite.PairG
PaperVehicle - Class in Sequenic.T3.Examples.Abstractx
PaperVehicle() - Constructor for class Sequenic.T3.Examples.Abstractx.PaperVehicle
parallelExec(boolean, OutputStream) - Method in class Sequenic.T3.Sequence.Datatype.ParallelSUITE: Parallel version of exec.
ParallelSUITE - Class in Sequenic.T3.Sequence.Datatype: A class representing a test-suite, which is a set of test-sequences.
ParallelSUITE(String) - Constructor for class Sequenic.T3.Sequence.Datatype.ParallelSUITE
ParallelSUITE(SUITE) - Constructor for class Sequenic.T3.Sequence.Datatype.ParallelSUITE: To convert a suite to a parallel suite.
PARAM - Class in Sequenic.T3.Sequence.Datatype: Used to represent a parameter/value to generate.
PARAM(String, JType) - Constructor for class Sequenic.T3.Sequence.Datatype.PARAM
params - Variable in class Sequenic.T3.Sequence.Datatype.CONSTRUCTOR
params - Variable in class Sequenic.T3.Sequence.Datatype.METHOD
Person - Class in Sequenic.T3.Examples.CustomInputGenerator
Person(String, String, int, int) - Constructor for class Sequenic.T3.Examples.CustomInputGenerator.Person
Person(String, Person.Email, int, int) - Constructor for class Sequenic.T3.Examples.CustomInputGenerator.Person
Person - Class in Sequenic.T3.Examples.Friends
Person(String, Email) - Constructor for class Sequenic.T3.Examples.Friends.Person
Person(String, Email...) - Constructor for class Sequenic.T3.Examples.Friends.Person
Person(String, Set<Email>) - Constructor for class Sequenic.T3.Examples.Friends.Person
Person.Email - Class in Sequenic.T3.Examples.CustomInputGenerator
PersonCycle<T extends Person> - Class in Sequenic.T3.Examples.Cycles
PersonCycle(T) - Constructor for class Sequenic.T3.Examples.Cycles.PersonCycle
pool - Variable in class Sequenic.T3.CustomSuiteGenAPI
pool - Variable in class Sequenic.T3.Generator.SeqAndSuite.AbstractSeqGenerator
pool - Variable in class Sequenic.T3.Generator.Step.METHODMG
pool - Variable in class Sequenic.T3.Generator.Value.REFMG
Pool - Class in Sequenic.T3: Represents an object pool.
Pool() - Constructor for class Sequenic.T3.Pool: Create an empty pool.
PP - Class in Sequenic.T3.utils: Simple library for pretty printing text.
PP() - Constructor for class Sequenic.T3.utils.PP: Creating an empty PP.
primitives1() - Method in class Sequenic.T3.Generator.Value.ValueMG
print() - Method in class Sequenic.T3.Config
print(int, OutputStream) - Method in class Sequenic.T3.Sequence.Datatype.STEP_RT_info: For printing the step to some output-stream.
printAllUncoveredConstructors() - Method in class Sequenic.T3.Info.FunctionalCoverage
printAllUncoveredCreatorMethods() - Method in class Sequenic.T3.Info.FunctionalCoverage
printAllUncoveredFields() - Method in class Sequenic.T3.Info.FunctionalCoverage
printAllUncoveredMethods() - Method in class Sequenic.T3.Info.FunctionalCoverage
printGeneral() - Method in class Sequenic.T3.Config
printGeneratorRelated() - Method in class Sequenic.T3.Config
printReplayRelated() - Method in class Sequenic.T3.Config
printReport(int) - Method in class Sequenic.T3.Info.FunctionalCoverage
printReport(OutputStream) - Method in class Sequenic.T3.Info.ObjectCoverage
printReport(OutputStream) - Method in class Sequenic.T3.Sequence.Datatype.SUITE_RT_info
put(JType, Object) - Method in class Sequenic.T3.Pool: Add an object u of concrete type ty into the pool.

Q

quotes1() - Static method in class Sequenic.T3.Generator.Value.StringMG

R

raisesViolation() - Method in class Sequenic.T3.Sequence.Datatype.STEP_RT_info: True if the thrown exception is does not belong to the category inputWasIncorrect.
random() - Method in class Sequenic.T3.Generator.Step.UPDATE_FIELDMG
random() - Method in class Sequenic.T3.Generator.Value.EnumMG: Construct a generator that will randomly generate enum values (null excluded).
random() - Method in class Sequenic.T3.Generator.Value.REFMG
recbind(Function<FUN<F>, F>) - Static method in class Sequenic.T3.utils.FUN
receiverObj - Variable in class Sequenic.T3.Sequence.Datatype.STEP_RT_info: Actual receiver object of the step producing this result.
REF - Class in Sequenic.T3.Sequence.Datatype: This STEP is used to construct an object by by picking it from an object pool.
REF(int) - Constructor for class Sequenic.T3.Sequence.Datatype.REF
REF() - Constructor for class Sequenic.T3.Sequence.Datatype.REF
Reflection - Class in Sequenic.T3.Reflection: Utility class providing reflection functions.
Reflection() - Constructor for class Sequenic.T3.Reflection.Reflection
REFMG - Class in Sequenic.T3.Generator.Value
REFMG(Pool) - Constructor for class Sequenic.T3.Generator.Value.REFMG
regressionMode - Variable in class Sequenic.T3.Config: If true, the CUT is assumed to be correct, and we want to generate a suite to be used for regression testing.
render(int) - Method in class Sequenic.T3.utils.PP: To render this PP to a formatted string.
replay(SUITE) - Method in class Sequenic.T3.SuiteAPI: To replay a suite.
ReplayCmd - Class in Sequenic.T3: A command-line tool to replay suite-files.
replayRunAll - Variable in class Sequenic.T3.Config: If true, when replaying a suite, all sequences will be run; else the execution will stop at the first step, in the first execution that throws an exception.
replayShowDepth - Variable in class Sequenic.T3.Config
replayShowExcExecution - Variable in class Sequenic.T3.Config: If true, then replays that throw exception (or Oracle Error in the regression-mode) will be shown/reported into the given output stream.
replayShowLength - Variable in class Sequenic.T3.Config
reportCoverage(SUITE) - Method in class Sequenic.T3.SuiteAPI2
reportOut - Variable in class Sequenic.T3.Config: An output stream to print out report and statistics.
reportWrite(String) - Method in class Sequenic.T3.Config
reportWriteln(String) - Method in class Sequenic.T3.Config
reset() - Method in class Sequenic.T3.Info.ObjectCoverage: Clear the list of covered pairs.
reset() - Method in class Sequenic.T3.Pool: To reset the pool to its initial empty state.
resetContinousNumbering() - Method in class Sequenic.T3.utils.Show: Reset the continous numbering.
returnedObj - Variable in class Sequenic.T3.Sequence.Datatype.STEP_RT_info
reverse(String) - Static method in class Sequenic.T3.Examples.Staticx.StringUtils
rnd - Variable in class Sequenic.T3.Generator.Step.METHODMG
rnd - Variable in class Sequenic.T3.Generator.Step.ObjectUnderTestMG
rnd - Variable in class Sequenic.T3.Generator.Step.UPDATE_FIELDMG
rnd - Variable in class Sequenic.T3.Generator.Value.BoolMG
rnd - Variable in class Sequenic.T3.Generator.Value.ByteMG
rnd - Variable in class Sequenic.T3.Generator.Value.CharMG
rnd - Variable in class Sequenic.T3.Generator.Value.CollectionLikeMG
rnd - Variable in class Sequenic.T3.Generator.Value.DoubleMG
rnd - Variable in class Sequenic.T3.Generator.Value.EnumMG
rnd - Variable in class Sequenic.T3.Generator.Value.FloatMG
rnd - Variable in class Sequenic.T3.Generator.Value.IntMG
rnd - Variable in class Sequenic.T3.Generator.Value.LongMG
rnd - Variable in class Sequenic.T3.Generator.Value.ObjectMG
rnd - Variable in class Sequenic.T3.Generator.Value.REFMG
rnd - Variable in class Sequenic.T3.Generator.Value.ShortMG
rnd - Variable in class Sequenic.T3.Generator.Value.StringMG
rndGetIndex(JType) - Method in class Sequenic.T3.Pool: Randomly draw an object of a concrete type ty from the pool.
roundedUniform(double, double) - Method in class Sequenic.T3.Generator.Value.DoubleMG: Construct a float generator that will randomly generates floats between the specified lowerbound (inclusive) and upperbound (inclusive).
roundedUniform(float, float) - Method in class Sequenic.T3.Generator.Value.FloatMG: Construct a float generator that will randomly generates floats between the specified lowerbound (inclusive) and upperbound (inclusive).
run(Pool, Generator<SEQ_RT_info, SEQ_RT_info>, int) - Method in class Sequenic.T3.Generator.SeqAndSuite.SuiteG: Pass the pool that is used by sequence generator.
runtime - Variable in class Sequenic.T3.Sequence.Datatype.SUITE_RT_info

S

samples - Variable in class Sequenic.T3.Generator.Value.StringMG
samples1() - Static method in class Sequenic.T3.Generator.Value.StringMG
save(String) - Method in class Sequenic.T3.Sequence.Datatype.SUITE: Save the suite in the given directory.
scan() - Method in class Sequenic.T3.Reflection.ClassesScanner
scanned - Variable in class Sequenic.T3.Reflection.ClassesScanner
scope - Variable in class Sequenic.T3.Generator.SeqAndSuite.AbstractSeqGenerator
scope - Variable in class Sequenic.T3.Generator.SeqAndSuite.SuiteG
scope - Variable in class Sequenic.T3.Generator.SeqAndSuite.T3SuiteG
scope - Variable in class Sequenic.T3.SuiteAPI2
segment(int) - Method in class Sequenic.T3.CustomSuiteGenAPI
segment(double, int) - Method in class Sequenic.T3.CustomSuiteGenAPI
segmentG - Variable in class Sequenic.T3.CustomSuiteGenAPI
SegmentG - Class in Sequenic.T3.Generator.SeqAndSuite: For generating segments, we provide three sorts: (1) the standard one consists of method calls and field updates (2) segments of calls to mutators and field updates (3) segments of calls to non-mutators Each sort has grey, no_asmviol, and no_exc variants.
SegmentG(TestingScope, Pool, int, Generator<PARAM, STEP>) - Constructor for class Sequenic.T3.Generator.SeqAndSuite.SegmentG
select(Method) - Method in class Sequenic.T3.Generator.Step.METHODMG: Execute as a test-step, a call to a given method M.
SEQ - Class in Sequenic.T3.Sequence.Datatype
SEQ() - Constructor for class Sequenic.T3.Sequence.Datatype.SEQ
seq - Variable in class Sequenic.T3.Sequence.Datatype.SEQ_RT_info: The test-sequence to which this info belongs to.
SEQ_RT_info - Class in Sequenic.T3.Sequence.Datatype
SEQ_RT_info(SEQ) - Constructor for class Sequenic.T3.Sequence.Datatype.SEQ_RT_info
Sequence(Generator<T, T>...) - Static method in class Sequenic.T3.Generator.GenCombinators: Execute a sequence of generators.
sequencePrintOut - Variable in class Sequenic.T3.Config: An output stream to print out sequence-executions (if requested).
SequenceWhile(Predicate<T>, Generator<T, T>...) - Static method in class Sequenic.T3.Generator.GenCombinators: Execute a sequence of generators, while a guard is true.
Sequenic.T3 - package Sequenic.T3
Sequenic.T3.Examples - package Sequenic.T3.Examples
Sequenic.T3.Examples.Abstractx - package Sequenic.T3.Examples.Abstractx
Sequenic.T3.Examples.CustomInputGenerator - package Sequenic.T3.Examples.CustomInputGenerator
Sequenic.T3.Examples.Cycles - package Sequenic.T3.Examples.Cycles
Sequenic.T3.Examples.Friends - package Sequenic.T3.Examples.Friends
Sequenic.T3.Examples.ParameterizedTypes - package Sequenic.T3.Examples.ParameterizedTypes
Sequenic.T3.Examples.Staticx - package Sequenic.T3.Examples.Staticx
Sequenic.T3.Generator - package Sequenic.T3.Generator
Sequenic.T3.Generator.SeqAndSuite - package Sequenic.T3.Generator.SeqAndSuite
Sequenic.T3.Generator.Step - package Sequenic.T3.Generator.Step
Sequenic.T3.Generator.Value - package Sequenic.T3.Generator.Value
Sequenic.T3.Info - package Sequenic.T3.Info
Sequenic.T3.JavaType - package Sequenic.T3.JavaType
Sequenic.T3.Oracle - package Sequenic.T3.Oracle
Sequenic.T3.Reflection - package Sequenic.T3.Reflection
Sequenic.T3.Sequence.Datatype - package Sequenic.T3.Sequence.Datatype
Sequenic.T3.utils - package Sequenic.T3.utils
setDirsToClasses(String...) - Method in class Sequenic.T3.Config
setLowerBounds(JType...) - Method in class Sequenic.T3.JavaType.Jwildcard
Short(Function<Unit, Short>) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators
shortgens - Variable in class Sequenic.T3.Generator.Value.ValueMG
ShortMG - Class in Sequenic.T3.Generator.Value
ShortMG() - Constructor for class Sequenic.T3.Generator.Value.ShortMG
show() - Method in class Sequenic.T3.Examples.CustomInputGenerator.Person.Email
Show - Class in Sequenic.T3.utils: A utility to show/print the content of an object to a string.
Show() - Constructor for class Sequenic.T3.utils.Show
Show(int, int) - Constructor for class Sequenic.T3.utils.Show: Create a new Shower object, with the specified maximum show depth and initial indentation.
show(Object, int, int) - Static method in class Sequenic.T3.utils.Show: Show the object o.
show(Object) - Static method in class Sequenic.T3.utils.Show: Show an object, with default depth and initial indentation.
showFilter - Static variable in class Sequenic.T3.utils.Show: Let C be a class.
showSuiteStatistics() - Method in class Sequenic.T3.Sequence.Datatype.SUITE
showWithContNum(Object) - Method in class Sequenic.T3.utils.Show: Show the object o.
SimpleIntSortedList - Class in Sequenic.T3.Examples: Sorted list of integers; in ascending order.
SimpleIntSortedList() - Constructor for class Sequenic.T3.Examples.SimpleIntSortedList: This constructs an empty list.
SimpleSortedList - Class in Sequenic.T3.Examples: A simple class implementing a sorted list.
SimpleSortedList() - Constructor for class Sequenic.T3.Examples.SimpleSortedList: This constructs an empty list.
size - Variable in class Sequenic.T3.Generator.Value.CollectionLikeMG: The size of arrays/collections/maps to generate.
snd - Variable in class Sequenic.T3.utils.Pair
solve(ImplementationMap, Map<String, JType>, JType) - Static method in class Sequenic.T3.JavaType.Solver: The main solver function.
solveClassTyvars(ImplementationMap, JTfun) - Static method in class Sequenic.T3.JavaType.Solver: Let JTFun C args be T0.
solveJTvar(ImplementationMap, Map<String, JType>, JTvar) - Static method in class Sequenic.T3.JavaType.Solver: Solving a type expression of the form of a type-variable.
solveJwildcard(ImplementationMap, Map<String, JType>, Jwildcard) - Static method in class Sequenic.T3.JavaType.Solver: Solving a type expression of the form of a type-variable.
Solver - Class in Sequenic.T3.JavaType: Provide a function to solve a type expression T.
Solver() - Constructor for class Sequenic.T3.JavaType.Solver
SomeObject - Class in Sequenic.T3.utils
SomeObject() - Constructor for class Sequenic.T3.utils.SomeObject
speed - Variable in class Sequenic.T3.Examples.Abstractx.Vehicle
split(int, int) - Method in class Sequenic.T3.Sequence.Datatype.SUITE: To split a suite into up to N smaller suites, who size is at least minsize.
splitSuite - Variable in class Sequenic.T3.Config: The resulting suite will be split into this number of sub-suites.
standardKnownInstantiableClasses() - Static method in class Sequenic.T3.ImplementationMap
startingTime - Variable in class Sequenic.T3.T3Cmd
STEP - Class in Sequenic.T3.Sequence.Datatype: An object of this class is a meta representation of a unit execution that ultimately constitutes a test-sequence.
STEP() - Constructor for class Sequenic.T3.Sequence.Datatype.STEP
step - Variable in class Sequenic.T3.Sequence.Datatype.STEP_RT_info: The step that produces this result.
STEP_RT_info - Class in Sequenic.T3.Sequence.Datatype: An object of this class is a description used to hold runtime information about a test step (what the step is, what the actual concrete parameters passed to it) and the result of executing it.
STEP_RT_info() - Constructor for class Sequenic.T3.Sequence.Datatype.STEP_RT_info
STEP_RT_info(STEP, Class, Object) - Constructor for class Sequenic.T3.Sequence.Datatype.STEP_RT_info
STEPexec - Class in Sequenic.T3.Generator.Step: Provides utilities to lift STEP generator to ExecInfo generator.
STEPexec() - Constructor for class Sequenic.T3.Generator.Step.STEPexec
steps - Variable in class Sequenic.T3.Sequence.Datatype.SEQ
stop() - Method in class Sequenic.T3.Examples.Abstractx.Car
stop() - Method in class Sequenic.T3.Examples.Abstractx.PaperVehicle
stop() - Method in class Sequenic.T3.Examples.Abstractx.Vehicle
StrDump(Object) - Static method in class Sequenic.T3.Oracle.StrDumpEqOracle
StrDump___(Object) - Static method in class Sequenic.T3.Oracle.StrDumpEqOracle: This is supposed to be a better StrDump..
StrDumpEqOracle - Class in Sequenic.T3.Oracle: Representing an oracle of the form target = expectation.
StrDumpEqOracle(Maybe<Object>, Maybe<Object>, Maybe<Throwable>) - Constructor for class Sequenic.T3.Oracle.StrDumpEqOracle
String(Function<Unit, String>) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators
StringFormater - Class in Sequenic.T3.utils: Provides a bunch of methods to format a string.
StringFormater() - Constructor for class Sequenic.T3.utils.StringFormater
stringgens - Variable in class Sequenic.T3.Generator.Value.ValueMG
StringMG - Class in Sequenic.T3.Generator.Value
StringMG(String...) - Constructor for class Sequenic.T3.Generator.Value.StringMG
StringUtils - Class in Sequenic.T3.Examples.Staticx
StringUtils() - Constructor for class Sequenic.T3.Examples.Staticx.StringUtils
subst(Map<String, JType>) - Method in class Sequenic.T3.JavaType.JTfun
subst(Map<String, JType>) - Method in class Sequenic.T3.JavaType.JTvar
subst(Map<String, JType>) - Method in interface Sequenic.T3.JavaType.JType: Apply the given subsitutions.
subst(Map<String, JType>) - Method in class Sequenic.T3.JavaType.Jwildcard
suite(Generator<SEQ_RT_info, SEQ_RT_info>, int) - Method in class Sequenic.T3.CustomSuiteGenAPI
SUITE - Class in Sequenic.T3.Sequence.Datatype: A class representing a test-suite, which is a set of test-sequences.
SUITE() - Constructor for class Sequenic.T3.Sequence.Datatype.SUITE
SUITE(String) - Constructor for class Sequenic.T3.Sequence.Datatype.SUITE
suite - Variable in class Sequenic.T3.Sequence.Datatype.SUITE
suite - Variable in class Sequenic.T3.Sequence.Datatype.SUITE_RT_info
suite(boolean) - Method in class Sequenic.T3.T3SuiteGenAPI: The worker of test; to produce a single suite.
SUITE_RT_info - Class in Sequenic.T3.Sequence.Datatype
SUITE_RT_info(SUITE, ObjectCoverage) - Constructor for class Sequenic.T3.Sequence.Datatype.SUITE_RT_info
suiteAPI - Variable in class Sequenic.T3.ReplayCmd
SuiteAPI - Class in Sequenic.T3: Provides some basic APIs for suite, such as to load and replay suites.
SuiteAPI() - Constructor for class Sequenic.T3.SuiteAPI
SuiteAPI(Config) - Constructor for class Sequenic.T3.SuiteAPI
SuiteAPI2 - Class in Sequenic.T3: A slight extension of SuiteAPI, with common methods needed by subclasses, but require java-8, or depends directly or indirectly on classes that need java-8.
SuiteAPI2(Config) - Constructor for class Sequenic.T3.SuiteAPI2
SuiteG - Class in Sequenic.T3.Generator.SeqAndSuite
SuiteG(TestingScope) - Constructor for class Sequenic.T3.Generator.SeqAndSuite.SuiteG
suitename - Variable in class Sequenic.T3.Sequence.Datatype.SUITE
suites(boolean, String) - Method in class Sequenic.T3.T3SuiteGenAPI: Generate test suites for the CUT, and saving the resulting suites.
suiteSizeMultiplierPerGoal - Variable in class Sequenic.T3.Config

T

T3API - Variable in class Sequenic.T3.T3Cmd
T3Cmd - Class in Sequenic.T3: T3 command line tool.
T3defaultSuiteGenerator - Variable in class Sequenic.T3.T3SuiteGenAPI
T3Exception - Exception in Sequenic.T3: To represent issues in T3's own algorithm; so this exception is thrown by T3 itself.
T3Exception(String) - Constructor for exception Sequenic.T3.T3Exception
T3Exception(String, Throwable) - Constructor for exception Sequenic.T3.T3Exception
T3loggerName - Static variable in class Sequenic.T3.CONSTANTS
T3Random - Class in Sequenic.T3
T3Random() - Constructor for class Sequenic.T3.T3Random
T3SeqG - Class in Sequenic.T3.Generator.SeqAndSuite: T3's standard generators for generating full test sequences.
T3SeqG(Pool, TestingScope, int, Generator<PARAM, STEP>) - Constructor for class Sequenic.T3.Generator.SeqAndSuite.T3SeqG
T3SuiteG - Class in Sequenic.T3.Generator.SeqAndSuite: Provide a bunch of T3's standard generators for test-suites.
T3SuiteG(TestingScope, Function<Pool, Generator<PARAM, STEP>>) - Constructor for class Sequenic.T3.Generator.SeqAndSuite.T3SuiteG
T3SuiteGenAPI - Class in Sequenic.T3: This class provides top-level APIs to test a class.
T3SuiteGenAPI(Function<ImplementationMap, Function<Pool, Generator<PARAM, STEP>>>, Config, Class...) - Constructor for class Sequenic.T3.T3SuiteGenAPI
take(String, int) - Static method in class Sequenic.T3.Examples.Staticx.StringUtils
target - Variable in class Sequenic.T3.Sequence.Datatype.METHOD
test1(I) - Method in class Sequenic.T3.Examples.ParameterizedTypes.MyMap
test2(K) - Method in class Sequenic.T3.Examples.ParameterizedTypes.MyMap
test3(K) - Method in class Sequenic.T3.Examples.ParameterizedTypes.MyMap
test4(Collection<? extends Integer>) - Method in class Sequenic.T3.Examples.ParameterizedTypes.MyMap
test5(Collection<? super String>) - Method in class Sequenic.T3.Examples.ParameterizedTypes.MyMap
testingFromTheSamePackagePespective - Variable in class Sequenic.T3.TestingScope: When true (default), will include all non-private members in the testing scope; else only public members are included.
testingscope - Variable in class Sequenic.T3.Generator.Step.METHODMG
testingScope - Variable in class Sequenic.T3.Generator.Step.ObjectUnderTestMG
testingscope - Variable in class Sequenic.T3.Generator.Step.UPDATE_FIELDMG
TestingScope - Class in Sequenic.T3: Representing the constructors, methods, and fields that are to be included in testing.
TestingScope(ImplementationMap, Class) - Constructor for class Sequenic.T3.TestingScope
text(String) - Static method in class Sequenic.T3.utils.PP: To make a PP containing a single line of string as its only content.
time - Variable in class Sequenic.T3.Examples.Abstractx.Vehicle
timeStamp - Variable in class Sequenic.T3.Sequence.Datatype.SUITE
toString() - Method in class Sequenic.T3.JavaType.JTfun
toString() - Method in class Sequenic.T3.JavaType.JTvar
toString() - Method in class Sequenic.T3.JavaType.Jwildcard
toString() - Method in class Sequenic.T3.Pool
toString() - Method in class Sequenic.T3.Sequence.Datatype.CONST
toString() - Method in class Sequenic.T3.Sequence.Datatype.CONSTRUCT_COLLECTION
toString() - Method in class Sequenic.T3.Sequence.Datatype.CONSTRUCTOR
toString() - Method in class Sequenic.T3.Sequence.Datatype.METHOD
toString() - Method in class Sequenic.T3.Sequence.Datatype.REF
toString() - Method in class Sequenic.T3.Sequence.Datatype.UPDATE_FIELD
toString() - Method in class Sequenic.T3.TestingScope
toString() - Method in class Sequenic.T3.utils.Maybe
TT - Static variable in class Sequenic.T3.Oracle.Oracle
ty - Variable in class Sequenic.T3.Sequence.Datatype.PARAM
typeOfObjectUnderTest - Variable in class Sequenic.T3.Pool
tySubsts - Variable in class Sequenic.T3.Sequence.Datatype.SEQ_RT_info: Type substitution to be used for the entire sequence.

U

unfriend(Person) - Method in class Sequenic.T3.Examples.Friends.Person
UnguardedValue(Function<Unit, Serializable>) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators: To generate a value, using the function g.
uniform() - Method in class Sequenic.T3.Generator.Value.BoolMG: Construct a bool generator that will randomly and uniformly generates boolean values.
uniform(int, int) - Method in class Sequenic.T3.Generator.Value.ByteMG: Construct a byte generator that will randomly and uniformly generates bytes between the specified lowerbound (inclusive) and upperbound (exclusive).
uniform(int, int) - Method in class Sequenic.T3.Generator.Value.IntMG: Construct an int generator that will randomly and uniformly generates ints between the specified lowerbound (inclusive) and upperbound (exclusive).
uniform(int) - Method in class Sequenic.T3.Generator.Value.IntMG: Construct a int generator, that will randomly and uniformly generates ints between (and inclusive) -k and k.
uniform(int, int) - Method in class Sequenic.T3.Generator.Value.LongMG: Construct a long-generator, that randomly and uniformly generates longs between the specified integer lower (inclusive) and upper (exclusive) bounds.
uniform(int, int) - Method in class Sequenic.T3.Generator.Value.ShortMG: Construct an short generator that will randomly and uniformly generates shorts between the specified lowerbound (inclusive) and upperbound (exclusive).
uniformAlpha() - Method in class Sequenic.T3.Generator.Value.CharMG
uniformNum() - Method in class Sequenic.T3.Generator.Value.CharMG
uniformPrintableASCII() - Method in class Sequenic.T3.Generator.Value.CharMG
uniformUTF16(int, int) - Method in class Sequenic.T3.Generator.Value.CharMG: Construct a UTF16 char generator that will randomly and uniformly generates chars whose codes are between the specified integer lowerbound (inclusive) and upperbound (exclusive).
union(SUITE, SUITE) - Static method in class Sequenic.T3.Sequence.Datatype.SUITE: Destructive Union of two suites.
Unit - Class in Sequenic.T3.utils
Unit() - Constructor for class Sequenic.T3.utils.Unit
until(Predicate<STEP_RT_info>, int, Generator<SEQ_RT_info, STEP>, Class, Pool) - Static method in class Sequenic.T3.Generator.Step.STEPexec: Try to generate a step that when executed does not fail, and furthermore satisfies the given requirement.
UPDATE_FIELD - Class in Sequenic.T3.Sequence.Datatype: This represents a STEP where we update a field of a target object.
UPDATE_FIELD(Field, STEP) - Constructor for class Sequenic.T3.Sequence.Datatype.UPDATE_FIELD
UPDATE_FIELD() - Constructor for class Sequenic.T3.Sequence.Datatype.UPDATE_FIELD
UPDATE_FIELDMG - Class in Sequenic.T3.Generator.Step
UPDATE_FIELDMG(TestingScope, Generator<PARAM, STEP>) - Constructor for class Sequenic.T3.Generator.Step.UPDATE_FIELDMG
upperbounds - Variable in class Sequenic.T3.JavaType.JTvar
upperbounds - Variable in class Sequenic.T3.JavaType.Jwildcard
useConstructor(Constructor) - Method in class Sequenic.T3.Generator.Step.ObjectUnderTestMG
useConstructor(Class...) - Method in class Sequenic.T3.Generator.Step.ObjectUnderTestMG
useConstructor(FUN<Generator<PARAM, STEP>>) - Method in class Sequenic.T3.Generator.Value.ObjectMG: Produces a generator that generates a call to a public constructor.
useCreationMethod(Method) - Method in class Sequenic.T3.Generator.Step.ObjectUnderTestMG
useCreationMethod(String, Class...) - Method in class Sequenic.T3.Generator.Step.ObjectUnderTestMG
useCreatorMethod(FUN<Generator<PARAM, STEP>>) - Method in class Sequenic.T3.Generator.Value.ObjectMG: Produces a generator that generates a call to public creator method.
useSubclassConstructor() - Method in class Sequenic.T3.Generator.Step.ObjectUnderTestMG

V

val - Variable in class Sequenic.T3.Sequence.Datatype.CONST
val - Variable in class Sequenic.T3.Sequence.Datatype.UPDATE_FIELD
val - Variable in class Sequenic.T3.utils.Maybe
valueGenerator - Variable in class Sequenic.T3.Generator.SeqAndSuite.AbstractSeqGenerator
valueGenerator - Variable in class Sequenic.T3.Generator.Step.METHODMG
valueGenerator - Variable in class Sequenic.T3.Generator.Step.ObjectUnderTestMG
valueGenerator - Variable in class Sequenic.T3.Generator.Step.UPDATE_FIELDMG
valueMetaGenerator - Variable in class Sequenic.T3.CustomSuiteGenAPI
valueMetaGenerator - Variable in class Sequenic.T3.Generator.SeqAndSuite.T3SuiteG
valueMetaGenerator - Variable in class Sequenic.T3.T3SuiteGenAPI
ValueMG - Class in Sequenic.T3.Generator.Value: Provide some examples of value generators.
ValueMG(int, int, ImplementationMap) - Constructor for class Sequenic.T3.Generator.Value.ValueMG
ValueMGCombinators - Class in Sequenic.T3.Generator.Value
ValueMGCombinators() - Constructor for class Sequenic.T3.Generator.Value.ValueMGCombinators
valueOf(String) - Static method in enum Sequenic.T3.Examples.Enum1: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum Sequenic.T3.utils.MyEnum: Returns the enum constant of this type with the specified name.
values() - Static method in enum Sequenic.T3.Examples.Enum1: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum Sequenic.T3.utils.MyEnum: Returns an array containing the constants of this enum type, in the order they are declared.
Vehicle - Class in Sequenic.T3.Examples.Abstractx
Vehicle() - Constructor for class Sequenic.T3.Examples.Abstractx.Vehicle
veryCompactShow - Static variable in class Sequenic.T3.utils.Show: When a class C is listed here, then when showing an instance of C we will only show its name (its internal state will not be shown at all).
violating - Variable in class Sequenic.T3.Sequence.Datatype.SUITE_RT_info: Executed sequences that throws non-assumptive exceptions.
Violation - Error in Sequenic.T3: When a test sequence throws an exception, when T3 is configured to re-throw exceptions, it will be wrapped inside this Violation class, so that we can distinguish it from exception thrown by T3 itself.
Violation(String) - Constructor for error Sequenic.T3.Violation
Violation(String, Throwable) - Constructor for error Sequenic.T3.Violation
Violation(Throwable) - Constructor for error Sequenic.T3.Violation

W

WithChance(double) - Method in interface Sequenic.T3.Generator.Generator
WithPreCondition(Predicate<Requirement>) - Method in interface Sequenic.T3.Generator.Generator
WithPreRequirement(Predicate<Requirement>) - Method in interface Sequenic.T3.Generator.Generator

X

x - Variable in class Sequenic.T3.Examples.Abstractx.Vehicle

A B C D E F G H I J K L M N O P Q R S T U V W X