edu.ksu.cis.projects.bogor.module
Interface ICounterExampleWriter

All Superinterfaces:

Disposable, IModule

All Known Implementing Classes:

DefaultCounterExampleWriter

public interface ICounterExampleWriter
extends IModule

Version:

CVS $Revision: 1.5 $ $Date: 2004/12/18 22:36:33 $

Author:

Robby

Method Summary

Properties	getOverriddenBogorConfiguration()
void	storeCounterExample(List<ICounterExampleSchedulingInfo> cesis, String reason)
void	writeCounterExamples()

Methods inherited from interface edu.ksu.cis.projects.bogor.module.IModule

connect, getCopyrightNotice, setOptions

Methods inherited from interface edu.ksu.cis.projects.bogor.util.Disposable

dispose

Method Detail

getOverriddenBogorConfiguration

Properties getOverriddenBogorConfiguration()

storeCounterExample

void storeCounterExample(List<ICounterExampleSchedulingInfo> cesis,
                         String reason)

writeCounterExamples

void writeCounterExamples()