package jetbrains.mps.editorTest;
/*Generated by MPS */
import jetbrains.mps.MPSLaunch;
import jetbrains.mps.lang.test.runtime.BaseTransformationTest;
import org.junit.Test;
import jetbrains.mps.lang.test.runtime.BaseEditorTestBody;
@MPSLaunch
public class RedoIncorrectlyTypedValue_Test extends BaseTransformationTest {
@Test
public void test_RedoIncorrectlyTypedValue() throws Throwable {
initTest("${mps_home}", "r:914ee49a-537d-44b2-a5fb-bac87a54743d(jetbrains.mps.editorTest@tests)");
runTest("jetbrains.mps.editorTest.RedoIncorrectlyTypedValue_Test$TestBody", "testMethod", false);
}
@MPSLaunch
public static class TestBody extends BaseEditorTestBody {
@Override
public void testMethodImpl() throws Exception {
initEditorComponent("5305372928077233092", "5305372928077233099");
typeString("=1");
invokeAction("jetbrains.mps.ide.editor.actions.MoveLeft_Action");
invokeAction("jetbrains.mps.ide.editor.actions.MoveLeft_Action");
invokeAction("jetbrains.mps.ide.editor.actions.MoveLeft_Action");
invokeAction("jetbrains.mps.ide.editor.actions.MoveLeft_Action");
typeString("ยง123");
invokeAction("$Undo");
invokeAction("$Undo");
invokeAction("$Undo");
invokeAction("$Undo");
invokeAction("$Redo");
invokeAction("$Redo");
invokeAction("$Redo");
invokeAction("$Redo");
invokeAction("jetbrains.mps.ide.editor.actions.MoveLeft_Action");
invokeAction("jetbrains.mps.ide.editor.actions.MoveLeft_Action");
invokeAction("jetbrains.mps.ide.editor.actions.MoveLeft_Action");
invokeAction("jetbrains.mps.ide.editor.actions.Backspace_Action");
}
}
}