BarCheckedDots.java

package jetbrains.mps.baseLanguage.checkedbox.sandbox.test;

/*Generated by MPS */

import jetbrains.mps.baseLanguage.closures.runtime._FunctionTypes;

public class BarCheckedDots {
  public static String myString = "abc";
  public String foo = "";


  public String innerMethod(String a, String b) {
    System.out.println(a + b);
    check_pdjdqn_a1a4(new Object());
    return "";
  }

  public void method1(String val) {
    check_pdjdqn_a0a6(new Object());
  }

  public static String method2(String val) throws Exception {
    return "";
  }
  public static String method3(_FunctionTypes._return_P1_E0<? extends Integer, ? super Integer> f) throws RuntimeException {
    f.invoke(1);
    return "";
  }
  public static void method4() throws IllegalArgumentException {
  }
  public static void main(String[] args) {
    check_pdjdqn_a0a11(new BarCheckedDots(), myString, myString);
    System.out.println(check_pdjdqn_a0a1a11(new BarCheckedDots()));
    try {
      check_pdjdqn_a0a2a11(new BarCheckedDots());
    } catch (Exception e) {
    }
  }

  private static Class<?> check_pdjdqn_a1a4(Object checkedDotOperand) {
    if (null != checkedDotOperand) {
      return checkedDotOperand.getClass();
    }
    return null;
  }
  private static Class<?> check_pdjdqn_a0a6(Object checkedDotOperand) {
    if (null != checkedDotOperand) {
      return checkedDotOperand.getClass();
    }
    return null;
  }
  private static String check_pdjdqn_a0a11(BarCheckedDots checkedDotOperand, String myString_pdjdqn_a0a0a11, String myString_pdjdqn_b0a0a11) {
    if (null != checkedDotOperand) {
      return checkedDotOperand.innerMethod(myString_pdjdqn_a0a0a11, myString_pdjdqn_b0a0a11);
    }
    return null;
  }
  private static String check_pdjdqn_a0a1a11(BarCheckedDots checkedDotOperand) {
    if (null != checkedDotOperand) {
      return checkedDotOperand.foo;
    }
    return null;
  }
  private static void check_pdjdqn_a0a2a11(BarCheckedDots checkedDotOperand) throws Exception, RuntimeException {
    if (null != checkedDotOperand) {
      checkedDotOperand.method1(method2(method3(new _FunctionTypes._return_P1_E0<Integer, Integer>() {
        public Integer invoke(Integer a) {
          return 2 * a;
        }
      })));
    }

  }
}