Serialized Form

Package Sequenic.T3
- Class Sequenic.T3.ClassInvariantError extends java.lang.AssertionError implements Serializable
  
  serialVersionUID:
  
  1L
- Class Sequenic.T3.ExceptionOracleError extends OracleError implements Serializable
- Class Sequenic.T3.OracleError extends java.lang.Error implements Serializable
  
  serialVersionUID:
  
  1L
- Class Sequenic.T3.T3Exception extends java.lang.Exception implements Serializable
- Class Sequenic.T3.Violation extends java.lang.Error implements Serializable
  
  serialVersionUID:
  
  1L
Package Sequenic.T3.DerivativeSuiteGens.Gen2
- Class Sequenic.T3.DerivativeSuiteGens.Gen2.G2.TimeBudgetException extends java.lang.Exception implements Serializable
Package Sequenic.T3.Examples
- Class Sequenic.T3.Examples.BuildSortedList extends java.lang.Object implements Serializable
  - Serialized Fields
    - a
```
java.util.List<E> a
```
- Class Sequenic.T3.Examples.Coba1 extends java.lang.Object implements Serializable
- Class Sequenic.T3.Examples.IncomeTax extends java.lang.Object implements Serializable
  - Serialized Fields
    - salary
```
int salary
```
    - location
```
java.lang.String location
```
- Class Sequenic.T3.Examples.Item extends java.lang.Object implements Serializable
  - Serialized Fields
    - name
```
java.lang.String name
```
    - price
```
int price
```
    - code
```
java.lang.String code
```
- Class Sequenic.T3.Examples.SimpleIntSortedList extends java.lang.Object implements Serializable
  - Serialized Fields
    - s
```
java.util.LinkedList<E> s
```
    - max
```
java.lang.Integer max
```
- Class Sequenic.T3.Examples.SimpleSortedList extends java.lang.Object implements Serializable
  - Serialized Fields
    - s
```
java.util.LinkedList<E> s
```
    - max
```
java.lang.Comparable<T> max
```
- Class Sequenic.T3.Examples.Triangle1 extends java.lang.Object implements Serializable
  - Serialized Fields
    - x
```
float x
```
    - y
```
float y
```
    - z
```
float z
```
Package Sequenic.T3.Examples.Cycles
- Class Sequenic.T3.Examples.Cycles.Cycle extends java.lang.Object implements Serializable
  - Serialized Fields
    - item
```
java.lang.Object item
```
    - next
```
Cycle<T> next
```
- Class Sequenic.T3.Examples.Cycles.PersonCycle extends Cycle<T extends Person> implements Serializable
Package Sequenic.T3.Examples.Friends
- Class Sequenic.T3.Examples.Friends.Email extends java.lang.Object implements Serializable
  - Serialized Fields
    - email
```
java.lang.String email
```
    - mainemail
```
boolean mainemail
```
- Class Sequenic.T3.Examples.Friends.Person extends java.lang.Object implements Serializable
  - Serialized Fields
    - name
```
java.lang.String name
```
    - emails
```
java.util.List<E> emails
```
    - friends
```
java.util.List<E> friends
```
Package Sequenic.T3.JavaType
- Class Sequenic.T3.JavaType.JTfun extends java.lang.Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialization Methods
    - readObject
```
private void readObject(java.io.ObjectInputStream stream)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException,
                        java.lang.SecurityException
```
      For serialization.
      
      Throws:
      
      java.io.IOException
      
      java.lang.ClassNotFoundException
      
      java.lang.SecurityException
    - writeObject
```
private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException
```
      Throws:
      
      java.io.IOException
  - Serialized Fields
    - fun
```
java.lang.Class<T> fun
```
    - args
```
JType[] args
```
- Class Sequenic.T3.JavaType.JTvar extends java.lang.Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialization Methods
    - readObject
```
private void readObject(java.io.ObjectInputStream stream)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
```
      For serialization.
      
      Throws:
      
      java.io.IOException
      
      java.lang.ClassNotFoundException
    - writeObject
```
private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException
```
      Throws:
      
      java.io.IOException
  - Serialized Fields
    - name
```
java.lang.String name
```
    - upperbounds
```
JType[] upperbounds
```
- Class Sequenic.T3.JavaType.Jwildcard extends java.lang.Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialization Methods
    - readObject
```
private void readObject(java.io.ObjectInputStream stream)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
```
      For serialization.
      
      Throws:
      
      java.io.IOException
      
      java.lang.ClassNotFoundException
    - writeObject
