Revision 6
Added by Willibald K. over 8 years ago
| ValuedEnumType.java | ||
|---|---|---|
| 77 | 77 |
} |
| 78 | 78 |
return result.toString(); |
| 79 | 79 |
} |
| 80 |
|
|
| 81 |
@Override |
|
| 82 |
public int valueCount() {
|
|
| 83 |
return m_listOfEnumSymbols.size(); |
|
| 84 |
} |
|
| 80 | 85 |
} |
Also available in: Unified diff
adding methods to query types for their number of elements, fixing an issue with the ActionPrinter