public class AbstractTermTypeException extends FatalTypingException
| Constructor and Description |
|---|
AbstractTermTypeException(TermType actualTermType) |
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toStringpublic AbstractTermTypeException(TermType actualTermType)
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.