```
private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException
```
      Throws:
      
      java.io.IOException
  - Serialized Fields
    - lowerbounds
```
JType[] lowerbounds
```
      According to Java Specification Language, Java-7, there can only be maximum one lower or one upper bound.
    - upperbounds
```
JType[] upperbounds
```
Package Sequenic.T3.Oracle
- Class Sequenic.T3.Oracle.Oracle extends java.lang.Object implements Serializable
  
  serialVersionUID:
  
  1L
- Class Sequenic.T3.Oracle.StrDumpEqOracle extends Oracle implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - expectedReceiverObj
```
Maybe<T> expectedReceiverObj
```
    - expectedReturnedObj
```
Maybe<T> expectedReturnedObj
```
    - expectedException
```
Maybe<T> expectedException
```
Package Sequenic.T3.Sequence.Datatype
- Class Sequenic.T3.Sequence.Datatype.CONST extends STEP implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialization Methods
    - readObject
```
private void readObject(java.io.ObjectInputStream stream)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
```
      For serialization.
      
      Throws:
      
      java.io.IOException
      
      java.lang.ClassNotFoundException
    - writeObject
```
private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException
```
      Throws:
      
      java.io.IOException
  - Serialized Fields
    - val
```
java.io.Serializable val
```
    - cty
```
JType cty
```
      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.
- Class Sequenic.T3.Sequence.Datatype.CONSTRUCT_COLLECTION extends STEP implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialization Methods
    - readObject
```
private void readObject(java.io.ObjectInputStream stream)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
```
      For serialization.
      
      Throws:
      
      java.io.IOException
      
      java.lang.ClassNotFoundException
    - writeObject
```
private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException
```
      For serialization.
      
      Throws:
      
      java.io.IOException
  - Serialized Fields
    - cty
```
JType cty
```
      The concrete type of the array/collection to generate.
    - elements
```
STEP[] elements
```
    - keys
```
STEP[] keys
```
- Class Sequenic.T3.Sequence.Datatype.CONSTRUCTOR extends STEP implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialization Methods
    - readObject
```
private void readObject(java.io.ObjectInputStream stream)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException,
                        java.lang.NoSuchMethodException,
                        java.lang.SecurityException
```
      For serialization.
      
      Throws:
      
      java.io.IOException
      
      java.lang.ClassNotFoundException
      
      java.lang.NoSuchMethodException
      
      java.lang.SecurityException
    - writeObject
```
private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException
```
      For serialization.
      
      Throws:
      
      java.io.IOException
  - Serialized Fields
    - cty
```
JType cty
```
      The concrete type of the object to create with this constructor.
    - con
```
java.lang.reflect.Constructor<T> con
```
    - params
```
STEP[] params
```
    - isObjectUnderTestCreationStep
```
boolean isObjectUnderTestCreationStep
```
      Flag to indicate whether the step is a step that creates the object under test.
    - oracle
```
Oracle oracle
```
      An oracle, if any. The default is just TT (true) as the oracle.
- Class Sequenic.T3.Sequence.Datatype.INSTRUMENT extends STEP implements Serializable
  
  serialVersionUID:
  
  1L
- Class Sequenic.T3.Sequence.Datatype.METHOD extends STEP implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialization Methods
    - readObject
```
private void readObject(java.io.ObjectInputStream stream)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException,
                        java.lang.NoSuchMethodException,
                        java.lang.SecurityException
```
      For serialization.
      
      Throws:
      
      java.io.IOException
      
      java.lang.ClassNotFoundException
      
      java.lang.NoSuchMethodException
      
      java.lang.SecurityException
    - writeObject
```
private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException
```
      For serialization.
      
      Throws:
      
      java.io.IOException
  - Serialized Fields
    - method
```
java.lang.reflect.Method method
```
    - target
```
STEP target
```
    - params
```
STEP[] params
```
    - isObjectUnderTestCreationStep
```
boolean isObjectUnderTestCreationStep
```
      Flag to indicate whether the step is a step that creates the object under test.
    - oracle
```
Oracle oracle
```
- Class Sequenic.T3.Sequence.Datatype.ParallelSUITE extends SUITE implements Serializable
  
  serialVersionUID:
  
  1L
- Class Sequenic.T3.Sequence.Datatype.REF extends STEP implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - index
```
int index
```
- Class Sequenic.T3.Sequence.Datatype.SEQ extends java.lang.Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - steps
```
java.util.LinkedList<E> steps
```
- Class Sequenic.T3.Sequence.Datatype.SUITE extends java.lang.Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - CUTname
```
java.lang.String CUTname
```
    - timeStamp
