package jetbrains.mps.baseLanguage.test;

/*Generated by MPS */

import jetbrains.mps.MPSLaunch;
import jetbrains.mps.lang.test.runtime.BaseTransformationTest;
import org.junit.jupiter.api.extension.RegisterExtension;
import jetbrains.mps.lang.test.runtime.TestParametersCacheExtension;
import jetbrains.mps.lang.test.runtime.TestParametersCache;
import org.junit.jupiter.api.Test;
import jetbrains.mps.lang.test.runtime.BaseTestBody;
import jetbrains.mps.lang.test.runtime.TransformationTest;
import org.jetbrains.mps.openapi.model.SNode;
import jetbrains.mps.lang.test.runtime.CheckExpectedMessageRunnable;
import jetbrains.mps.errors.MessageStatus;
import jetbrains.mps.project.ProjectBase;
import jetbrains.mps.lang.test.runtime.CheckErrorMessagesRunnable;
import jetbrains.mps.internal.collections.runtime.ListSequence;
import java.util.ArrayList;

@MPSLaunch
public class TypeInference_Test extends BaseTransformationTest {
  @RegisterExtension
  private static final TestParametersCacheExtension ourParametersCacheExtension = new TestParametersCacheExtension(new TestParametersCache(TypeInference_Test.class, "${mps_home}", "r:00000000-0000-4000-0000-011c895902c7(jetbrains.mps.baseLanguage.test@tests)", false));

  public TypeInference_Test() {
    super(ourParametersCacheExtension.getParametersCache());
  }

  @Test
  public void test_NodeTypeSystemCheck6923385624927474402() throws Throwable {
    new TestBody(this).test_NodeTypeSystemCheck6923385624927474402();
  }
  @Test
  public void test_NodeTypeSystemCheck6923385624927959862() throws Throwable {
    new TestBody(this).test_NodeTypeSystemCheck6923385624927959862();
  }
  @Test
  public void test_NodeErrorCheck8345119003641462720() throws Throwable {
    new TestBody(this).test_NodeErrorCheck8345119003641462720();
  }
  @Test
  public void test_NodeTypeSystemCheck6923385624928271119() throws Throwable {
    new TestBody(this).test_NodeTypeSystemCheck6923385624928271119();
  }
  @Test
  public void test_NodeTypeSystemCheck6923385624929494038() throws Throwable {
    new TestBody(this).test_NodeTypeSystemCheck6923385624929494038();
  }
  @Test
  public void test_NodeErrorCheck8345119003641471587() throws Throwable {
    new TestBody(this).test_NodeErrorCheck8345119003641471587();
  }
  @Test
  public void test_NodeTypeSystemCheck6923385624927940163() throws Throwable {
    new TestBody(this).test_NodeTypeSystemCheck6923385624927940163();
  }
  @Test
  public void test_NodeErrorCheck8345119003641471608() throws Throwable {
    new TestBody(this).test_NodeErrorCheck8345119003641471608();
  }
  @Test
  public void test_NodeTypeSystemCheck6923385624928215092() throws Throwable {
    new TestBody(this).test_NodeTypeSystemCheck6923385624928215092();
  }
  @Test
  public void test_NodeErrorCheck8345119003641471627() throws Throwable {
    new TestBody(this).test_NodeErrorCheck8345119003641471627();
  }
  @Test
  public void test_NodeTypeSystemCheck6923385624927005600() throws Throwable {
    new TestBody(this).test_NodeTypeSystemCheck6923385624927005600();
  }
  @Test
  public void test_NodeErrorCheck8345119003641471646() throws Throwable {
    new TestBody(this).test_NodeErrorCheck8345119003641471646();
  }
  @Test
  public void test_NodeTypeSystemCheck6923385624928978334() throws Throwable {
    new TestBody(this).test_NodeTypeSystemCheck6923385624928978334();
  }
  @Test
  public void test_NodeErrorCheck8345119003641471667() throws Throwable {
    new TestBody(this).test_NodeErrorCheck8345119003641471667();
  }
  @Test
  public void test_NodeTypeSystemCheck6923385624929302543() throws Throwable {
    new TestBody(this).test_NodeTypeSystemCheck6923385624929302543();
  }
  @Test
  public void test_NodeTypeSystemCheck6923385624929336374() throws Throwable {
    new TestBody(this).test_NodeTypeSystemCheck6923385624929336374();
  }
  @Test
  public void test_NodeTypeSystemCheck6923385624927563665() throws Throwable {
    new TestBody(this).test_NodeTypeSystemCheck6923385624927563665();
  }
  @Test
  public void test_NodeTypeSystemCheck6923385624927161380() throws Throwable {
    new TestBody(this).test_NodeTypeSystemCheck6923385624927161380();
  }
  @Test
  public void test_NodeErrorCheck8345119003641471688() throws Throwable {
    new TestBody(this).test_NodeErrorCheck8345119003641471688();
  }
  @Test
  public void test_ErrorMessagesCheck488298296050687637() throws Throwable {
    new TestBody(this).test_ErrorMessagesCheck488298296050687637();
  }
  @Test
  public void test_ErrorMessagesCheck7261441936922433825() throws Throwable {
    new TestBody(this).test_ErrorMessagesCheck7261441936922433825();
  }

