public class LtlAdapterException
extends java.lang.RuntimeException
| Constructor and Description |
|---|
LtlAdapterException(LtlParseException e) |
| Modifier and Type | Method and Description |
|---|---|
LtlParseException |
getOriginalException() |
public LtlAdapterException(LtlParseException e)
public LtlParseException getOriginalException()