de.fraunhofer.isst.axbench.operations.checker.solver.utilities.externalprocess.ExecutionExternalSpass Class Reference

List of all members.

Public Member Functions
StringBuilder	execute (String dfgString) throws IOException, InterruptedException, SolverException
	Execute the external SPASS program If dfgString is null, SPASS is called to read the specified input file. Otherwise it reads the dfgString via StdIn.
	ExecutionExternalSpass () throws SolverException
	ExecutionExternalSpass (String programPath) throws SpassSolverException
	ExecutionExternalSpass (String programPath, boolean debug, boolean systemout) throws SolverException
	Constructor with the file path to the external SPASS executable plus parameter for debug outputs to the systemout.
boolean	isSmDebugging ()
	Switch for debug purposes.
boolean	isSmSystemOut ()
	Switch for system outs of subresults. (until there is something more beautiful available).
boolean	setInputFile (String fileName)
	sets the input file which can be read by the external SPASS program
void	setSmDebugging (boolean value)
void	setSmSystemOut (boolean value)
Private Member Functions
void	buildCommandInputFile ()
	build the system command we want to run: InputFile version
void	buildCommandStdIn ()
	build the system command we want to run: StdIn version
Private Attributes
boolean	smDebugging = false
	switch for system outs for debugging
boolean	smSystemOut = false
	switch to display results as system outs
String	theArgumentString1 = "-PGiven=0"
String	theArgumentString2 = "-PProblem=0"
String	theArgumentString3 = "-Stdin"
List< String >	theCommandInputFile
List< String >	theCommandStdin
String	theInputFileString = null
String	theProgramString = "SPASS.exe"

---

Constructor & Destructor Documentation

de.fraunhofer.isst.axbench.operations.checker.solver.utilities.externalprocess.ExecutionExternalSpass.ExecutionExternalSpass

(

)

throws SolverException

de.fraunhofer.isst.axbench.operations.checker.solver.utilities.externalprocess.ExecutionExternalSpass.ExecutionExternalSpass

(

String

programPath

)

throws SpassSolverException

Constructor with the file path to the external SPASS executable.

Parameters:

programPath

Exceptions:

SolverException

de.fraunhofer.isst.axbench.operations.checker.solver.utilities.externalprocess.ExecutionExternalSpass.ExecutionExternalSpass	(	String	programPath,
		boolean	debug,
		boolean	systemout
	)			throws SolverException

Constructor with the file path to the external SPASS executable plus parameter for debug outputs to the systemout.

Parameters:

	programPath
	debug
	systemout

Exceptions:

SolverException

---

Member Function Documentation

void de.fraunhofer.isst.axbench.operations.checker.solver.utilities.externalprocess.ExecutionExternalSpass.buildCommandInputFile

(

)

[private]

build the system command we want to run: InputFile version

void de.fraunhofer.isst.axbench.operations.checker.solver.utilities.externalprocess.ExecutionExternalSpass.buildCommandStdIn

(

)

[private]

build the system command we want to run: StdIn version

StringBuilder de.fraunhofer.isst.axbench.operations.checker.solver.utilities.externalprocess.ExecutionExternalSpass.execute

(

String

dfgString

)

throws IOException, InterruptedException, SolverException

Execute the external SPASS program If dfgString is null, SPASS is called to read the specified input file. Otherwise it reads the dfgString via StdIn.

Parameters:

dfgString

Returns:

the result of SPASS execution (got via StdOut)

Exceptions:

	IOException
	InterruptedException

boolean de.fraunhofer.isst.axbench.operations.checker.solver.utilities.externalprocess.ExecutionExternalSpass.isSmDebugging

(

)

Switch for debug purposes.

boolean de.fraunhofer.isst.axbench.operations.checker.solver.utilities.externalprocess.ExecutionExternalSpass.isSmSystemOut

(

)

Switch for system outs of subresults. (until there is something more beautiful available).

boolean de.fraunhofer.isst.axbench.operations.checker.solver.utilities.externalprocess.ExecutionExternalSpass.setInputFile

(

String

fileName

)

sets the input file which can be read by the external SPASS program

Parameters:

fileName

- The name of the input file (absolute path and with file extension .dfg)

Returns:

true if fileName exists and it's set

false if fileName does not exist

void de.fraunhofer.isst.axbench.operations.checker.solver.utilities.externalprocess.ExecutionExternalSpass.setSmDebugging

(

boolean

value

)

void de.fraunhofer.isst.axbench.operations.checker.solver.utilities.externalprocess.ExecutionExternalSpass.setSmSystemOut

(

boolean

value

)

---

Member Data Documentation

boolean de.fraunhofer.isst.axbench.operations.checker.solver.utilities.externalprocess.ExecutionExternalSpass.smDebugging = false [private]

switch for system outs for debugging

boolean de.fraunhofer.isst.axbench.operations.checker.solver.utilities.externalprocess.ExecutionExternalSpass.smSystemOut = false [private]

switch to display results as system outs

String de.fraunhofer.isst.axbench.operations.checker.solver.utilities.externalprocess.ExecutionExternalSpass.theArgumentString1 = "-PGiven=0" [private]

String de.fraunhofer.isst.axbench.operations.checker.solver.utilities.externalprocess.ExecutionExternalSpass.theArgumentString2 = "-PProblem=0" [private]

String de.fraunhofer.isst.axbench.operations.checker.solver.utilities.externalprocess.ExecutionExternalSpass.theArgumentString3 = "-Stdin" [private]

List<String> de.fraunhofer.isst.axbench.operations.checker.solver.utilities.externalprocess.ExecutionExternalSpass.theCommandInputFile [private]

List<String> de.fraunhofer.isst.axbench.operations.checker.solver.utilities.externalprocess.ExecutionExternalSpass.theCommandStdin [private]

String de.fraunhofer.isst.axbench.operations.checker.solver.utilities.externalprocess.ExecutionExternalSpass.theInputFileString = null [private]

String de.fraunhofer.isst.axbench.operations.checker.solver.utilities.externalprocess.ExecutionExternalSpass.theProgramString = "SPASS.exe" [private]