public void testSuperscriptElementCallsProtocol() throws Exception {
String elementName = "sup";
MarinerRequestContextMock requestMock = setupMocks(elementName, true);
setupEnvironment(requestMock);
protocolMock.fuzzy.writeOpenSuperscript(
mockFactory.expectsInstanceOf(SuperscriptAttributes.class));
protocolMock.fuzzy.writeCloseSuperscript(