()
| 1698 | } |
| 1699 | |
| 1700 | public final boolean hasSuspend() { |
| 1701 | return hasKeyword(Keyword.SUSPEND) && getLastKnownZone().is(ZoneType.Exile) |
| 1702 | && getCounters(CounterEnumType.TIME) >= 1; |
| 1703 | } |
| 1704 | |
| 1705 | public final boolean hasConverge() { |
| 1706 | return "Count$Converge".equals(getSVar("X")) || "Count$Converge".equals(getSVar("Y")) || |
no test coverage detected