package jetbrains.mps.baseLanguage.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.ComparisonRule_Runtime; import jetbrains.mps.lang.typesystem.runtime.InequationReplacementRule_Runtime; import jetbrains.mps.typesystem.inference.IVariableConverter_Runtime; import org.jetbrains.mps.openapi.model.SNode; import jetbrains.mps.lang.smodel.generator.smodelAdapter.SNodeOperations; import jetbrains.mps.smodel.adapter.structure.MetaAdapterFactory; import jetbrains.mps.internal.collections.runtime.ListSequence; import jetbrains.mps.lang.smodel.generator.smodelAdapter.SLinkOperations; import jetbrains.mps.lang.typesystem.runtime.OverloadedOpsProvider_OneTypeSpecified; import jetbrains.mps.errors.IRuleConflictWarningProducer; import jetbrains.mps.lang.typesystem.runtime.OverloadedOperationsTypesProvider; import org.jetbrains.mps.openapi.language.SAbstractConcept; import org.jetbrains.mps.openapi.persistence.PersistenceFacade; import jetbrains.mps.smodel.SModelUtil_new; import jetbrains.mps.smodel.SReference; import jetbrains.mps.lang.pattern.IMatchingPattern; import jetbrains.mps.lang.typesystem.runtime.HUtil; import jetbrains.mps.typesystem.inference.TypeChecker; public class TypesystemDescriptor extends BaseHelginsDescriptor { public TypesystemDescriptor() { { InferenceRule_Runtime inferenceRule = new checkTypesInForStatement_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_ArrayAccess_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_ArrayCreatorWithInitializer_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_AssertStatement_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_BaseMethodDeclaration_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_BooleanConst_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_CastExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_CatchClause_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_ClassifierClassExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_ClosureParameterReference_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_ConceptFunction_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_ConceptFunctionParameter_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_DoWhileStatement_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_EnumConstantDeclaration_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_EnumConstantReference_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_FloatingPointConstant_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_ForeachStatement_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_GenericNewExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_IfStatement_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_InstanceOfExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_IntegerLiteral_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_NotExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_NullLiteral_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_OrExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_ParenthesizedExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_ReturnStatement_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_StringLiteral_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_Switch_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_TernaryOperator_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_ThrowStatement_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_VarRef_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_WhileStatement_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_andExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_equalsExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_notEqualsExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeOf_thisExpr_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_AbstractUnaryNumberOperation_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_AdditionalForLoopVariable_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_AnnotationInstance_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_AnnotationInstanceExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_AnnotationInstanceValue_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_AnonymousClass_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_AnonymousClassCreator_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_ArrayClassExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_ArrayCloneOperation_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_ArrayCreator_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_ArrayLengthOperation_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_ArrayLiteral_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_AsExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_BaseAssignmentExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_BaseStringOperation_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_BaseVariableDeclaration_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_BaseVariableReference_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_BinaryCompareOperation_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_BinaryOperation_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_BitwiseNotExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_CharConstant_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_ClassCreator_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_DefaultClassCreator_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_DimensionExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_DotExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_ElsifClause_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_EnumValueOfExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_EnumValuesExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_EscapeOperation_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_FieldReferenceOperation_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_FloatingPointFloatConstant_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_GetAccessor_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_IMethodCall_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_IYetUnresolved_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_InstanceMethodCallOperation_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_LocalMethodCall_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_LocalPropertyReference_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_LongLiteral_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_NPEEqualsExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_NPENotEqualsExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_NestedNewExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_OperationAssignmentExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_PrimitiveClassExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_Property_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_PropertyReference_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_PropertyValueReference_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_SetAccessor_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_StaticMethodCall_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_StringBooleanOperation_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_SubstringExpression_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_SuperConstructorInvocation_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_SuperMethodCall_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_SwitchCase_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_SynchronizedStatement_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_TrimOperation_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_UnaryMinus_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_ValueParameter_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { InferenceRule_Runtime inferenceRule = new typeof_VariableDeclaration_InferenceRule(); this.myInferenceRules.add(inferenceRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new CheckBinaryOperationPriority_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new CheckExcessTypeCasts_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new CheckExtendedClassIsImported_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new CheckForReexportExtendedClassifier_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new CheckVariableDoubling_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new NonFinalParametersInAnonymousClass_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new NonFinalVariablesInAnonymousClass_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new PrimitiveTypesInInstanceOfNotAllowed_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new TypeVariableInInstanceOfNotAllowed_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new checkAbstractClassCreators_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new checkThrowedByThrowIsCaught_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new checkThrowsOfMethodIsCaught_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new checkUnnecessaryInstanceof_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_AbstractClassifierReference_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_AbstractMethodsInClass_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_AnnotationDuplication_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_AnnotationForVoidMethod_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_AnnotationInstanceHasAllValues_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_AnnotationMethodDeclarationReturnType_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_AnnotationTarget_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_AnonymousClassCreator_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_AnonymousClassHasArgumentsInGoodRole_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_AnonymousClassHasConstructorDeclaration_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_AnonymousClassWithNoConstructorInheritsDefaultConstructor_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_AntiquotationContents_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ArrayClassExpression_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ArrayClone_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ArrayCreator_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ArrayLength_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_BaseAssignmentExpression_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_BaseAssignmentExpression_TreeBalance_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_BaseMethodDeclaration_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_BaseMethodDeclarationParameterUniqueNames_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_BaseMethodDeclaration_UnreachableStatements_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_BinaryLogicalOperationCanBeSimplified_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_BoundTypeinBoundType_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_BreakStatement_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_CastExpressionLegalExpression_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_CaughtWasThrown_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ClassCreator_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ClassCreatorConstructorVisibility_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ClassDoesNotExtendFinalClass_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ClassShouldHaveConstructor_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ClassifierOverrideAnnotations_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ClassifierOverridingFinalMethods_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ClassifierOverridingMethods_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ClassifierType_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ConceptFunction_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ConceptFunctionParameter_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ConceptFunctionReturns_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ConstructorInvocationStatementHasConstructor_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ConstructorInvocationStatementIsFirstStatement_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ConstructorRecursiveInvocation_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ContinueStatement_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_CorrectScope_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_DefaultClassCreator_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_DefaultSuperConstructorThrowables_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_DuplicateClassifierNames_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_DuplicateEnumConstantMethods_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_DuplicateEnumConstants_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_DuplicateMethods_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_DuplicatedConstructors_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_DynamicReference_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_EnumConstantHasConstructorDeclaration_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_EnumConstantHasUnimplementedMethods_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_EnumConstantMustUseExplicitConstructor_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_EnumConstantOverrideAnnotation_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_EnumConstantOverridingMethods_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_EqualsMethodTypes_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ExceptionWasNotCaught_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_Expression_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ExpressionStatement_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_FieldDeclarationCanBeLocalVariable_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_FieldDuplication_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_FieldIsNeverUsedOrAssigned_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_FinalAndAbstractMethod_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_FinalFieldReferenceNotAssigned_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_FinalFieldWasAssigned_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_FinalLocalFieldReferenceNotAssigned_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_FinalVariableReferenceNotAssigned_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ForeachWithErasure_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_GenericNewExpressionTypeParameters_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_GenericNewExpression_PointingToNonStaticFromStatic_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_GetAccessor_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_HasSuperConstructorCall_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_IMethodCallTypeArgs_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_IfStatementBooleanConstantInCondition_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_IncompleteRightParen_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_InnerClassesCantHaveStaticDeclarations_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_InnerClassesCantHaveStaticFields_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_InnerClassesCantHaveStaticInitializer_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_InnerClassesCantHaveStaticInnerClasses_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_InnerClassesCantHaveStaticMethods_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_InstanceInitializer_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_InstanceMethodDeclarationDecreasesVisibility_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_InstanceMethodDeclarationForAbstractPrivateModifiers_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_InstanceMethodDeclarationThrownExceptionsSignature_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_InstanceOf_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_InterfaceMethods_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_LeftParen_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_LocalPropertyReferenceNotUsedInUnaryNumericOperations_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_LocalStaticMethodCall_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_LongLiteral_within_range_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_NativeMethod_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_NestedNewExpression_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_NonStaticAnonymousClassCreation_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_NonStaticClassInInterface_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_NonStaticInnerClassCreation_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_NonStaticInnerDefaultClassCreation_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_NotExpressionCanBeSimplified_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_NotExpression_NeedsParens_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_NullableStates_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_OverrideNullAnnotations_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ParenthesisedExpressionSurroundedWithParentheses_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_PostfixDecrementExpression_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_PostfixIncrementExpression_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_PrefixDecrementExpression_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_PrefixIncrementExpression_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_PrimitiveClassExpression_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_PropertyAssignedToItself_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_PropertyNameUniqueness_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_PropertyReferenceNotUsedInUnaryNumericOperations_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_PropertyReferenceSetterVisibility_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_RecursiveClassifierSubtyping_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_SetAccessor_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_StaticFieldDeclarationMustHaveInitializerInInterface_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_StaticFieldDuplication_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_StaticFinalFieldNotAssigned_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_StaticFinalFieldWasAssigned_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_StaticInitializer_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_StaticInterfaceMethodCall_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_StringLiteral_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_StringTypeClassifierType_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_SynchronizedStatement_NonFinalFields_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_TernaryOperationCanBeSimplified_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_TernaryOperatorExpression_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ThisExpression_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_ThisExpression_ClassConceptSpecified_InGenerator_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_Type_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_TypeInMethodCall_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_TypeInVarDecl_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_TypeVariableDeclarationDuplicateName_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_TypeVariableDeclarationForwardReferences_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_TypeVariableDeclarationWithInvalidWildTypes_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_UninitializedLocalField_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_UninitializedLocalFieldInOperation_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_UnknownConsCall_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_UnknownDotCall_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_UnknownLocalCall_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_UnknownNameRef_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_UnknownNew_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_UnneededJavaImports_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_UnneededMethodTypeParameters_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_UnqualifiedEnumConstUnderSwitch_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_UnqualifiedEnumConstant_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_UnqualifiedStaticCall_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_UnqualifiedStaticFieldReference_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_UnusedPackageClassifier_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_UnusedPrivateClassifier_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_UnusedPrivateMethods_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_UnusedStaticFields_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_UpperBoundType_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_UsingStatement_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_VariableArityType_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_VariableAssignedToItself_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_VolatileFieldNonFinal_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_VolatileStaticFieldNonFinal_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_parametersCount_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new check_switchArgument_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new genericArrayCreatorsAreIllegal_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new genericArrayCreatorsWithInitializerAreIllegal_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new typeof_ClassConcept_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new typeof_ThisConstructorInvocation_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { NonTypesystemRule_Runtime nonTypesystemRule = new voidArraysAreIllegal_NonTypesystemRule(); this.myNonTypesystemRules.add(nonTypesystemRule); } { SubtypingRule_Runtime subtypingRule = new Boolean_extends_boolean_2_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new Boolean_extends_primitive_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new Class_Void_weak_supertypeof_void_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new EnumsAreEnum_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new ObjectArraySupertypes_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new PrimitiveArraySupertypes_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new PrimitiveSubtyping_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new anonymousClassExtendsItsClassifier_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new boolean_extends_Boolean_1_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new byte_boxing_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new byte_extends_short_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new byte_unboxing_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new char_boxing_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new char_extends_int_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new char_unboxing_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new double_boxing_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new double_extends_floatingPoint_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new double_unboxing_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new float_boxing_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new float_extends_double_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new float_unboxing_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new int_boxing_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new int_extends_long_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new int_unboxing_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new java_lang_String_extends_string_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new long_boxing_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new long_extends_float_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new long_extends_integral_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new long_unboxing_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new short_boxing_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new short_extends_int_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new short_unboxing_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new string_extends_java_lang_String_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new subtyping_arrayType_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new subtyping_classifier_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new supertypesOfUpperBoundType_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new supertypes_of_typeVariableReference_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { SubtypingRule_Runtime subtypingRule = new wildCard_is_Object_SubtypingRule(); this.mySubtypingRules.add(subtypingRule); } { ComparisonRule_Runtime comparisonRule = new ClassifierType_comparableTo_raw_ClassifierType_ComparisonRule(); this.myComparisonRules.add(comparisonRule); } { ComparisonRule_Runtime comparisonRule = new Interface_is_comparable_to_ClassifierType_ComparisonRule(); this.myComparisonRules.add(comparisonRule); } { ComparisonRule_Runtime comparisonRule = new TypeVariableReference_compatibleWith_otherType_ComparisonRule(); this.myComparisonRules.add(comparisonRule); } { ComparisonRule_Runtime comparisonRule = new any_type_comparable_to_wildcard_type_ComparisonRule(); this.myComparisonRules.add(comparisonRule); } { ComparisonRule_Runtime comparisonRule = new any_type_comparable_with_nulltype_ComparisonRule(); this.myComparisonRules.add(comparisonRule); } { ComparisonRule_Runtime comparisonRule = new char_compatibleWith_byte_ComparisonRule(); this.myComparisonRules.add(comparisonRule); } { ComparisonRule_Runtime comparisonRule = new typevar_comparable_with_classifier_type_ComparisonRule(); this.myComparisonRules.add(comparisonRule); } { InequationReplacementRule_Runtime eliminationRule = new Arrays_InequationReplacementRule(); this.myInequationReplacementRules.add(eliminationRule); } { InequationReplacementRule_Runtime eliminationRule = new ClassifierType_NOT_subtypeOf_ClassifierType_InequationReplacementRule(); this.myInequationReplacementRules.add(eliminationRule); } { InequationReplacementRule_Runtime eliminationRule = new LowerBoundType_subtypeOf_bound_InequationReplacementRule(); this.myInequationReplacementRules.add(eliminationRule); } { InequationReplacementRule_Runtime eliminationRule = new any_type_subtypeOf_LowerBoundType_InequationReplacementRule(); this.myInequationReplacementRules.add(eliminationRule); } { InequationReplacementRule_Runtime eliminationRule = new any_type_supertypeof_bottom_InequationReplacementRule(); this.myInequationReplacementRules.add(eliminationRule); } { InequationReplacementRule_Runtime eliminationRule = new any_type_supertypeof_nulltype_InequationReplacementRule(); this.myInequationReplacementRules.add(eliminationRule); } { InequationReplacementRule_Runtime eliminationRule = new any_type_supertypeof_wildcard_type_InequationReplacementRule(); this.myInequationReplacementRules.add(eliminationRule); } { InequationReplacementRule_Runtime eliminationRule = new generic_ClassfierType_subtypeOf_generic_ClassifierType_InequationReplacementRule(); this.myInequationReplacementRules.add(eliminationRule); } { InequationReplacementRule_Runtime eliminationRule = new raw_ClassifierType_subtypeOf_generic_ClassifierType_InequationReplacementRule(); this.myInequationReplacementRules.add(eliminationRule); } { InequationReplacementRule_Runtime eliminationRule = new supertypesOfLowerBoundType_InequationReplacementRule(); this.myInequationReplacementRules.add(eliminationRule); } { IVariableConverter_Runtime converter = new IVariableConverter_Runtime() { public boolean isApplicable(SNode contextNode, String role, SNode variable, boolean isAggregation) { if (!(SNodeOperations.isInstanceOf(contextNode, MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x101de48bf9eL, "jetbrains.mps.baseLanguage.structure.ClassifierType")))) { return false; } return ListSequence.fromList(SLinkOperations.getChildren(SNodeOperations.cast(contextNode, MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x101de48bf9eL, "jetbrains.mps.baseLanguage.structure.ClassifierType")), MetaAdapterFactory.getContainmentLink(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x101de48bf9eL, 0x102419671abL, "parameter"))).contains(variable); } public SNode convert(SNode contextNode, String role, SNode variable, boolean isAggregation) { return _quotation_createNode_3ist9o_a0a1a0a0a0lm0a(); } }; this.myVariableConverters.add(converter); } this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_a(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x11d19ec0c2fL, "jetbrains.mps.baseLanguage.structure.BinaryBitwiseOperation"))); this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_a(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0xff2bbc13daL, "jetbrains.mps.baseLanguage.structure.DivExpression"))); this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_a(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0xf8cc67c7f5L, "jetbrains.mps.baseLanguage.structure.MinusExpression"))); this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_a(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0xfe476b758fL, "jetbrains.mps.baseLanguage.structure.MulExpression"))); this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_a(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0xf8cc67c7fbL, "jetbrains.mps.baseLanguage.structure.PlusExpression"))); this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_a(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x10c8d509af4L, "jetbrains.mps.baseLanguage.structure.RemExpression"))); this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_g(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x12094ea9f7dL, "jetbrains.mps.baseLanguage.structure.BinaryCompareOperation"))); this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_h(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x6fea7de6103549b1L, "jetbrains.mps.baseLanguage.structure.UnaryMinus"))); this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_b(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x617aa860be862eaaL, "jetbrains.mps.baseLanguage.structure.AndAssignmentExpression"))); this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_b(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x617aa860be862ea4L, "jetbrains.mps.baseLanguage.structure.DivAssignmentExpression"))); this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_b(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x617aa860be862eaeL, "jetbrains.mps.baseLanguage.structure.LeftShiftAssignmentExpression"))); this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_b(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x11b0d14a4eaL, "jetbrains.mps.baseLanguage.structure.MinusAssignmentExpression"))); this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_b(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x617aa860be8616ecL, "jetbrains.mps.baseLanguage.structure.MulAssignmentExpression"))); this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_b(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x617aa860be862ea8L, "jetbrains.mps.baseLanguage.structure.OrAssignmentExpression"))); this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_b(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x11b0d1476d2L, "jetbrains.mps.baseLanguage.structure.PlusAssignmentExpression"))); this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_b(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x617aa860be862ea6L, "jetbrains.mps.baseLanguage.structure.RemAssignmentExpression"))); this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_b(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x617aa860be862eb0L, "jetbrains.mps.baseLanguage.structure.RightShiftAssignmentExpression"))); this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_b(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x617aa860be862eacL, "jetbrains.mps.baseLanguage.structure.XorAssignmentExpression"))); this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_c(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x617aa860be862eaaL, "jetbrains.mps.baseLanguage.structure.AndAssignmentExpression"))); this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_c(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x617aa860be862ea8L, "jetbrains.mps.baseLanguage.structure.OrAssignmentExpression"))); this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_c(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x617aa860be862eacL, "jetbrains.mps.baseLanguage.structure.XorAssignmentExpression"))); this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_d(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x11b0d1476d2L, "jetbrains.mps.baseLanguage.structure.PlusAssignmentExpression"))); this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_e(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x11d19eede01L, "jetbrains.mps.baseLanguage.structure.BitwiseAndExpression"))); this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_e(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x11d19ef4652L, "jetbrains.mps.baseLanguage.structure.BitwiseOrExpression"))); this.myOverloadedOperationsTypesProviders.add(new TypesystemDescriptor.CustomOverloadedOperationsTypesProvider_e(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x11d19ef69abL, "jetbrains.mps.baseLanguage.structure.BitwiseXorExpression"))); { OverloadedOpsProvider_OneTypeSpecified provider = new OverloadedOpsProvider_OneTypeSpecified() { { this.myOperandType = _quotation_createNode_3ist9o_a0a0a0a0a0a0a133a0(); this.myOperationConcept = MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0xf8cc67c7fbL, "jetbrains.mps.baseLanguage.structure.PlusExpression"); this.myTypeIsExact = false; this.myIsStrong = false; this.myRuleModelId = "r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)"; this.myRuleNodeId = "1533154877881631948"; } public SNode getOperationType(SNode operation, SNode leftOperandType, SNode rightOperandType) { return _quotation_createNode_3ist9o_a0a1a0a0a0a0tm0a(); } @Override public void reportConflict(IRuleConflictWarningProducer producer) { producer.produceWarning(myRuleModelId, myRuleNodeId); } }; this.myOverloadedOperationsTypesProviders.add(provider); } } public static class CustomOverloadedOperationsTypesProvider_a extends OverloadedOperationsTypesProvider { public CustomOverloadedOperationsTypesProvider_a(SAbstractConcept concept) { this.myLeftOperandType = SLinkOperations.getTarget(_quotation_createNode_3ist9o_a0a0a0b(), MetaAdapterFactory.getReferenceLink(0xed6d7656532c4bc2L, 0x81d1af945aeb8280L, 0x10de9cbf8e8L, 0x10de9cbf8e7L, "descriptor")); this.myRightOperandType = SLinkOperations.getTarget(_quotation_createNode_3ist9o_a0a1a0b(), MetaAdapterFactory.getReferenceLink(0xed6d7656532c4bc2L, 0x81d1af945aeb8280L, 0x10de9cbf8e8L, 0x10de9cbf8e7L, "descriptor")); this.myOperationConcept = concept; this.myLeftTypeIsExact = false; this.myRightTypeIsExact = false; this.myRightIsStrong = false; this.myLeftIsStrong = false; this.myRuleModelId = "r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)"; this.myRuleNodeId = "1236166412686"; } public SNode getOperationType(SNode operation, SNode leftOperandType, SNode rightOperandType) { if (SNodeOperations.isInstanceOf(leftOperandType, MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x1185ff468caL, "jetbrains.mps.baseLanguage.structure.NullType")) || SNodeOperations.isInstanceOf(rightOperandType, MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x1185ff468caL, "jetbrains.mps.baseLanguage.structure.NullType"))) { return null; } else { return Queries.getBinaryOperationType(leftOperandType, rightOperandType); } } @Override public void reportConflict(IRuleConflictWarningProducer producer) { producer.produceWarning(myRuleModelId, myRuleNodeId); } private static SNode _quotation_createNode_3ist9o_a0a0a0b() { PersistenceFacade facade = PersistenceFacade.getInstance(); SNode quotedNode_1 = null; quotedNode_1 = SModelUtil_new.instantiateConceptDeclaration(MetaAdapterFactory.getConcept(MetaAdapterFactory.getLanguage(0xed6d7656532c4bc2L, 0x81d1af945aeb8280L, "jetbrains.mps.baseLanguage.blTypes"), 0x10de9cbf8e8L, "PrimitiveTypeRef"), null, null, false); quotedNode_1.setReference(MetaAdapterFactory.getReferenceLink(0xed6d7656532c4bc2L, 0x81d1af945aeb8280L, 0x10de9cbf8e8L, 0x10de9cbf8e7L, "descriptor"), SReference.create(MetaAdapterFactory.getReferenceLink(0xed6d7656532c4bc2L, 0x81d1af945aeb8280L, 0x10de9cbf8e8L, 0x10de9cbf8e7L, "descriptor"), quotedNode_1, facade.createModelReference("r:00000000-0000-4000-0000-011c895902de(jetbrains.mps.baseLanguage.blTypes.primitiveDescriptors)"), facade.createNodeId("1196683729865"))); return quotedNode_1; } private static SNode _quotation_createNode_3ist9o_a0a1a0b() { PersistenceFacade facade = PersistenceFacade.getInstance(); SNode quotedNode_1 = null; quotedNode_1 = SModelUtil_new.instantiateConceptDeclaration(MetaAdapterFactory.getConcept(MetaAdapterFactory.getLanguage(0xed6d7656532c4bc2L, 0x81d1af945aeb8280L, "jetbrains.mps.baseLanguage.blTypes"), 0x10de9cbf8e8L, "PrimitiveTypeRef"), null, null, false); quotedNode_1.setReference(MetaAdapterFactory.getReferenceLink(0xed6d7656532c4bc2L, 0x81d1af945aeb8280L, 0x10de9cbf8e8L, 0x10de9cbf8e7L, "descriptor"), SReference.create(MetaAdapterFactory.getReferenceLink(0xed6d7656532c4bc2L, 0x81d1af945aeb8280L, 0x10de9cbf8e8L, 0x10de9cbf8e7L, "descriptor"), quotedNode_1, facade.createModelReference("r:00000000-0000-4000-0000-011c895902de(jetbrains.mps.baseLanguage.blTypes.primitiveDescriptors)"), facade.createNodeId("1196683729865"))); return quotedNode_1; } } public static class CustomOverloadedOperationsTypesProvider_g extends OverloadedOperationsTypesProvider { public CustomOverloadedOperationsTypesProvider_g(SAbstractConcept concept) { this.myLeftOperandType = SLinkOperations.getTarget(_quotation_createNode_3ist9o_a0a0a0c(), MetaAdapterFactory.getReferenceLink(0xed6d7656532c4bc2L, 0x81d1af945aeb8280L, 0x10de9cbf8e8L, 0x10de9cbf8e7L, "descriptor")); this.myRightOperandType = SLinkOperations.getTarget(_quotation_createNode_3ist9o_a0a1a0c(), MetaAdapterFactory.getReferenceLink(0xed6d7656532c4bc2L, 0x81d1af945aeb8280L, 0x10de9cbf8e8L, 0x10de9cbf8e7L, "descriptor")); this.myOperationConcept = concept; this.myLeftTypeIsExact = false; this.myRightTypeIsExact = false; this.myRightIsStrong = false; this.myLeftIsStrong = false; this.myRuleModelId = "r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)"; this.myRuleNodeId = "1239449442584"; } public SNode getOperationType(SNode operation, SNode leftOperandType, SNode rightOperandType) { return _quotation_createNode_3ist9o_a0a1c(); } @Override public void reportConflict(IRuleConflictWarningProducer producer) { producer.produceWarning(myRuleModelId, myRuleNodeId); } private static SNode _quotation_createNode_3ist9o_a0a0a0c() { PersistenceFacade facade = PersistenceFacade.getInstance(); SNode quotedNode_1 = null; quotedNode_1 = SModelUtil_new.instantiateConceptDeclaration(MetaAdapterFactory.getConcept(MetaAdapterFactory.getLanguage(0xed6d7656532c4bc2L, 0x81d1af945aeb8280L, "jetbrains.mps.baseLanguage.blTypes"), 0x10de9cbf8e8L, "PrimitiveTypeRef"), null, null, false); quotedNode_1.setReference(MetaAdapterFactory.getReferenceLink(0xed6d7656532c4bc2L, 0x81d1af945aeb8280L, 0x10de9cbf8e8L, 0x10de9cbf8e7L, "descriptor"), SReference.create(MetaAdapterFactory.getReferenceLink(0xed6d7656532c4bc2L, 0x81d1af945aeb8280L, 0x10de9cbf8e8L, 0x10de9cbf8e7L, "descriptor"), quotedNode_1, facade.createModelReference("r:00000000-0000-4000-0000-011c895902de(jetbrains.mps.baseLanguage.blTypes.primitiveDescriptors)"), facade.createNodeId("1196683729865"))); return quotedNode_1; } private static SNode _quotation_createNode_3ist9o_a0a1a0c() { PersistenceFacade facade = PersistenceFacade.getInstance(); SNode quotedNode_1 = null; quotedNode_1 = SModelUtil_new.instantiateConceptDeclaration(MetaAdapterFactory.getConcept(MetaAdapterFactory.getLanguage(0xed6d7656532c4bc2L, 0x81d1af945aeb8280L, "jetbrains.mps.baseLanguage.blTypes"), 0x10de9cbf8e8L, "PrimitiveTypeRef"), null, null, false); quotedNode_1.setReference(MetaAdapterFactory.getReferenceLink(0xed6d7656532c4bc2L, 0x81d1af945aeb8280L, 0x10de9cbf8e8L, 0x10de9cbf8e7L, "descriptor"), SReference.create(MetaAdapterFactory.getReferenceLink(0xed6d7656532c4bc2L, 0x81d1af945aeb8280L, 0x10de9cbf8e8L, 0x10de9cbf8e7L, "descriptor"), quotedNode_1, facade.createModelReference("r:00000000-0000-4000-0000-011c895902de(jetbrains.mps.baseLanguage.blTypes.primitiveDescriptors)"), facade.createNodeId("1196683729865"))); return quotedNode_1; } private static SNode _quotation_createNode_3ist9o_a0a1c() { PersistenceFacade facade = PersistenceFacade.getInstance(); SNode quotedNode_1 = null; quotedNode_1 = SModelUtil_new.instantiateConceptDeclaration(MetaAdapterFactory.getConcept(MetaAdapterFactory.getLanguage(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, "jetbrains.mps.baseLanguage"), 0xf940d6513eL, "BooleanType"), null, null, false); return quotedNode_1; } } public static class CustomOverloadedOperationsTypesProvider_h extends OverloadedOperationsTypesProvider { public CustomOverloadedOperationsTypesProvider_h(SAbstractConcept concept) { this.myLeftOperandType = SLinkOperations.getTarget(_quotation_createNode_3ist9o_a0a0a0d(), MetaAdapterFactory.getReferenceLink(0xed6d7656532c4bc2L, 0x81d1af945aeb8280L, 0x10de9cbf8e8L, 0x10de9cbf8e7L, "descriptor")); this.myRightOperandType = _quotation_createNode_3ist9o_a0b0a3(); this.myOperationConcept = concept; this.myLeftTypeIsExact = false; this.myRightTypeIsExact = false; this.myRightIsStrong = false; this.myLeftIsStrong = false; this.myRuleModelId = "r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)"; this.myRuleNodeId = "3860149536565525570"; } public SNode getOperationType(SNode operation, SNode leftOperandType, SNode rightOperandType) { { IMatchingPattern pattern_r12mo3_a0a7 = HUtil.createMatchingPatternByConcept(MetaAdapterFactory.getConcept(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x10f0ad8bde4L, "jetbrains.mps.baseLanguage.structure.PrimitiveType")); SNode coercedNode_r12mo3_a0a7 = TypeChecker.getInstance().getRuntimeSupport().coerce_(leftOperandType, pattern_r12mo3_a0a7); if (coercedNode_r12mo3_a0a7 != null) { return coercedNode_r12mo3_a0a7; } else { return leftOperandType; } } } @Override public void reportConflict(IRuleConflictWarningProducer producer) { producer.produceWarning(myRuleModelId, myRuleNodeId); } private static SNode _quotation_createNode_3ist9o_a0a0a0d() { PersistenceFacade facade = PersistenceFacade.getInstance(); SNode quotedNode_1 = null; quotedNode_1 = SModelUtil_new.instantiateConceptDeclaration(MetaAdapterFactory.getConcept(MetaAdapterFactory.getLanguage(0xed6d7656532c4bc2L, 0x81d1af945aeb8280L, "jetbrains.mps.baseLanguage.blTypes"), 0x10de9cbf8e8L, "PrimitiveTypeRef"), null, null, false); quotedNode_1.setReference(MetaAdapterFactory.getReferenceLink(0xed6d7656532c4bc2L, 0x81d1af945aeb8280L, 0x10de9cbf8e8L, 0x10de9cbf8e7L, "descriptor"), SReference.create(MetaAdapterFactory.getReferenceLink(0xed6d7656532c4bc2L, 0x81d1af945aeb8280L, 0x10de9cbf8e8L, 0x10de9cbf8e7L, "descriptor"), quotedNode_1, facade.createModelReference("r:00000000-0000-4000-0000-011c895902de(jetbrains.mps.baseLanguage.blTypes.primitiveDescriptors)"), facade.createNodeId("1196683729865"))); return quotedNode_1; } private static SNode _quotation_createNode_3ist9o_a0b0a3() { PersistenceFacade facade = PersistenceFacade.getInstance(); SNode quotedNode_1 = null; quotedNode_1 = SModelUtil_new.instantiateConceptDeclaration(MetaAdapterFactory.getConcept(MetaAdapterFactory.getLanguage(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, "jetbrains.mps.baseLanguage"), 0x101de48bf9eL, "ClassifierType"), null, null, false); quotedNode_1.setReference(MetaAdapterFactory.getReferenceLink(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x101de48bf9eL, 0x101de490babL, "classifier"), SReference.create(MetaAdapterFactory.getReferenceLink(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x101de48bf9eL, 0x101de490babL, "classifier"), quotedNode_1, facade.createModelReference("6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)"), facade.createNodeId("~Object"))); return quotedNode_1; } } public static class CustomOverloadedOperationsTypesProvider_b extends OverloadedOperationsTypesProvider { public CustomOverloadedOperationsTypesProvider_b(SAbstractConcept concept) { this.myLeftOperandType = SLinkOperations.getTarget(_quotation_createNode_3ist9o_a0a0a0e(), MetaAdapterFactory.getReferenceLink(0xed6d7656532c4bc2L, 0x81d1af945aeb8280L, 0x10de9cbf8e8L, 0x10de9cbf8e7L, "descriptor")); this.myRightOperandType = _quotation_createNode_3ist9o_a0b0a4(); this.myOperationConcept = concept; this.myLeftTypeIsExact = false; this.myRightTypeIsExact = false; this.myRightIsStrong = false; this.myLeftIsStrong = false; this.myRuleModelId = "r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)"; this.myRuleNodeId = "4957392803029379669"; } public SNode getOperationType(SNode operation, SNode leftOperandType, SNode rightOperandType) { if (TypeChecker.getInstance().getSubtypingManager().isSubtype(rightOperandType, leftOperandType)) { return leftOperandType; } else { return null; } } @Override public void reportConflict(IRuleConflictWarningProducer producer) { producer.produceWarning(myRuleModelId, myRuleNodeId); } private static SNode _quotation_createNode_3ist9o_a0a0a0e() { PersistenceFacade facade = PersistenceFacade.getInstance(); SNode quotedNode_1 = null; quotedNode_1 = SModelUtil_new.instantiateConceptDeclaration(MetaAdapterFactory.getConcept(MetaAdapterFactory.getLanguage(0xed6d7656532c4bc2L, 0x81d1af945aeb8280L, "jetbrains.mps.baseLanguage.blTypes"), 0x10de9cbf8e8L, "PrimitiveTypeRef"), null, null, false); quotedNode_1.setReference(MetaAdapterFactory.getReferenceLink(0xed6d7656532c4bc2L, 0x81d1af945aeb8280L, 0x10de9cbf8e8L, 0x10de9cbf8e7L, "descriptor"), SReference.create(MetaAdapterFactory.getReferenceLink(0xed6d7656532c4bc2L, 0x81d1af945aeb8280L, 0x10de9cbf8e8L, 0x10de9cbf8e7L, "descriptor"), quotedNode_1, facade.createModelReference("r:00000000-0000-4000-0000-011c895902de(jetbrains.mps.baseLanguage.blTypes.primitiveDescriptors)"), facade.createNodeId("1196683729865"))); return quotedNode_1; } private static SNode _quotation_createNode_3ist9o_a0b0a4() { PersistenceFacade facade = PersistenceFacade.getInstance(); SNode quotedNode_1 = null; quotedNode_1 = SModelUtil_new.instantiateConceptDeclaration(MetaAdapterFactory.getConcept(MetaAdapterFactory.getLanguage(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, "jetbrains.mps.baseLanguage"), 0x101de48bf9eL, "ClassifierType"), null, null, false); quotedNode_1.setReference(MetaAdapterFactory.getReferenceLink(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x101de48bf9eL, 0x101de490babL, "classifier"), SReference.create(MetaAdapterFactory.getReferenceLink(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x101de48bf9eL, 0x101de490babL, "classifier"), quotedNode_1, facade.createModelReference("6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)"), facade.createNodeId("~Object"))); return quotedNode_1; } } public static class CustomOverloadedOperationsTypesProvider_c extends OverloadedOperationsTypesProvider { public CustomOverloadedOperationsTypesProvider_c(SAbstractConcept concept) { this.myLeftOperandType = _quotation_createNode_3ist9o_a0a0a5(); this.myRightOperandType = _quotation_createNode_3ist9o_a0b0a5(); this.myOperationConcept = concept; this.myLeftTypeIsExact = false; this.myRightTypeIsExact = false; this.myRightIsStrong = false; this.myLeftIsStrong = false; this.myRuleModelId = "r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)"; this.myRuleNodeId = "4957392803029437149"; } public SNode getOperationType(SNode operation, SNode leftOperandType, SNode rightOperandType) { return leftOperandType; } @Override public void reportConflict(IRuleConflictWarningProducer producer) { producer.produceWarning(myRuleModelId, myRuleNodeId); } private static SNode _quotation_createNode_3ist9o_a0a0a5() { PersistenceFacade facade = PersistenceFacade.getInstance(); SNode quotedNode_1 = null; quotedNode_1 = SModelUtil_new.instantiateConceptDeclaration(MetaAdapterFactory.getConcept(MetaAdapterFactory.getLanguage(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, "jetbrains.mps.baseLanguage"), 0xf940d6513eL, "BooleanType"), null, null, false); return quotedNode_1; } private static SNode _quotation_createNode_3ist9o_a0b0a5() { PersistenceFacade facade = PersistenceFacade.getInstance(); SNode quotedNode_1 = null; quotedNode_1 = SModelUtil_new.instantiateConceptDeclaration(MetaAdapterFactory.getConcept(MetaAdapterFactory.getLanguage(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, "jetbrains.mps.baseLanguage"), 0xf940d6513eL, "BooleanType"), null, null, false); return quotedNode_1; } } public static class CustomOverloadedOperationsTypesProvider_d extends OverloadedOperationsTypesProvider { public CustomOverloadedOperationsTypesProvider_d(SAbstractConcept concept) { this.myLeftOperandType = _quotation_createNode_3ist9o_a0a0a6(); this.myRightOperandType = _quotation_createNode_3ist9o_a0b0a6(); this.myOperationConcept = concept; this.myLeftTypeIsExact = false; this.myRightTypeIsExact = false; this.myRightIsStrong = false; this.myLeftIsStrong = false; this.myRuleModelId = "r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)"; this.myRuleNodeId = "4957392803029437174"; } public SNode getOperationType(SNode operation, SNode leftOperandType, SNode rightOperandType) { return leftOperandType; } @Override public void reportConflict(IRuleConflictWarningProducer producer) { producer.produceWarning(myRuleModelId, myRuleNodeId); } private static SNode _quotation_createNode_3ist9o_a0a0a6() { PersistenceFacade facade = PersistenceFacade.getInstance(); SNode quotedNode_1 = null; quotedNode_1 = SModelUtil_new.instantiateConceptDeclaration(MetaAdapterFactory.getConcept(MetaAdapterFactory.getLanguage(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, "jetbrains.mps.baseLanguage"), 0x11d47da71ecL, "StringType"), null, null, false); return quotedNode_1; } private static SNode _quotation_createNode_3ist9o_a0b0a6() { PersistenceFacade facade = PersistenceFacade.getInstance(); SNode quotedNode_1 = null; quotedNode_1 = SModelUtil_new.instantiateConceptDeclaration(MetaAdapterFactory.getConcept(MetaAdapterFactory.getLanguage(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, "jetbrains.mps.baseLanguage"), 0x101de48bf9eL, "ClassifierType"), null, null, false); quotedNode_1.setReference(MetaAdapterFactory.getReferenceLink(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x101de48bf9eL, 0x101de490babL, "classifier"), SReference.create(MetaAdapterFactory.getReferenceLink(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x101de48bf9eL, 0x101de490babL, "classifier"), quotedNode_1, facade.createModelReference("6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)"), facade.createNodeId("~Object"))); return quotedNode_1; } } public static class CustomOverloadedOperationsTypesProvider_e extends OverloadedOperationsTypesProvider { public CustomOverloadedOperationsTypesProvider_e(SAbstractConcept concept) { this.myLeftOperandType = _quotation_createNode_3ist9o_a0a0a7(); this.myRightOperandType = _quotation_createNode_3ist9o_a0b0a7(); this.myOperationConcept = concept; this.myLeftTypeIsExact = false; this.myRightTypeIsExact = false; this.myRightIsStrong = false; this.myLeftIsStrong = false; this.myRuleModelId = "r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)"; this.myRuleNodeId = "6361444434083801794"; } public SNode getOperationType(SNode operation, SNode leftOperandType, SNode rightOperandType) { return _quotation_createNode_3ist9o_a0a1h(); } @Override public void reportConflict(IRuleConflictWarningProducer producer) { producer.produceWarning(myRuleModelId, myRuleNodeId); } private static SNode _quotation_createNode_3ist9o_a0a0a7() { PersistenceFacade facade = PersistenceFacade.getInstance(); SNode quotedNode_1 = null; quotedNode_1 = SModelUtil_new.instantiateConceptDeclaration(MetaAdapterFactory.getConcept(MetaAdapterFactory.getLanguage(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, "jetbrains.mps.baseLanguage"), 0xf940d6513eL, "BooleanType"), null, null, false); return quotedNode_1; } private static SNode _quotation_createNode_3ist9o_a0b0a7() { PersistenceFacade facade = PersistenceFacade.getInstance(); SNode quotedNode_1 = null; quotedNode_1 = SModelUtil_new.instantiateConceptDeclaration(MetaAdapterFactory.getConcept(MetaAdapterFactory.getLanguage(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, "jetbrains.mps.baseLanguage"), 0xf940d6513eL, "BooleanType"), null, null, false); return quotedNode_1; } private static SNode _quotation_createNode_3ist9o_a0a1h() { PersistenceFacade facade = PersistenceFacade.getInstance(); SNode quotedNode_1 = null; quotedNode_1 = SModelUtil_new.instantiateConceptDeclaration(MetaAdapterFactory.getConcept(MetaAdapterFactory.getLanguage(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, "jetbrains.mps.baseLanguage"), 0xf940d6513eL, "BooleanType"), null, null, false); return quotedNode_1; } } private static SNode _quotation_createNode_3ist9o_a0a1a0a0a0lm0a() { PersistenceFacade facade = PersistenceFacade.getInstance(); SNode quotedNode_1 = null; quotedNode_1 = SModelUtil_new.instantiateConceptDeclaration(MetaAdapterFactory.getConcept(MetaAdapterFactory.getLanguage(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, "jetbrains.mps.baseLanguage"), 0x101de48bf9eL, "ClassifierType"), null, null, false); quotedNode_1.setReference(MetaAdapterFactory.getReferenceLink(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x101de48bf9eL, 0x101de490babL, "classifier"), SReference.create(MetaAdapterFactory.getReferenceLink(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, 0x101de48bf9eL, 0x101de490babL, "classifier"), quotedNode_1, facade.createModelReference("6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)"), facade.createNodeId("~Object"))); return quotedNode_1; } private static SNode _quotation_createNode_3ist9o_a0a0a0a0a0a0a133a0() { PersistenceFacade facade = PersistenceFacade.getInstance(); SNode quotedNode_1 = null; quotedNode_1 = SModelUtil_new.instantiateConceptDeclaration(MetaAdapterFactory.getConcept(MetaAdapterFactory.getLanguage(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, "jetbrains.mps.baseLanguage"), 0x11d47da71ecL, "StringType"), null, null, false); return quotedNode_1; } private static SNode _quotation_createNode_3ist9o_a0a1a0a0a0a0tm0a() { PersistenceFacade facade = PersistenceFacade.getInstance(); SNode quotedNode_1 = null; quotedNode_1 = SModelUtil_new.instantiateConceptDeclaration(MetaAdapterFactory.getConcept(MetaAdapterFactory.getLanguage(0xf3061a5392264cc5L, 0xa443f952ceaf5816L, "jetbrains.mps.baseLanguage"), 0x11d47da71ecL, "StringType"), null, null, false); return quotedNode_1; } }