
public final class FromScriptException.WitnessProgram
extends FromScriptException

Fields
Modifier and Type	Field	Description
`private final String`	`message`
`private final String`	`errorMessage`

Constructors
Constructor	Description
`FromScriptException.WitnessProgram(String errorMessage)`

Modifier and Type	Method	Description
`String`	`getMessage()`
`final String`	`getErrorMessage()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

FromScriptException.WitnessProgram(String errorMessage)

Class FromScriptException.WitnessProgram