  /*package*/ static class TestBody extends BaseTestBody {

    /*package*/ TestBody(TransformationTest owner) {
      super(owner);
    }

    public void test_NodeTypeSystemCheck6923385624927474402() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("3951985765451227169");
        SNode operation = getRealNodeById("6923385624927474402");
        new CheckExpectedMessageRunnable.CheckExpectedTypesystemMessageRunnable(nodeToCheck, MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()).run();
      });
    }
    public void test_NodeTypeSystemCheck6923385624927959862() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("3951985765451228117");
        SNode operation = getRealNodeById("6923385624927959862");
        new CheckExpectedMessageRunnable.CheckExpectedTypesystemMessageRunnable(nodeToCheck, MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()).run();
      });
    }
    public void test_NodeErrorCheck8345119003641462720() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("3951985765451224523");
        SNode operation = getRealNodeById("8345119003641462720");
        new CheckExpectedMessageRunnable.CheckAnyMessageRunnable(nodeToCheck, MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()).run();
      });
    }
    public void test_NodeTypeSystemCheck6923385624928271119() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("3951985765451231416");
        SNode operation = getRealNodeById("6923385624928271119");
        new CheckExpectedMessageRunnable.CheckExpectedTypesystemMessageRunnable(nodeToCheck, MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()).run();
      });
    }
    public void test_NodeTypeSystemCheck6923385624929494038() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("3951985765451229037");
        SNode operation = getRealNodeById("6923385624929494038");
        new CheckExpectedMessageRunnable.CheckExpectedTypesystemMessageRunnable(nodeToCheck, MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()).run();
      });
    }
    public void test_NodeErrorCheck8345119003641471587() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("3951985765451221432");
        SNode operation = getRealNodeById("8345119003641471587");
        new CheckExpectedMessageRunnable.CheckAnyMessageRunnable(nodeToCheck, MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()).run();
      });
    }
    public void test_NodeTypeSystemCheck6923385624927940163() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("3951985765451231556");
        SNode operation = getRealNodeById("6923385624927940163");
        new CheckExpectedMessageRunnable.CheckExpectedTypesystemMessageRunnable(nodeToCheck, MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()).run();
      });
    }
    public void test_NodeErrorCheck8345119003641471608() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("3951985765451231294");
        SNode operation = getRealNodeById("8345119003641471608");
        new CheckExpectedMessageRunnable.CheckAnyMessageRunnable(nodeToCheck, MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()).run();
      });
    }
    public void test_NodeTypeSystemCheck6923385624928215092() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("3951985765451231138");
        SNode operation = getRealNodeById("6923385624928215092");
        new CheckExpectedMessageRunnable.CheckExpectedTypesystemMessageRunnable(nodeToCheck, MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()).run();
      });
    }
    public void test_NodeErrorCheck8345119003641471627() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("3951985765451231401");
        SNode operation = getRealNodeById("8345119003641471627");
        new CheckExpectedMessageRunnable.CheckAnyMessageRunnable(nodeToCheck, MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()).run();
      });
    }
    public void test_NodeTypeSystemCheck6923385624927005600() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("3951985765451228495");
        SNode operation = getRealNodeById("6923385624927005600");
        new CheckExpectedMessageRunnable.CheckExpectedTypesystemMessageRunnable(nodeToCheck, MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()).run();
      });
    }
    public void test_NodeErrorCheck8345119003641471646() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("3951985765451228539");
        SNode operation = getRealNodeById("8345119003641471646");
        new CheckExpectedMessageRunnable.CheckAnyMessageRunnable(nodeToCheck, MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()).run();
      });
    }
    public void test_NodeTypeSystemCheck6923385624928978334() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("3951985765451230055");
        SNode operation = getRealNodeById("6923385624928978334");
        new CheckExpectedMessageRunnable.CheckExpectedTypesystemMessageRunnable(nodeToCheck, MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()).run();
      });
    }
    public void test_NodeErrorCheck8345119003641471667() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("3951985765451228980");
        SNode operation = getRealNodeById("8345119003641471667");
        new CheckExpectedMessageRunnable.CheckAnyMessageRunnable(nodeToCheck, MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()).run();
      });
    }
    public void test_NodeTypeSystemCheck6923385624929302543() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("3951985765451228506");
        SNode operation = getRealNodeById("6923385624929302543");
        new CheckExpectedMessageRunnable.CheckExpectedTypesystemMessageRunnable(nodeToCheck, MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()).run();
      });
    }
    public void test_NodeTypeSystemCheck6923385624929336374() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("3951985765451228240");
        SNode operation = getRealNodeById("6923385624929336374");
        new CheckExpectedMessageRunnable.CheckExpectedTypesystemMessageRunnable(nodeToCheck, MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()).run();
      });
    }
    public void test_NodeTypeSystemCheck6923385624927563665() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("3951985765451228066");
        SNode operation = getRealNodeById("6923385624927563665");
        new CheckExpectedMessageRunnable.CheckExpectedTypesystemMessageRunnable(nodeToCheck, MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()).run();
      });
    }
    public void test_NodeTypeSystemCheck6923385624927161380() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("3951985765451222927");
        SNode operation = getRealNodeById("6923385624927161380");
        new CheckExpectedMessageRunnable.CheckExpectedTypesystemMessageRunnable(nodeToCheck, MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()).run();
      });
    }
    public void test_NodeErrorCheck8345119003641471688() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("3951985765451230917");
        SNode operation = getRealNodeById("8345119003641471688");
        new CheckExpectedMessageRunnable.CheckAnyMessageRunnable(nodeToCheck, MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()).run();
      });
    }
    public void test_ErrorMessagesCheck488298296050687637() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("488298296050356721");
        SNode operation = getRealNodeById("488298296050687637");
        new CheckErrorMessagesRunnable(nodeToCheck, false, false, ((ProjectBase) myProject).getPlatform()).includeSelf(false).exclude(ListSequence.fromListAndArray(new ArrayList<CheckExpectedMessageRunnable>(), new CheckExpectedMessageRunnable.CheckExpectedTypesystemMessageRunnable(getRealNodeById("3951985765451228506"), MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()), new CheckExpectedMessageRunnable.CheckExpectedTypesystemMessageRunnable(getRealNodeById("3951985765451228240"), MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()), new CheckExpectedMessageRunnable.CheckExpectedTypesystemMessageRunnable(getRealNodeById("3951985765451228066"), MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()), new CheckExpectedMessageRunnable.CheckExpectedTypesystemMessageRunnable(getRealNodeById("3951985765451222927"), MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()), new CheckExpectedMessageRunnable.CheckAnyMessageRunnable(getRealNodeById("3951985765451230917"), MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()))).run();
      });
    }
    public void test_ErrorMessagesCheck7261441936922433825() throws Exception {

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("5089784887111887929");
        SNode operation = getRealNodeById("7261441936922433825");
        new CheckErrorMessagesRunnable(nodeToCheck, false, false, ((ProjectBase) myProject).getPlatform()).includeSelf(false).exclude(ListSequence.fromList(new ArrayList<CheckExpectedMessageRunnable>())).run();
      });
    }

  }
}
