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;

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

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

  @Test
  public void test_NodeErrorCheck1875480895988114782() throws Throwable {
    new TestBody(this).test_NodeErrorCheck1875480895988114782();
  }
  @Test
  public void test_NodeErrorCheck1875480895987852095() throws Throwable {
    new TestBody(this).test_NodeErrorCheck1875480895987852095();
  }
  @Test
  public void test_NodeErrorCheck1875480895987615991() throws Throwable {
    new TestBody(this).test_NodeErrorCheck1875480895987615991();
  }

  /*package*/ static class TestBody extends BaseTestBody {

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

    public void test_NodeErrorCheck1875480895988114782() throws Exception {

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

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

      runWithinCommand(() -> {
        SNode nodeToCheck = getRealNodeById("1875480895987615784");
        SNode operation = getRealNodeById("1875480895987615991");
        new CheckExpectedMessageRunnable.CheckAnyMessageRunnable(nodeToCheck, MessageStatus.ERROR, "", myProject.getRepository(), ((ProjectBase) myProject).getPlatform()).run();
      });
    }

  }
}
