Public Types | Public Member Functions | Static Public Attributes | Protected Member Functions | Private Member Functions | Private Attributes

de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmAidaWrapper Class Reference

List of all members.

Public Types

enum  AidaAlgo {
  SIMULATION = ("SIMULATION"), REDELL = ("REDELL"), WCDOPS_PLUS = ("WCDOPS+"), WCDO = ("WCDO"), WCDOPS = ("WCDOPS"),
  WCDOPS_HSEG = ("WCDOPS_HSEG"), WCDO_SERIAL_LINE = ("WCDO_SERIAL_LINE")
}

Public Member Functions

 AlgorithmAidaWrapper (TransactionSet gamma, AidaAlgo aidaAlgo, AidaProgressDlg optionalDlg) throws IOException, IncompatibleDataException
ResultList calculateAllWcrt () throws AbortedException
double calculateSingleWCRT (int oneBased, int oneBased2) throws AbortedException
void cleanup ()
void requestAbort (boolean abort)
void setQuiet (boolean quiet)

Static Public Attributes

static final boolean USE_CYGWIN_ON_WINDOWS = false

Protected Member Functions

void finalize () throws Throwable

Private Member Functions

int executeAida () throws IOException, InterruptedException

Private Attributes

Process aidaProcess = null
File fromAidaFile = null
final TransactionSet gamma
final AidaProgressDlg optionalDlg
boolean quiet = false
File tempDir = null
File toAidaFile = null

Member Enumeration Documentation

Enumerator:
SIMULATION 
REDELL 
WCDOPS_PLUS 
WCDO 
WCDOPS 
WCDOPS_HSEG 
WCDO_SERIAL_LINE 

Constructor & Destructor Documentation

de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmAidaWrapper.AlgorithmAidaWrapper ( TransactionSet  gamma,
AidaAlgo  aidaAlgo,
AidaProgressDlg  optionalDlg 
) throws IOException, IncompatibleDataException

Member Function Documentation

ResultList de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmAidaWrapper.calculateAllWcrt (  )  throws AbortedException
double de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmAidaWrapper.calculateSingleWCRT ( int  oneBased,
int  oneBased2 
) throws AbortedException
void de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmAidaWrapper.cleanup (  ) 
int de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmAidaWrapper.executeAida (  )  throws IOException, InterruptedException [private]
void de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmAidaWrapper.finalize (  )  throws Throwable [protected]
void de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmAidaWrapper.requestAbort ( boolean  abort  ) 
void de.fraunhofer.isst.axbench.timing.algorithms.AlgorithmAidaWrapper.setQuiet ( boolean  quiet  ) 

Sets the quiet mode (quiet = no output to stdout)

Parameters:
quiet True for quiet mode, false to show aidalyze output on stdout.

Member Data Documentation