| 1647 | int execcontext; |
| 1648 | |
| 1649 | void pushscontext(int newcontext) |
| 1650 | { |
| 1651 | ASSERT(newcontext >= 0 && newcontext < IEXC_NUM); |
| 1652 | contextstack.add(execcontext); |
| 1653 | execcontext = newcontext; |
| 1654 | currentcontextisolated = contextsealed && contextisolated[execcontext]; |
| 1655 | } |
| 1656 | |
| 1657 | int popscontext() |
| 1658 | { |
no test coverage detected