com.gzoltar.sfl

Class SFL<F extends IFormula>

java.lang.Object

com.gzoltar.sfl.SFL<F>

All Implemented Interfaces:

IFaultLocalization<F>

public class SFL<F extends IFormula>
extends Object
implements IFaultLocalization<F>

Spectrum-based Fault Localization

Author:

José Campos

Constructor Summary

Constructors

Constructor and Description
SFL(List<F> sflFormulas)

Method Summary

Modifier and Type	Method and Description
void	diagnose(ISpectrum spectrum)

Methods inherited from class java.lang.Object

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

Constructor Detail

SFL

public SFL(List<F> sflFormulas)

Parameters:

sflFormulas -

Method Detail

diagnose

public void diagnose(ISpectrum spectrum)

Specified by:

diagnose in interface IFaultLocalization<F extends IFormula>

Parameters:

spectrum - a ISpectrum object