- 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() - Method in class Sequenic.T3.Examples.InterfaceAndAbstract.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.FieldPairsCoverage
-
Add the pairs covered by the given object to the set of covered pairs.
- addFromImapFile(ClassLoader, String) - Method in class Sequenic.T3.ImplementationMap
-
Read entries from an imap.txt file.
- addInstanceOfConstants(Class...) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2SuiteGen
-
- addSeededSPrimitives(String...) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2SuiteGen
-
Extend the list of seeded primitives with the specified constants.
- addTarget(SingleTarget) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.Worklist
-
To initially add targets to the worklist, before it is being used.
- ADT() - Method in class Sequenic.T3.T3SuiteGenAPI
-
- 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.
- all(Predicate<STEP>) - Method in class Sequenic.T3.Sequence.Datatype.SEQ
-
- all(Predicate<SEQ>) - Method in class Sequenic.T3.Sequence.Datatype.SUITE
-
- allMembers() - Method in class Sequenic.T3.ImplementationMap.ConcurrentSet
-
- allMethodpairs - Variable in class Sequenic.T3.Info.FunctionalCoverage
-
- allpairs - Variable in class Sequenic.T3.Info.FieldPairsCoverage
-
A set of integers, encoding all possible pairs of abstracted values
over the fields of CUT.
- allPairs - Variable in class Sequenic.T3.Info.FunctionalCoverage
-
- alphaNum() - Method in class Sequenic.T3.Generator.Value.CharMG
-
- alphaNum_dashSpAtDot() - Method in class Sequenic.T3.Generator.Value.CharMG
-
- always(StepPredicate) - Static method in class Sequenic.T3.Info.SeqPredicate
-
- always(SeqPredicate.LTL) - Static method in class Sequenic.T3.Info.SeqPredicate
-
- analyze() - Method in class Sequenic.T3.Info.CodeCoverage
-
Analyze the collected runtime data,and calculate coverage information.
- AND() - Constructor for class Sequenic.T3.Examples.InnerClass.Logic.AND
-
- AND(Logic) - Constructor for class Sequenic.T3.Examples.InnerClass.Logic.AND
-
- AND(Logic.Formula, Logic.Formula) - Constructor for class Sequenic.T3.Examples.InnerClass.Logic.AND
-
- AND(Oracle) - Method in class Sequenic.T3.Oracle.Oracle
-
- andPost(Predicate<STEP_RT_info>) - Method in class Sequenic.T3.Info.StepPredicate
-
- andPostCond(Predicate<STEP_RT_info>) - Method in class Sequenic.T3.Info.StepPredicate
-
- Apply(Class, String, Supplier<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
-
- Arrow() - Constructor for class Sequenic.T3.DerivativeSuiteGens.Gen2.ObjStructure.Arrow
-
- 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
-
- calculate(SUITE) - Method in class Sequenic.T3.Info.FunctionalCoverage
-
- Car - Class in Sequenic.T3.Examples.InterfaceAndAbstract
-
- Car(int) - Constructor for class Sequenic.T3.Examples.InterfaceAndAbstract.Car
-
- chanceToPickNeighbor - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2ValueMG
-
- chanceToPickPreviousPrimitive - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2ValueMG
-
- chanceToPickSeededPrimitive - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2ValueMG
-
- Char(Supplier<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() - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2.TimeBudget
-
- 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.
- classcov - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.SingleTarget
-
- classdecl2JType(Class) - Static method in class Sequenic.T3.JavaType.JTypeUtils
-
Use this to convert a class-declaration to a JType.
- 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.Info.CodeCoverage
-
Clear the store raw runtime data, as well as the upper level coverage data stores.
- 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
-
- clearRawRTdata() - Method in class Sequenic.T3.Info.CodeCoverage
-
Clear the stored raw runtime data.
- clone() - Method in class Sequenic.T3.Sequence.Datatype.SEQ
-
Deep cloning this sequence, using serialization.
- clone(T) - Static method in class Sequenic.T3.utils.SerializationUtils
-
Return a deep-clone of an object.
- clone_withoutOracles() - Method in class Sequenic.T3.Sequence.Datatype.CONST
-
- clone_withoutOracles() - Method in class Sequenic.T3.Sequence.Datatype.CONSTRUCT_COLLECTION
-
- clone_withoutOracles() - Method in class Sequenic.T3.Sequence.Datatype.CONSTRUCTOR
-
- clone_withoutOracles() - Method in class Sequenic.T3.Sequence.Datatype.INSTRUMENT
-
- clone_withoutOracles() - Method in class Sequenic.T3.Sequence.Datatype.METHOD
-
- clone_withoutOracles() - Method in class Sequenic.T3.Sequence.Datatype.REF
-
- clone_withoutOracles() - Method in class Sequenic.T3.Sequence.Datatype.SEQ
-
Create a clone of this sequence.
- clone_withoutOracles() - Method in class Sequenic.T3.Sequence.Datatype.STEP
-
This creates a clone of this STEP.
- clone_withoutOracles() - Method in class Sequenic.T3.Sequence.Datatype.SUITE
-
Create a clone of this suite.
- clone_withoutOracles() - Method in class Sequenic.T3.Sequence.Datatype.UPDATE_FIELD
-
- 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
-
- codeCoverage - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2SuiteGen
-
- CodeCoverage - Class in Sequenic.T3.Info
-
A class that can provide on-line code coverage information on the CUT.
- CodeCoverage(JacocoInstrumenter) - Constructor for class Sequenic.T3.Info.CodeCoverage
-
Create an instance of code-coverage runtime tracking.
- CodeCoverage.CodeCoverageInfo - Class in Sequenic.T3.Info
-
An instance of this class is produced by analyze(), and can be queried
for various coverage information at the moment analyze() is invoked.
- CodeCoverage.CumulativeExecDataStore - Class in Sequenic.T3.Info
-
A variation of Jacoco's standard ExecutionDataStore, which is cumulative.
- 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
-
- collectionSize - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2ValueMG
-
- collectRTdata() - Method in class Sequenic.T3.Info.CodeCoverage
-
This will merge/add raw runtime data of CUT's executions since
the last call to clearRawRTdata() (or since the start, if there
has been no such call), into the existing coverage data managed
by cumulativeExecDataStore.
- con - Variable in class Sequenic.T3.Sequence.Datatype.CONSTRUCTOR
-
- concat(String, String) - Static method in class Sequenic.T3.Examples.Staticx.StringUtils
-
- ConcurrentSet() - Constructor for class Sequenic.T3.ImplementationMap.ConcurrentSet
-
- 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.DerivativeSuiteGens.Gen2.G2
-
- config - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.SingleTarget
-
- 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.
- configureInstanceOfConstants(Class...) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2ValueMG
-
- configureSeededSPrimitives(String...) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2SuiteGen
-
Override the list of seeded primitives with the given constants.
- configureSeededSPrimitives(String...) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2ValueMG
-
To configure the list of seeded primitive values and seeded strings.
- 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
-
- constlambdaMG(FUN<Generator<PARAM, STEP>>) - Method in class Sequenic.T3.Generator.Value.LamdaMG
-
- 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.
- count() - Method in class Sequenic.T3.Info.SuiteQuery
-
- countDifferentTargetObjs(SUITE, Class, int) - Static method in class Sequenic.T3.DerivativeSuiteGens.Gen2.ObjStructure
-
Count the number of unique normalized ObjStructure representations of the final
states of the target objects produced by the given test suite S.
- coverage - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2SuiteGen.Prefixes
-
- 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.FieldPairsCoverage
-
- coveredPairs - Variable in class Sequenic.T3.Info.FunctionalCoverage
-
- 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
-
- creationGen - Variable in class Sequenic.T3.Generator.SeqAndSuite.T3SeqG
-
- 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
-
- crossover(Class, SUITE, int) - Static method in class Sequenic.T3.Sequence.Datatype.Mutation
-
Perform a single round of cross-over over the sequences in the given suite.
- 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.
- CumulativeExecDataStore(ExecutionDataStore) - Constructor for class Sequenic.T3.Info.CodeCoverage.CumulativeExecDataStore
-
- currentLevel - Variable in class Sequenic.T3.Generator.Value.ObjectMG
-
Indicates what the current level in the tree of nested object creation.
- currentPrefixes - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2SuiteGen
-
Hold the prefixes generated so far, for ADT testing.
- 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.FieldPairsCoverage
-
- 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
-
- CUTrootDir - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2Config
-
- 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
-
- G2 - Class in Sequenic.T3.DerivativeSuiteGens.Gen2
-
- G2(String, G2Config) - Constructor for class Sequenic.T3.DerivativeSuiteGens.Gen2.G2
-
Create an instance of G2 test suites generator.
- G2.TimeBudget - Class in Sequenic.T3.DerivativeSuiteGens.Gen2
-
- G2.TimeBudgetException - Exception in Sequenic.T3.DerivativeSuiteGens.Gen2
-
- G2_forSBST2016 - Class in Sequenic.T3.DerivativeSuiteGens.Gen2
-
- G2_forSBST2016() - Constructor for class Sequenic.T3.DerivativeSuiteGens.Gen2.G2_forSBST2016
-
- G2Config - Class in Sequenic.T3.DerivativeSuiteGens.Gen2
-
- G2Config() - Constructor for class Sequenic.T3.DerivativeSuiteGens.Gen2.G2Config
-
- G2Pool() - Constructor for class Sequenic.T3.DerivativeSuiteGens.Gen2.G2ValueMG.G2Pool
-
- g2sg - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2
-
The worker generator.
- g2sg - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.SingleTarget
-
- G2SuiteGen - Class in Sequenic.T3.DerivativeSuiteGens.Gen2
-
Provides basic generators to generate suite for a given method or constructor of a
CUT.
- G2SuiteGen(String, String) - Constructor for class Sequenic.T3.DerivativeSuiteGens.Gen2.G2SuiteGen
-
- G2SuiteGen(String, String, String) - Constructor for class Sequenic.T3.DerivativeSuiteGens.Gen2.G2SuiteGen
-
Create an instance of this G2-generator.
- G2SuiteGen.Prefixes - Class in Sequenic.T3.DerivativeSuiteGens.Gen2
-
To hold test sequences that are to be used as prefixes in ADT testing.
- G2ValueMG - Class in Sequenic.T3.DerivativeSuiteGens.Gen2
-
Terminology: an SPrimitive value is either a Java primitive value or a string.
- G2ValueMG(ImplementationMap) - Constructor for class Sequenic.T3.DerivativeSuiteGens.Gen2.G2ValueMG
-
- G2ValueMG.G2Pool - Class in Sequenic.T3.DerivativeSuiteGens.Gen2
-
Use a special Pool for generating values/sequences, to also keep a history of used
strings and primitive values in the pool.
- GaussRandom - Class in Sequenic.T3.utils
-
- GaussRandom() - Constructor for class Sequenic.T3.utils.GaussRandom
-
- GaussRandom(long) - Constructor for class Sequenic.T3.utils.GaussRandom
-
- 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
-
- GenCombinators() - Constructor for class Sequenic.T3.Generator.GenCombinators
-
- genConstantBiFunction(A, B, C) - Static method in class Sequenic.T3.Generator.SomeObjGenerators
-
- genConstantFunction(A, B) - Static method in class Sequenic.T3.Generator.SomeObjGenerators
-
- genConstantPredicate(A, boolean) - Static method in class Sequenic.T3.Generator.SomeObjGenerators
-
- generate() - Static method in class Sequenic.T3.DerivativeSuiteGens.Gen2.Test_G2SuiteGen_forConstructor
-
- generate(Requirement) - Method in interface Sequenic.T3.Generator.Generator
-
Generate an object an instance of T.
- generateAndRefine() - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2
-
Generate test suites for each method/constructor (target) of the CUT.
- generateFreshSuite() - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.EvoSingleTarget
-
- generateFreshSuite() - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.SingleTarget
-
This is used to generate a fresh suite for this target.
- generateJunitForEachSuite - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2Config
-
- generateSuiteForASingleMethod(SUITE, String, int) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2SuiteGen
-
- generateSuiteForASingleMethod(SUITE, Method, int) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2SuiteGen
-
- generateSuiteForASingleStaticMethod(Method, int) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2SuiteGen
-
Generate a test suite to test a single static method, in a non-ADT mode.
- generateSuiteForASingleStaticMethod(String, int) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2SuiteGen
-
Generate a test suite targeting all static methods whose names contain
the given string.
- generateSuiteForConstructor(Constructor, int) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2SuiteGen
-
Generate a test suite for a specific constructor c of the CUT.
- generateSuiteForConstructor(int) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2SuiteGen
-
Generate a test suite of all constructors of the CUT.
- generateSuites(String, G2Config, long) - Static method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2
-
This will generate test suites for the given CUT.
- 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
-
- getAccessibleConstructors() - Method in class Sequenic.T3.TestingScope
-
- getAccessibleFields() - Method in class Sequenic.T3.TestingScope
-
Get all fields that are visible and accessible from the client package.
- getAccessibleMethods() - Method in class Sequenic.T3.TestingScope
-
Return all methods of C that are visible and accessible.
- getAllConcreteSuperClasses(Class) - Static method in class Sequenic.T3.Reflection.Reflection
-
To obtain all non-interface and non-abstract superclasses of a given
class.
- getAllConstansts() - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.StaticInfo
-
- getAllInstanceOfClasses() - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.StaticInfo
-
- 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.
- getArrayDimension(JType) - Static method in class Sequenic.T3.JavaType.JTypeUtils
-
- getClassCov(String, String) - Method in class Sequenic.T3.Info.CodeCoverage.CodeCoverageInfo
-
To get coverage count over the whole CUT.
- getClassfileContent(String, String) - Static method in class Sequenic.T3.Info.JacocoInstrumenter
-
Get the binary content of a class with the given name, it should return a non-empty
byte[].
- getClassfilePath(String) - Static method in class Sequenic.T3.Info.JacocoInstrumenter
-
Turn "A.B.C" to "A/B/C.class"
- getClassFromName(String) - Static method in class Sequenic.T3.Reflection.Reflection
-
- getCode() - Method in class Sequenic.T3.Examples.Item
-
- getConstants(Method) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.StaticInfo
-
- getConstants(Constructor) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.StaticInfo
-
- getConstantsOfPrivateMethods() - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.StaticInfo
-
- getConstructors() - Method in class Sequenic.T3.Sequence.Datatype.SUITE
-
- getCov(String, Method, String) - Method in class Sequenic.T3.Info.CodeCoverage.CodeCoverageInfo
-
- getCov(String, Constructor, String) - Method in class Sequenic.T3.Info.CodeCoverage.CodeCoverageInfo
-
- getCov(String, String, String, String) - Method in class Sequenic.T3.Info.CodeCoverage.CodeCoverageInfo
-
To get the coverage count of methods with the given name and type
signature.If the type signature is left null, then all methods with
the same name will be counted along.
- getCoverageInfo() - Method in class Sequenic.T3.Info.CodeCoverage
-
- getCUTname() - Method in class Sequenic.T3.Info.JacocoInstrumenter
-
- getDeepestArrayElementTy(JType) - Static method in class Sequenic.T3.JavaType.JTypeUtils
-
- getEmail() - Method in class Sequenic.T3.Examples.Friends.Person
-
- getImprovement() - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.SingleTarget
-
Return the sum of the difference between the last target and class
coverage, and the previous one.
- getIndexOfObjectUnderTest() - Method in class Sequenic.T3.Pool
-
- getInstanceOfClasses(Method) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.StaticInfo
-
- getInstanceOfClasses(Constructor) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.StaticInfo
-
- getInstanceOfClassesOfPrivateMethods() - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.StaticInfo
-
- getInstrumentedCUT() - Method in class Sequenic.T3.Info.JacocoInstrumenter
-
- getJacocoLogger() - Method in class Sequenic.T3.Info.JacocoInstrumenter
-
- getLastClassCov() - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.SingleTarget
-
- getLastTargetCov() - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.SingleTarget
-
- getMaxRefOnPrefix(SEQ, int) - Static method in class Sequenic.T3.Sequence.Datatype.STEPutils
-
Return the max REF index of all steps in the prefix of a given sequence.
- getMethod() - Method in class Sequenic.T3.Sequence.Datatype.SUITE
-
- getMethodOrConstrName(STEP) - Static method in class Sequenic.T3.Sequence.Datatype.STEPutils
-
- getMinRefOnSuffix(SEQ, int) - Static method in class Sequenic.T3.Sequence.Datatype.STEPutils
-
Return the minimum REF index of all steps in the suffix of a given sequence.
- getName() - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.SingleTarget
-
- getName() - Method in class Sequenic.T3.Sequence.Datatype.UPDATE_FIELD
-
- getNext(double) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.Worklist
-
Retrieve the next target from the work list.
- getNext(double) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.WorklistLowcovFirst
-
- getNext(double) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.WorklistRandom
-
- getNumOfParams() - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.SingleTarget
-
Return the number of parameters of the target method/constructor.
- getObjectUnderTest() - Method in class Sequenic.T3.Pool
-
- getOriginalCUTcode() - Method in class Sequenic.T3.Info.JacocoInstrumenter
-
- getPrefixes() - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2SuiteGen
-
- getPrice() - Method in class Sequenic.T3.Examples.Item
-
- getPublicCreatorLikeMethods(Class, Class) - Static method in class Sequenic.T3.ImplementationMap
-
Return a list of public static methods declared in Chost, that can construct
an object of class C, and does not take C itself as parameter.
- 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.
- getRefs(STEP) - Static method in class Sequenic.T3.Sequence.Datatype.STEPutils
-
- getRnd() - Method in class Sequenic.T3.ImplementationMap.ConcurrentSet
-
- getRnd() - Static method in class Sequenic.T3.T3Random
-
- getRndConstructor(Class) - Method in class Sequenic.T3.ImplementationMap
-
- getRndCreationyMethod(Class) - Method in class Sequenic.T3.ImplementationMap
-
- getRndImp(Class) - Method in class Sequenic.T3.ImplementationMap
-
- getScanned() - Method in class Sequenic.T3.Reflection.ClassesScanner
-
- getSTEPName(STEP) - Static method in class Sequenic.T3.Sequence.Datatype.Xutils
-
- getSTEPParams(STEP) - Static method in class Sequenic.T3.Sequence.Datatype.Xutils
-
- getT3logger() - Method in class Sequenic.T3.SuiteAPI
-
- getTargetObjsStrutures(SUITE, Class, int) - Static method in class Sequenic.T3.DerivativeSuiteGens.Gen2.ObjStructure
-
Return the list of unique normalized ObjStructure representations of the final states
of the target objects produced by the given test suite S.
- getTax() - Method in class Sequenic.T3.Examples.IncomeTax
-
- getTopClass(JType) - Static method in class Sequenic.T3.JavaType.JTypeUtils
-
Return the top class of a the type.
- getType(int) - Method in class Sequenic.T3.Pool
-
Return the type of the i-th object in the pool.
- getTypeMap() - Method in class Sequenic.T3.Pool
-
- 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, boolean, double, Method, Method) - Method in class Sequenic.T3.Generator.SeqAndSuite.T3SeqG
-
- grey_adt(int, int, boolean, 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, boolean, double, Method, Method) - Method in class Sequenic.T3.Generator.SeqAndSuite.T3SeqG
-
- grey_nonadt(int, int, boolean, 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
-
- If(Predicate<Requirement>) - Method in interface Sequenic.T3.Generator.Generator
-
- imap - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2SuiteGen
-
- 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.
- ImplementationMap.ConcurrentSet<T> - Class in Sequenic.T3
-
- ImplementationMap.Instantiation - Class in Sequenic.T3
-
This contains lists of public constructors and methods that can be used to
instantiate C from any location (so, publicly).
- impMap - Variable in class Sequenic.T3.SuiteAPI2
-
- impPost(Predicate<STEP_RT_info>) - Method in class Sequenic.T3.Info.StepPredicate
-
- impPostCond(Predicate<STEP_RT_info>) - Method in class Sequenic.T3.Info.StepPredicate
-
- ImpsMap - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2ValueMG
-
- 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 maps interfaces and abstract classes C to a set of concrete and instantiable
implementation classes D1,D2,...
- impsMap - Variable in class Sequenic.T3.TestingScope
-
The proposed concrete type of CUT.
- includeInheritedMembers - Variable in class Sequenic.T3.Config
-
- includeInheritedMembers - Variable in class Sequenic.T3.Generator.SeqAndSuite.T3SuiteG
-
- IncomeTax - Class in Sequenic.T3.Examples
-
- IncomeTax() - Constructor for class Sequenic.T3.Examples.IncomeTax
-
- IncomeTax(int, String) - Constructor for class Sequenic.T3.Examples.IncomeTax
-
- inconsistentExc - Variable in class Sequenic.T3.Sequence.Datatype.SUITE_RT_info
-
- incPrice(int) - Method in class Sequenic.T3.Examples.Item
-
- incrementallyGeneratePrefixes(int, int, int, int, int) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2SuiteGen
-
This will generate prefixes iteratively using generatePrefixes.
- incrementallyRefinePrefixes(int, int, int) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2SuiteGen
-
Incrementally refine current prefixes.
- 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
-
- info(SUITE) - Method in class Sequenic.T3.SuiteAPI2
-
- InitialIndentation - Variable in class Sequenic.T3.utils.Show
-
The initial indentation.
- initialize() - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.Worklist
-
To innitialize the worklist, before using it.
- injectOracles - Variable in class Sequenic.T3.Config
-
If regressionMode and this flag are true, this will automatically
inject oracles into the generated test-sequence.
- injectOracles - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2Config
-
- injectOracles - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2SuiteGen
-
- injectOracles(Class, boolean, int) - Method in class Sequenic.T3.Sequence.Datatype.ParallelSUITE
-
Enhance the non-failing sequences in the suite with injected oracles.
- injectOracles(Class, SEQ, int) - Method in class Sequenic.T3.Sequence.Datatype.SUITE
-
Enhance a sequence with injected oracles.
- injectOracles(Class, boolean, int) - 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.
- instanceOfConstants - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2ValueMG
-
A list of class names mentioned in (...
- 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
-
- instrumenter - Variable in class Sequenic.T3.Info.CodeCoverage
-
- Integer(Supplier<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
-
- isADT - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.SingleTarget
-
- 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
-
- isEmpty() - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.Worklist
-
- isEquilateral() - Method in class Sequenic.T3.Examples.Triangle1
-
- isFail() - Method in class Sequenic.T3.Sequence.Datatype.SEQ_RT_info
-
True if the execution passes a step that produces an exception.
- isFavoredOver(SingleTarget, SingleTarget) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.Worklist
-
This decides the order in which targets are sorted.
- isFavoredOver(SingleTarget, SingleTarget) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.WorklistLowcovFirst
-
- isfloatOrFloat(JType) - Static method in class Sequenic.T3.Generator.Value.FloatMG
-
- isFullyCovered(String) - Method in class Sequenic.T3.Info.CodeCoverage.CodeCoverageInfo
-
- isFullyCovered(String, Method) - Method in class Sequenic.T3.Info.CodeCoverage.CodeCoverageInfo
-
- isFullyCovered(String, Constructor) - Method in class Sequenic.T3.Info.CodeCoverage.CodeCoverageInfo
-
- isGoodEnough(SingleTarget) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.Worklist
-
Determine when a target's suite is considered to be good enough.
- isIntOrInteger(JType) - Static method in class Sequenic.T3.Generator.Value.IntMG
-
- isIsoleces() - Method in class Sequenic.T3.Examples.Triangle1
-
- 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
-
- isScalene() - Method in class Sequenic.T3.Examples.Triangle1
-
- isshortOrShort(JType) - Static method in class Sequenic.T3.Generator.Value.ShortMG
-
- isString(JType) - Static method in class Sequenic.T3.Generator.Value.StringMG
-
- isSuperclassOf(Class) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators
-
- isTriangle() - Method in class Sequenic.T3.Examples.Triangle1
-
- IStudent - Interface in Sequenic.T3.Examples.InterfaceAndAbstract
-
- 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
-
- Item - Class in Sequenic.T3.Examples
-
- Item() - Constructor for class Sequenic.T3.Examples.Item
-
- Item(String) - Constructor for class Sequenic.T3.Examples.Item
-
- 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
given predicate.
- m() - Method in class Sequenic.T3.Examples.Coba1
-
- main(String[]) - Static method in class Sequenic.T3.CustomSuiteGenAPI
-
- main(String[]) - Static method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2_forSBST2016
-
arg0 : generate or replayall
If arg0 is generate, then:
arg1 CUTname
arg2 CUTroot-directory
arg3 tracefile-directory
arg4 junitDir
arg5 time-budget
arg6 worklist-type: standard/random/lowcovfirst
arg7 trace-refinement-heuristic: random/evo
arg8 the maximum number of times each test-target will be refined
arg9 number of CPU cores
- main(String[]) - Static method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2SuiteGen
-
- main(String[]) - Static method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2ValueMG
-
- main(String[]) - Static method in class Sequenic.T3.DerivativeSuiteGens.Gen2.ObjStructure
-
- main(String[]) - Static method in class Sequenic.T3.DerivativeSuiteGens.Gen2.StaticInfo
-
- main(String[]) - Static method in class Sequenic.T3.DerivativeSuiteGens.Gen2.Test_CodeCoverage_onInnerClass
-
- main(String[]) - Static method in class Sequenic.T3.DerivativeSuiteGens.Gen2.Test_G2_forAbstractClass_andInterface
-
- main(String[]) - Static method in class Sequenic.T3.DerivativeSuiteGens.Gen2.Test_G2_forClass_withInnerClasses
-
- main(String[]) - Static method in class Sequenic.T3.DerivativeSuiteGens.Gen2.Test_G2_forTriangle
-
- main(String[]) - Static method in class Sequenic.T3.DerivativeSuiteGens.Gen2.Test_G2SuiteGen_forConstructor
-
- main(String[]) - Static method in class Sequenic.T3.DerivativeSuiteGens.Gen2.Test_G2SuiteGen_forCUTwith_constants
-
- main(String[]) - Static method in class Sequenic.T3.DerivativeSuiteGens.Gen2.Test_G2SuiteGen_forSingleMethod
-
- main(String[]) - Static method in class Sequenic.T3.DerivativeSuiteGens.Gen2.Test_G2SuiteGen_forSingleStaticMethod
-
- main(String[]) - Static method in class Sequenic.T3.DerivativeSuiteGens.Gen2.Test_G2SuiteGen_prefixes
-
- 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.NullMG
-
- 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.CodeCoverage
-
- main(String[]) - Static method in class Sequenic.T3.Info.FieldPairsCoverage
-
- main(String[]) - Static method in class Sequenic.T3.Info.JacocoInstrumenter
-
- main(String[]) - Static method in class Sequenic.T3.Info.SuiteQuery
-
- 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.Oracle.StrDumpEqOracle
-
- 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
-
- map(Function<SEQ, R>) - Method in class Sequenic.T3.Sequence.Datatype.SUITE
-
- 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.
- maximizePrefix - Variable in class Sequenic.T3.Config
-
If true will try to maximize the prefix to the specified maximum length.
- maximizePrefix - Variable in class Sequenic.T3.Generator.SeqAndSuite.T3SuiteG
-
- maxLevelOfObjectsNesting - Variable in class Sequenic.T3.Config
-
- maxLevelOfObjectsNesting - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2ValueMG
-
- maxNumberOfPairs - Variable in class Sequenic.T3.Config
-
Specify the max.
- maxNumberOfPairs - Variable in class Sequenic.T3.Generator.SeqAndSuite.T3SuiteG
-
- maxNumberOfRefinement - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.SingleTarget
-
- maxNumberOfRefinements_ofEachTarget - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2Config
-
- 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.DerivativeSuiteGens.Gen2.G2SuiteGen
-
- 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.DerivativeSuiteGens.Gen2.G2SuiteGen
-
- 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
-
- methodGen - Variable in class Sequenic.T3.Generator.SeqAndSuite.T3SeqG
-
- 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
-
- migrateTestSeq(Class, Class, SEQ) - Static method in class Sequenic.T3.Sequence.Datatype.Xutils
-
Clone the test sequence, such all steps (constructor call, method call, or field update) that
are declared in CUT0 new become steps based on CUT1.
- migrateTestSuite(Class, Class, SUITE) - Static method in class Sequenic.T3.Sequence.Datatype.Xutils
-
Clone the test suite, such all steps (constructor call, method call, or field update) that
are declared in CUT0 new become steps based on CUT1.
- minimumCovTobeHappy - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.SingleTarget
-
- minimumCovTobeHappy_ofEachTarget - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2Config
-
- 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.
- mkG2(String, G2Config) - Static method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2
-
Use this factory method to construct instances of G2 to generate test
suites for a given CUT.
- mkJunitTestFile(String, String, String, int, int, boolean, boolean) - Static method in class Sequenic.T3.Sequence.Datatype.SUITE
-
Generate a JUnit test file, that will load the given trace-file and replay it.
- mkSpace(int) - Static method in class Sequenic.T3.utils.StringFormater
-
- mkT3SuiteGenAPI(Generator<PARAM, STEP>, Config, Class...) - Static method in class Sequenic.T3.T3SuiteGenAPI
-
Factory method for compatibility with older code.
- move(int) - Method in class Sequenic.T3.Examples.InterfaceAndAbstract.Vehicle
-
- multiplier - Variable in class Sequenic.T3.Generator.SeqAndSuite.T3SuiteG
-
- Mutation - Class in Sequenic.T3.Sequence.Datatype
-
Utility to Mutate and cross over sequences.
- Mutation() - Constructor for class Sequenic.T3.Sequence.Datatype.Mutation
-
- 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<I extends J,J extends java.lang.Integer,K extends I> - Class in Sequenic.T3.Examples.ParameterizedTypes
-
- MyGenericClass1() - Constructor for class Sequenic.T3.Examples.ParameterizedTypes.MyGenericClass1
-
- MyGenericClass1b<I extends J,J extends java.lang.Integer & java.util.Set,K extends I> - 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<I extends java.util.Set<J>,J extends java.util.Set<I>> - Class in Sequenic.T3.Examples.ParameterizedTypes
-
These parameters have actually no solution.
- MyGenericClass2() - Constructor for class Sequenic.T3.Examples.ParameterizedTypes.MyGenericClass2
-
- MyGenericClass3<I extends java.util.LinkedList<J> & 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<I extends java.lang.Comparable,O extends I> - 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
-
- 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
-
- Range(int, int) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators
-
Randomly produce an integer in the range [low..high)
- 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
-
- refinementHeuristic - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2Config
-
- refinePrefixes() - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2
-
Generate the prefixes for ADT testing of the CUT.
- 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
-
- register(T) - Method in class Sequenic.T3.ImplementationMap.ConcurrentSet
-
- registerClass(Class) - Method in class Sequenic.T3.ImplementationMap
-
- 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.
- regressionMode - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2Config
-
- regressionMode - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2SuiteGen
-
- removeInstrumentation(List<STEP>) - Static method in class Sequenic.T3.Sequence.Datatype.Xutils
-
- removeInstrumentation(SEQ) - Static method in class Sequenic.T3.Sequence.Datatype.Xutils
-
- removeInstrumentation(SUITE) - Static method in class Sequenic.T3.Sequence.Datatype.Xutils
-
- render(int) - Method in class Sequenic.T3.utils.PP
-
To render this PP to a formatted string.
- replay() - Static method in class Sequenic.T3.DerivativeSuiteGens.Gen2.Test_G2SuiteGen_forConstructor
-
- replay(ClassLoader, SUITE) - Method in class Sequenic.T3.SuiteAPI
-
To replay a suite.
- replay(SUITE) - Method in class Sequenic.T3.SuiteAPI
-
- ReplayCmd - Class in Sequenic.T3
-
A command-line tool to replay suite-files.
- replayG2() - Static method in class Sequenic.T3.DerivativeSuiteGens.Gen2.Test_G2_forAbstractClass_andInterface
-
- replayG2() - Static method in class Sequenic.T3.DerivativeSuiteGens.Gen2.Test_G2_forClass_withInnerClasses
-
- replayG2() - Static method in class Sequenic.T3.DerivativeSuiteGens.Gen2.Test_G2_forTriangle
-
- replayG2() - Static method in class Sequenic.T3.DerivativeSuiteGens.Gen2.Test_G2SuiteGen_forCUTwith_constants
-
- 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 violation.
- 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(ClassLoader, SUITE) - Method in class Sequenic.T3.SuiteAPI2
-
- reportOut - Variable in class Sequenic.T3.Config
-
An output stream to print out report and statistics.
- reportVerbosity - Variable in class Sequenic.T3.Config
-
- reportWrite(String) - Method in class Sequenic.T3.Config
-
- reportWriteln(String) - Method in class Sequenic.T3.Config
-
- reset() - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2ValueMG.G2Pool
-
- reset() - Method in class Sequenic.T3.Info.CodeCoverage.CumulativeExecDataStore
-
Clear the execution information.
- reset() - Method in class Sequenic.T3.Info.FieldPairsCoverage
-
Clear the list of covered pairs.
- reset() - Method in class Sequenic.T3.Pool
-
To reset the pool to its initial empty state.
- resetCode() - Method in class Sequenic.T3.Examples.Item
-
- resetContinousNumbering() - Method in class Sequenic.T3.utils.Show
-
Reset the continous numbering.
- resetSeededConstants() - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2SuiteGen
-
Reset the list of seeded S-primitives to the list of constants specified
below, and the list of instanceOf constants is cleared.
- result - Variable in class Sequenic.T3.Sequence.Datatype.STEP.PreConditionCheckPlaceHolder
-
- 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.DerivativeSuiteGens.Gen2.G2ValueMG
-
- rnd - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.Worklist
-
- 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).
- rsplit(int) - Method in class Sequenic.T3.Sequence.Datatype.SUITE
-
Randomly split the suite into k parts, of size N/k.
- 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
-
- samples - Variable in class Sequenic.T3.Generator.Value.StringMG
-
- samples1() - Static method in class Sequenic.T3.Generator.Value.StringMG
-
- satisfied() - Method in class Sequenic.T3.Info.SuiteQuery
-
- save(String) - Method in class Sequenic.T3.Sequence.Datatype.SUITE
-
Save the suite in the given directory.
- save(String, String, boolean) - Method in class Sequenic.T3.Sequence.Datatype.SUITE
-
Save this suite in the given directory, with the given file name.
- save(String, boolean) - Method in class Sequenic.T3.Sequence.Datatype.SUITE
-
Save this suite into the given directory.
- save(String, Serializable) - Static method in class Sequenic.T3.utils.SerializationUtils
-
- saveSuite() - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.SingleTarget
-
Save the suite S to a trace file.
- scan() - Method in class Sequenic.T3.Reflection.ClassesScanner
-
- scanned - Variable in class Sequenic.T3.Reflection.ClassesScanner
-
- scope - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2SuiteGen
-
- 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
-
- seededSPrimitives - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2ValueMG
-
primitive values and strings that are seeded (more likely to be needed):
- seenCrash() - Method in class Sequenic.T3.Sequence.Datatype.SUITE_RT_info
-
- 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
-
- segmentGen - Variable in class Sequenic.T3.Generator.SeqAndSuite.T3SeqG
-
- 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
-
- SeqPredicate - Class in Sequenic.T3.Info
-
- SeqPredicate() - Constructor for class Sequenic.T3.Info.SeqPredicate
-
- 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.DerivativeSuiteGens.Gen2 - package Sequenic.T3.DerivativeSuiteGens.Gen2
-
- Sequenic.T3.Examples - package Sequenic.T3.Examples
-
- 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.InnerClass - package Sequenic.T3.Examples.InnerClass
-
- Sequenic.T3.Examples.InterfaceAndAbstract - package Sequenic.T3.Examples.InterfaceAndAbstract
-
- 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.Sequence.Datatype.Printer - package Sequenic.T3.Sequence.Datatype.Printer
-
- Sequenic.T3.utils - package Sequenic.T3.utils
-
- Serializable(Supplier<Serializable>) - Static method in class Sequenic.T3.Generator.Value.ValueMGCombinators
-
Just another name for UnguardedValue-generator.
- SerializationUtils - Class in Sequenic.T3.utils
-
Utilities to clone objects, to serialize objects to a file, and to load it back
from the file.
- SerializationUtils() - Constructor for class Sequenic.T3.utils.SerializationUtils
-
- setCode(String) - Method in class Sequenic.T3.Examples.Item
-
- setDirsToClasses(String...) - Method in class Sequenic.T3.Config
-
- setLowerBounds(JType...) - Method in class Sequenic.T3.JavaType.Jwildcard
-
- setX(float) - Method in class Sequenic.T3.Examples.Triangle1
-
- setY(float) - Method in class Sequenic.T3.Examples.Triangle1
-
- setZ(float) - Method in class Sequenic.T3.Examples.Triangle1
-
- Short(Supplier<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(StringBuilder, int) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.ObjStructure.Arrow
-
- show() - Method in class Sequenic.T3.Examples.CustomInputGenerator.Person.Email
-
- show(int) - Method in class Sequenic.T3.Info.SuiteQuery
-
Execute the query, and show the execution of the k-th sequence that results from
the query.
- show() - Method in class Sequenic.T3.Info.SuiteQuery
-
- 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.
- showDepth - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2Config
-
- showExcExecution - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2Config
-
- showFilter - Static variable in class Sequenic.T3.utils.Show
-
Let C be a class.
- showLength - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2Config
-
- showSuiteStatistics() - Method in class Sequenic.T3.Sequence.Datatype.SUITE
-
- showWithContNum(Object) - Method in class Sequenic.T3.utils.Show
-
Show the object o.
- SimpleClassLoader - Class in Sequenic.T3
-
A simple class loader to load classes from a given root-dir, which may fall
outside JVM's classpaths.
- SimpleClassLoader(String) - Constructor for class Sequenic.T3.SimpleClassLoader
-
- 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.
- singeMethodTestSuiteSize - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2Config
-
If not null will determine the number of test sequences generated when
targeting a single method (e.g.
- SingleTarget - Class in Sequenic.T3.DerivativeSuiteGens.Gen2
-
Provide a more powerful functionality (than G2SuiteGen) to generate a suite for
a single target, which is either a method or constructor in the CUT.
- SingleTarget() - Constructor for class Sequenic.T3.DerivativeSuiteGens.Gen2.SingleTarget
-
- SingleTarget(G2Config, G2SuiteGen, Method) - Constructor for class Sequenic.T3.DerivativeSuiteGens.Gen2.SingleTarget
-
- SingleTarget(G2Config, G2SuiteGen, Constructor) - Constructor for class Sequenic.T3.DerivativeSuiteGens.Gen2.SingleTarget
-
- size - Variable in class Sequenic.T3.Generator.Value.CollectionLikeMG
-
The size of arrays/collections/maps to generate.
- size() - Method in class Sequenic.T3.ImplementationMap.ConcurrentSet
-
- slowdown() - Method in class Sequenic.T3.Examples.InterfaceAndAbstract.Car
-
- slowdown() - Method in class Sequenic.T3.Examples.InterfaceAndAbstract.PaperVehicle
-
- slowdown() - Method in class Sequenic.T3.Examples.InterfaceAndAbstract.Vehicle
-
- 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
-
- some(Predicate<STEP>) - Method in class Sequenic.T3.Sequence.Datatype.SEQ
-
- SomeObject - Class in Sequenic.T3.utils
-
- SomeObject() - Constructor for class Sequenic.T3.utils.SomeObject
-
- SomeObjGenerators - Class in Sequenic.T3.Generator
-
Providing some standard generators; not very sophisticated, but can be borrowed.
- SomeObjGenerators() - Constructor for class Sequenic.T3.Generator.SomeObjGenerators
-
- sort() - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.Worklist
-
- speed - Variable in class Sequenic.T3.Examples.InterfaceAndAbstract.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
-
- start(long) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2.TimeBudget
-
- startingTime - Variable in class Sequenic.T3.T3Cmd
-
- startTimeBudget(long) - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2
-
- staticInfo - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2SuiteGen
-
- StaticInfo - Class in Sequenic.T3.DerivativeSuiteGens.Gen2
-
Provide some extended static information about a CUT.
- StaticInfo(TestingScope, ImplementationMap, String) - Constructor for class Sequenic.T3.DerivativeSuiteGens.Gen2.StaticInfo
-
Will search for the file staticinfo.txt in the given directory.
- 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.PreConditionCheckPlaceHolder - Class in Sequenic.T3.Sequence.Datatype
-
Added to facilitate suite query.
- 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
-
- stepMap(Function<STEP, R>) - Method in class Sequenic.T3.Sequence.Datatype.SUITE
-
- StepPredicate - Class in Sequenic.T3.Info
-
- StepPredicate() - Constructor for class Sequenic.T3.Info.StepPredicate
-
- StepPredicate.PreState - Class in Sequenic.T3.Info
-
- steps - Variable in class Sequenic.T3.Sequence.Datatype.SEQ
-
- STEPutils - Class in Sequenic.T3.Sequence.Datatype
-
- STEPutils() - Constructor for class Sequenic.T3.Sequence.Datatype.STEPutils
-
- stop() - Method in class Sequenic.T3.DerivativeSuiteGens.Gen2.G2.TimeBudget
-
- StrDump(Object) - Static method in class Sequenic.T3.Oracle.StrDumpEqOracle
-
Convert an object to a string to be used as an oracle.
- 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(Supplier<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
-
- stringtify(Object, int) - Static method in class Sequenic.T3.Oracle.StrDumpEqOracle
-
- stringtify(Object, boolean, int) - Static method in class Sequenic.T3.Oracle.StrDumpEqOracle
-
- 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 - Variable in class Sequenic.T3.DerivativeSuiteGens.Gen2.SingleTarget
-
- 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, FieldPairsCoverage) - 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
-
- SuiteQuery - Class in Sequenic.T3.Info
-
- SuiteQuery(SUITE) - Constructor for class Sequenic.T3.Info.SuiteQuery
-
- 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
-
- SumGens(Generator<R, T>...) - Static method in class Sequenic.T3.Generator.GenCombinators
-
Just another name for OneOf
- surpressPairwiseTesting - Variable in class Sequenic.T3.Config
-
If true will supress the pair-wise generation of test goals by T3.
- unfriend(Person) - Method in class Sequenic.T3.Examples.Friends.Person
-
- UnguardedValue(Supplier<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
-
- useCreationyMethod(FUN<Generator<PARAM, STEP>>) - Method in class Sequenic.T3.Generator.Value.ObjectMG
-
Produces a generator that generates a call to a random creator-like
method that can produce an instance of P.
- useSubclassConstructor() - Method in class Sequenic.T3.Generator.Step.ObjectUnderTestMG
-