uk.ac.ox.cs.fdr
public class AssertionEvaluatorResult extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected boolean |
swigCMemOwn |
Modifier | Constructor and Description |
---|---|
|
AssertionEvaluatorResult(AssertionEvaluatorResult arg0) |
protected |
AssertionEvaluatorResult(long cPtr,
boolean cMemoryOwn) |
|
AssertionEvaluatorResult(StringList warnings,
Assertion result) |
Modifier and Type | Method and Description |
---|---|
void |
delete() |
protected void |
finalize() |
protected static long |
getCPtr(AssertionEvaluatorResult obj) |
Assertion |
result() |
StringList |
warnings() |
protected AssertionEvaluatorResult(long cPtr, boolean cMemoryOwn)
public AssertionEvaluatorResult(StringList warnings, Assertion result)
public AssertionEvaluatorResult(AssertionEvaluatorResult arg0)
protected static long getCPtr(AssertionEvaluatorResult obj)
protected void finalize()
finalize
in class java.lang.Object
public void delete()
public Assertion result()
public StringList warnings()