()
| 973 | } |
| 974 | |
| 975 | public final String getDisplayName() { |
| 976 | return getDisplayName(currentState); |
| 977 | } |
| 978 | |
| 979 | public final String getDisplayName(CardState state) { |
| 980 | //If this card has a changed name, don't use flavor names. |
no test coverage detected