The name of the sort
()
| 70 | * The name of the sort |
| 71 | **/ |
| 72 | public Symbol getName() |
| 73 | { |
| 74 | return Symbol.create(getContext(), |
| 75 | Native.getSortName(getContext().nCtx(), getNativeObject())); |
| 76 | } |
| 77 | |
| 78 | /** |
| 79 | * A string representation of the sort. |
no test coverage detected