Package edu.udel.cis.vsl.sarl.prove.why3

Class Why3ConcurrentRunner

java.lang.Object

edu.udel.cis.vsl.sarl.prove.why3.Why3ConcurrentRunner

All Implemented Interfaces:

Callable<ValidityResult>

public class Why3ConcurrentRunner
extends Object
implements Callable<ValidityResult>

Field Summary

Fields

Modifier and Type	Field	Description
static final PrintStream	err	Nick-name for stderr, where warnings and error messages will be sent.

Method Summary

Modifier and Type	Method	Description
ValidityResult	call()

Methods inherited from class java.lang.Object

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

Field Details

err

public static final PrintStream err

Nick-name for stderr, where warnings and error messages will be sent.

Method Details

call

public ValidityResult call()

Specified by:

call in interface Callable<ValidityResult>