```
java.lang.String timeStamp
```
    - suitename
```
java.lang.String suitename
```
    - suite
```
java.util.List<E> suite
```
- Class Sequenic.T3.Sequence.Datatype.UPDATE_FIELD extends STEP implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialization Methods
    - readObject
```
private void readObject(java.io.ObjectInputStream stream)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException,
                        java.lang.NoSuchFieldException
```
      For serialization.
      
      Throws:
      
      java.io.IOException
      
      java.lang.ClassNotFoundException
      
      java.lang.NoSuchFieldException
    - writeObject
```
private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException
```
      Throws:
      
      java.io.IOException
  - Serialized Fields
    - field
```
java.lang.reflect.Field field
```
    - val
```
STEP val
```
    - oracle
```
Oracle oracle
```
Package Sequenic.T3.utils
- Class Sequenic.T3.utils.GaussRandom extends java.util.Random implements Serializable
- Class Sequenic.T3.utils.Maybe extends java.lang.Object implements Serializable
  
  serialVersionUID:
  
  1L
  - Serialized Fields
    - val
```
java.lang.Object val
```
- Class Sequenic.T3.utils.SomeObject extends java.lang.Object implements Serializable
  
  serialVersionUID:
  
  1L

Serialized Form

Package Sequenic.T3

Class Sequenic.T3.ClassInvariantError extends java.lang.AssertionError implements Serializable

Class Sequenic.T3.ExceptionOracleError extends OracleError implements Serializable

Class Sequenic.T3.OracleError extends java.lang.Error implements Serializable

Class Sequenic.T3.T3Exception extends java.lang.Exception implements Serializable

Class Sequenic.T3.Violation extends java.lang.Error implements Serializable

Package Sequenic.T3.DerivativeSuiteGens.Gen2

Class Sequenic.T3.DerivativeSuiteGens.Gen2.G2.TimeBudgetException extends java.lang.Exception implements Serializable

Package Sequenic.T3.Examples

Class Sequenic.T3.Examples.BuildSortedList extends java.lang.Object implements Serializable

Serialized Fields

a

Class Sequenic.T3.Examples.Coba1 extends java.lang.Object implements Serializable

Class Sequenic.T3.Examples.IncomeTax extends java.lang.Object implements Serializable

Serialized Fields

salary

location

Class Sequenic.T3.Examples.Item extends java.lang.Object implements Serializable

Serialized Fields

name

price

code

Class Sequenic.T3.Examples.SimpleIntSortedList extends java.lang.Object implements Serializable

Serialized Fields

s

max

Class Sequenic.T3.Examples.SimpleSortedList extends java.lang.Object implements Serializable

Serialized Fields

s

max

Class Sequenic.T3.Examples.Triangle1 extends java.lang.Object implements Serializable

Serialized Fields

x

y

z

Package Sequenic.T3.Examples.Cycles

Class Sequenic.T3.Examples.Cycles.Cycle extends java.lang.Object implements Serializable

Serialized Fields

item

next

Class Sequenic.T3.Examples.Cycles.PersonCycle extends Cycle<T extends Person> implements Serializable

Package Sequenic.T3.Examples.Friends

Class Sequenic.T3.Examples.Friends.Email extends java.lang.Object implements Serializable

Serialized Fields

email

mainemail

Class Sequenic.T3.Examples.Friends.Person extends java.lang.Object implements Serializable

Serialized Fields

name

emails

friends

Package Sequenic.T3.JavaType

Class Sequenic.T3.JavaType.JTfun extends java.lang.Object implements Serializable

Serialization Methods

readObject

writeObject

Serialized Fields

fun

args

Class Sequenic.T3.JavaType.JTvar extends java.lang.Object implements Serializable

Serialization Methods

readObject

writeObject

Serialized Fields

name

upperbounds

Class Sequenic.T3.JavaType.Jwildcard extends java.lang.Object implements Serializable

Serialization Methods

readObject

writeObject

Serialized Fields

lowerbounds

upperbounds

Package Sequenic.T3.Oracle

Class Sequenic.T3.Oracle.Oracle extends java.lang.Object implements Serializable

Class Sequenic.T3.Oracle.StrDumpEqOracle extends Oracle implements Serializable

Serialized Fields

expectedReceiverObj

expectedReturnedObj