(final String var)
| 1986 | } |
| 1987 | |
| 1988 | public final boolean hasSVar(final String var) { |
| 1989 | for (Map<String, String> map : changedSVars.values()) { |
| 1990 | if (map.containsKey(var)) { |
| 1991 | return true; |
| 1992 | } |
| 1993 | } |
| 1994 | return currentState.hasSVar(var); |
| 1995 | } |
| 1996 | |
| 1997 | public final void setSVar(final String var, final String str) { |
| 1998 | currentState.setSVar(var, str); |