public static class PaConstants.TheoremContext extends java.lang.Object implements MMJException.ErrorContext
Modifier and Type | Field and Description |
---|---|
java.lang.String |
thm |
Constructor and Description |
---|
TheoremContext(java.lang.String thm) |
Modifier and Type | Method and Description |
---|---|
static <T extends MMJException> |
addTheoremContext(java.lang.String thm,
T e) |
java.lang.String |
append(java.lang.String msg) |
public java.lang.String append(java.lang.String msg)
append
in interface MMJException.ErrorContext
public static <T extends MMJException> T addTheoremContext(java.lang.String thm, T e)