public class ConvertException
extends java.lang.RuntimeException
Constructor and Description |
---|
ConvertException(java.lang.String errmsg) |
ConvertException(java.lang.String errmsg,
java.lang.Throwable cause) |
ConvertException(java.lang.Throwable pe) |
Modifier and Type | Method and Description |
---|---|
ParseException |
parseException() |
ParseException |
proofJavaException() |
public ConvertException(java.lang.String errmsg)
public ConvertException(java.lang.Throwable pe)
public ConvertException(java.lang.String errmsg, java.lang.Throwable cause)
public ParseException parseException()
public ParseException proofJavaException()
Copyright © 2003-2019 The KeY-Project.