sofya.mutator
Class MutationTable

java.lang.Object
  sofya.mutator.MutationTable

Direct Known Subclasses:

FileWriterMutationTable, StandardMutationTable

public abstract class MutationTable
extends java.lang.Object

A table recording the possible mutations generated for a Java class.

Version:

10/04/2005

Author:

Alex Kinneer

Constructor Summary

protected

MutationTable()

Method Summary

abstract boolean	addMutation(Mutation m) Adds a mutation to this mutation table.
abstract StringTable	getStringTable() Gets the string table that may be used to compact strings in the mutation table (optional operation).
abstract java.util.Iterator	iterator() Gets an iterator over the mutations stored in this mutation table (optional operation).
abstract int	size() Gets the size of this mutation table.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MutationTable

protected MutationTable()

Method Detail

addMutation

public abstract boolean addMutation(Mutation m)

Adds a mutation to this mutation table.

Parameters:

m - Mutation to be added to this table.

Returns:

true if the mutation was successfully added to this table.

iterator

public abstract java.util.Iterator iterator()

Gets an iterator over the mutations stored in this mutation table (optional operation).

Returns:

An iterator over the mutations in this mutation table.

size

public abstract int size()

Gets the size of this mutation table.

Returns:

The number of mutations stored in this mutation table.

getStringTable

public abstract StringTable getStringTable()

Gets the string table that may be used to compact strings in the mutation table (optional operation).

In some situations, this method assists in supporting persistence between file reads and writes. Implementations that do not wish to support this functionality should return null.

Returns:

The string table used to compact strings in the mutation table.