public class ProofAlreadyClosedException extends ScriptException
@failonclosed
setting.Constructor and Description |
---|
ProofAlreadyClosedException() |
ProofAlreadyClosedException(java.lang.String message) |
ProofAlreadyClosedException(java.lang.String message,
java.lang.Throwable cause) |
ProofAlreadyClosedException(java.lang.String message,
java.net.URL url,
int line,
int col) |
ProofAlreadyClosedException(java.lang.String message,
java.net.URL url,
int line,
int col,
java.lang.Throwable cause) |
ProofAlreadyClosedException(java.lang.Throwable cause) |
getLocation
public ProofAlreadyClosedException()
public ProofAlreadyClosedException(java.lang.String message, java.net.URL url, int line, int col, java.lang.Throwable cause)
public ProofAlreadyClosedException(java.lang.String message, java.net.URL url, int line, int col)
public ProofAlreadyClosedException(java.lang.String message)
public ProofAlreadyClosedException(java.lang.Throwable cause)
public ProofAlreadyClosedException(java.lang.String message, java.lang.Throwable cause)
Copyright © 2003-2019 The KeY-Project.