Serialized Form

Package sofya

Class sofya.ReflectiveSofya extends java.lang.Object implements Serializable

Class sofya.ReflectiveSofya$SofyaClassLoader extends java.lang.Object implements Serializable

Class sofya.ReflectiveSofya$SofyaSecurityManager extends java.lang.Object implements Serializable

Package sofya.base

Class sofya.base.MethodSignature extends java.lang.Object implements Serializable

Serialized Fields

className

java.lang.String className

Name of the class.

methodName

java.lang.String methodName

Name of the method.

returnType

org.apache.bcel.generic.Type returnType

Return type of the method.

argTypes

org.apache.bcel.generic.Type[] argTypes

Argument types.

hashCode

int hashCode

Cached hash code for the signature. Since these objects are immutable the hash code is calculated once, on instantiation.

Package sofya.base.exceptions

Class sofya.base.exceptions.BadFileFormatException extends java.io.IOException implements Serializable

Serialized Fields

cause

java.lang.Throwable cause

Class sofya.base.exceptions.CacheException extends java.lang.RuntimeException implements Serializable

Serialized Fields

cause

java.lang.Throwable cause

Wrapped exception that is the original cause, if applicable.

Class sofya.base.exceptions.ConfigurationError extends SofyaError implements Serializable

Class sofya.base.exceptions.DatabaseEOFException extends BadFileFormatException implements Serializable

Class sofya.base.exceptions.DataTypeException extends LocatableFileException implements Serializable

Class sofya.base.exceptions.EmptyFileException extends java.io.IOException implements Serializable

Class sofya.base.exceptions.EOLException extends LocatableFileException implements Serializable

Class sofya.base.exceptions.IncompleteClasspathException extends java.lang.RuntimeException implements Serializable

Serialized Fields

cause

java.lang.Throwable cause

Wrapped exception that is the original cause, if applicable.

Class sofya.base.exceptions.InterfaceClassfileException extends BadFileFormatException implements Serializable

Class sofya.base.exceptions.LocatableFileException extends BadFileFormatException implements Serializable

Serialized Fields

lineNum

int lineNum

Line number at which the error occurred.

Class sofya.base.exceptions.MethodNotFoundException extends java.lang.Exception implements Serializable

Class sofya.base.exceptions.SofyaError extends java.lang.Error implements Serializable

Serialized Fields

cause

java.lang.Throwable cause

Package sofya.ed

Class sofya.ed.BadParameterValueException extends java.lang.RuntimeException implements Serializable

Class sofya.ed.ParameterValueAbsentException extends java.lang.RuntimeException implements Serializable

Package sofya.ed.semantic

Class sofya.ed.semantic.BytecodeChange extends java.lang.Object implements Serializable

Serialized Fields

id

int id

eventCode

byte eventCode

start

int start

length

short length

opcode

short opcode

precedes

boolean precedes

action

byte action

callTarget

MethodSignature callTarget

prev

gnu.trove.TLinkable prev

next

gnu.trove.TLinkable next

Class sofya.ed.semantic.FactoryException extends java.lang.Exception implements Serializable

Serialized Fields

cause

java.lang.Throwable cause

Wrapped exception which indicates the original reason for failure (if applicable).

Class sofya.ed.semantic.HandlerAddition extends java.lang.Object implements Serializable

Serialized Fields

probeId

int probeId

start_pc

int start_pc

end_pc

int end_pc

handler_pc

int handler_pc

catch_type

java.lang.String catch_type

prev

gnu.trove.TLinkable prev

next

gnu.trove.TLinkable next

Class sofya.ed.semantic.SemanticEventDispatcher.InternalException extends java.lang.Exception implements Serializable

Serialized Fields

cause

java.lang.Throwable cause

Package sofya.ed.structural

Class sofya.ed.structural.AbstractEventDispatcher.CreateException extends java.lang.RuntimeException implements Serializable

Serialized Fields

cause

java.lang.Throwable cause

Wrapped exception that is the original cause, if applicable.

Class sofya.ed.structural.AbstractEventDispatcher.ExecException extends java.lang.RuntimeException implements Serializable

Serialized Fields

cause

java.lang.Throwable cause

Wrapped exception that is the original cause, if applicable.

Class sofya.ed.structural.AbstractEventDispatcher.SetupException extends java.lang.RuntimeException implements Serializable

Serialized Fields

cause

java.lang.Throwable cause

Wrapped exception that is the original cause, if applicable.

Class sofya.ed.structural.AbstractEventDispatcher.TraceFileException extends java.lang.RuntimeException implements Serializable

Serialized Fields

cause

java.lang.Throwable cause

Wrapped exception that is the original cause, if applicable.

Package sofya.graphs.cfg

Class sofya.graphs.cfg.CFGBuilder.LoadException extends java.lang.Exception implements Serializable

Serialized Fields

cause

java.lang.Throwable cause

Originating cause of the load failure.

Class sofya.graphs.cfg.TransformationException extends java.lang.Exception implements Serializable

Serialized Fields

cause

java.lang.Throwable cause

Wrapped exception which indicates the original reason for failure (if applicable).

Class sofya.graphs.cfg.TypeInferenceException extends java.lang.Exception implements Serializable

Serialized Fields

cause

java.lang.Throwable cause

Wrapped exception which indicates the original reason for failure (if applicable).

Package sofya.mutator

Class sofya.mutator.MutationException extends java.lang.Exception implements Serializable

Serialized Fields

cause

java.lang.Throwable cause

The source of the error, if applicable.

Package sofya.mutator.verifier

Class sofya.mutator.verifier.VerifierException extends java.lang.Exception implements Serializable

Serialized Fields

cause

java.lang.Throwable cause

The source of the error, if applicable.

Package sofya.viewers

Class sofya.viewers.SameFileNameException extends java.io.IOException implements Serializable