MockControl tControl1 = newControl(Translator.class);
Translator t1 = (Translator) tControl1.getMock();
MockControl tmControl = newControl(TranslatorManager.class);
TranslatorManager tm = (TranslatorManager) tmControl.getMock();
m1.getRegistry();
control1.setReturnValue(registry);
registry.getModule("module");
registryControl.setReturnValue(m1);
m2.getRegistry();
control2.setReturnValue(registry);
registry.getModule("module");
registryControl.setReturnValue(m2);
m1.resolveType("StringHolderImpl");
control1.setReturnValue(StringHolderImpl.class);
m1.getService(SymbolExpander.class);
control1.setReturnValue(symbolExpander);
symbolExpander.expandSymbols("flintstone", location1);
symbolExpanderControl.setReturnValue("flintstone");
m1.getService(TranslatorManager.class);
control1.setReturnValue(tm);
symbolExpander.expandSymbols("flintstone", location1);
symbolExpanderControl.setReturnValue("flintstone");
String flintstoneKeyModule1 = "m1.flintstone";
t1.translate(m1, String.class, "flintstone", element1.getLocation());
tControl1.setReturnValue(flintstoneKeyModule1);
t1.translate(m1, Object.class, "flintstone", element1.getLocation());
tControl1.setReturnValue(flintstoneKeyModule1);
m2.resolveType("StringHolderImpl");
control2.setReturnValue(StringHolderImpl.class);
symbolExpander.expandSymbols("flintstone", location2);
symbolExpanderControl.setReturnValue("flintstone");
symbolExpander.expandSymbols("flintstone", location2);
symbolExpanderControl.setReturnValue("flintstone");
tm.getTranslator("qualified-id");
tmControl.setReturnValue(t1);
tm.getTranslator("qualified-id");
tmControl.setReturnValue(t1);
MockControl tControl2 = newControl(Translator.class);
Translator t2 = (Translator) tControl2.getMock();
tm.getTranslator("qualified-id");
tmControl.setReturnValue(t2);
String flintstoneKeyModule2 = "m2.flintstone";
t2.translate(m2, String.class, "flintstone", element2.getLocation());
tControl2.setReturnValue(flintstoneKeyModule2);
t2.translate(m2, Object.class, "flintstone", element2.getLocation());
tControl2.setReturnValue(flintstoneKeyModule2);
tm.getTranslator("qualified-id");
tmControl.setReturnValue(t2);
replayControls();