}
@Test public void
pushes_and_pops_loaders() throws IOException, CoreException {
ScriptStack stack = new ScriptStack();
final ScriptLoader loader1 = context.mock(ScriptLoader.class, "loader1");
final ScriptLoader loader2 = context.mock(ScriptLoader.class, "loader2");
final Sequence sequence = context.sequence("loaderSequence");
final String filename = "foo.rs";
context.checking(new Expectations() {{
oneOf(loader1).file(filename); inSequence(sequence);