Serialized Form

Package Sequenic.T3
- Class Sequenic.T3.ClassInvariantError extends java.lang.AssertionError implements Serializable
  
  serialVersionUID:
  
  1L
- 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.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.lang.Object 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.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.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.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

expectedException

Package Sequenic.T3.Sequence.Datatype

Class Sequenic.T3.Sequence.Datatype.CONST extends STEP implements Serializable

Serialization Methods

readObject

writeObject

Serialized Fields

val

cty

Class Sequenic.T3.Sequence.Datatype.CONSTRUCT_COLLECTION extends STEP implements Serializable

Serialization Methods

readObject

writeObject

Serialized Fields

cty

elements

keys

Class Sequenic.T3.Sequence.Datatype.CONSTRUCTOR extends STEP implements Serializable

Serialization Methods

readObject

writeObject

Serialized Fields

cty

con

params

isObjectUnderTestCreationStep

oracle

Class Sequenic.T3.Sequence.Datatype.INSTRUMENT extends STEP implements Serializable

Class Sequenic.T3.Sequence.Datatype.METHOD extends STEP implements Serializable

Serialization Methods

readObject

writeObject

Serialized Fields

method

target

params

isObjectUnderTestCreationStep

oracle

Class Sequenic.T3.Sequence.Datatype.ParallelSUITE extends SUITE implements Serializable

Class Sequenic.T3.Sequence.Datatype.REF extends STEP implements Serializable

Serialized Fields

index

Class Sequenic.T3.Sequence.Datatype.SEQ extends java.lang.Object implements Serializable

Serialized Fields

steps

Class Sequenic.T3.Sequence.Datatype.SUITE extends java.lang.Object implements Serializable