package jetbrains.mps.lang.typesystem.dependencies; /*Generated by MPS */ public @interface CheckingMethod { }