package jetbrains.mps.baseLanguage.lightweightdsl.typesystem;
/*Generated by MPS */
import jetbrains.mps.lang.typesystem.runtime.BaseHelginsDescriptor;
import jetbrains.mps.lang.typesystem.runtime.InferenceRule_Runtime;
import jetbrains.mps.lang.typesystem.runtime.NonTypesystemRule_Runtime;
import jetbrains.mps.lang.typesystem.runtime.SubtypingRule_Runtime;
import jetbrains.mps.lang.typesystem.runtime.InequationReplacementRule_Runtime;
public class TypesystemDescriptor extends BaseHelginsDescriptor {
public TypesystemDescriptor() {
{
InferenceRule_Runtime inferenceRule = new typeof_ClassLikeDescriptor_InferenceRule();
this.myInferenceRules.add(inferenceRule);
}
{
InferenceRule_Runtime inferenceRule = new typeof_DepType_InferenceRule();
this.myInferenceRules.add(inferenceRule);
}
{
InferenceRule_Runtime inferenceRule = new typeof_LocalMethodCall_InferenceRule();
this.myInferenceRules.add(inferenceRule);
}
{
InferenceRule_Runtime inferenceRule = new typeof_ParameterDescriptor_InferenceRule();
this.myInferenceRules.add(inferenceRule);
}
{
NonTypesystemRule_Runtime nonTypesystemRule = new check_ClassLikeMember_unique_NonTypesystemRule();
this.myNonTypesystemRules.add(nonTypesystemRule);
}
{
NonTypesystemRule_Runtime nonTypesystemRule = new check_ClassLikeMethod_NonTypesystemRule();
this.myNonTypesystemRules.add(nonTypesystemRule);
}
{
NonTypesystemRule_Runtime nonTypesystemRule = new check_ClassLikeProperty_NonTypesystemRule();
this.myNonTypesystemRules.add(nonTypesystemRule);
}
{
NonTypesystemRule_Runtime nonTypesystemRule = new check_ClassLike_allRequired_NonTypesystemRule();
this.myNonTypesystemRules.add(nonTypesystemRule);
}
{
NonTypesystemRule_Runtime nonTypesystemRule = new check_CustomMemberDeclaration_NonTypesystemRule();
this.myNonTypesystemRules.add(nonTypesystemRule);
}
{
SubtypingRule_Runtime subtypingRule = new DependentType_subtypeOfItsValue_SubtypingRule();
this.mySubtypingRules.add(subtypingRule);
}
{
InequationReplacementRule_Runtime eliminationRule = new DependentType_supertypeOfItsValue_InequationReplacementRule();
this.myInequationReplacementRules.add(eliminationRule);
}
}
}