public void applyRule(
     final SNode value, final TypeCheckingContext typeCheckingContext, IsApplicableStatus status) {
   SNode prop =
       SNodeOperations.getAncestor(
           value,
           "jetbrains.mps.baseLanguage.builders.structure.SimpleBuilderProperty",
           true,
           false);
   {
     SNode _nodeToCheck_1029348928467 = value;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:35ef73a5-9726-4c66-9d79-f51c95cc08d6(jetbrains.mps.baseLanguage.builders.typesystem)",
             "5389689214217316347",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:35ef73a5-9726-4c66-9d79-f51c95cc08d6(jetbrains.mps.baseLanguage.builders.typesystem)",
                 "5389689214217316344",
                 true),
         (SNode) SLinkOperations.getTarget(prop, "type", true),
         _info_12389875345);
   }
 }
コード例 #2
0
 public void applyRule(
     final SNode operation,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = operation;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
             "1240333222958",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
                 "1240333222960",
                 true),
         (SNode)
             _quotation_createNode_trqwsu_a0a0a(
                 SEnumOperation_Behavior.call_getEnum_1240931322043(operation)),
         _info_12389875345);
   }
 }
コード例 #3
0
 public void applyRule(
     final SNode escapeOperation,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = escapeOperation;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)",
             "1461424660015429875",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)",
                 "1461424660015429872",
                 true),
         (SNode) _quotation_createNode_dagtw7_a0a0b(),
         _info_12389875345);
   }
 }
コード例 #4
0
 public void applyRule(
     final SNode nodeToCheck,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = nodeToCheck;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895904c4(jetbrains.mps.buildlanguage.typesystem)",
             "1196872839076",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895904c4(jetbrains.mps.buildlanguage.typesystem)",
                 "1196872829511",
                 true),
         (SNode) _quotation_createNode_9iby9e_a0a0b(),
         _info_12389875345);
   }
 }
コード例 #5
0
 public void applyRule(
     final SNode abstractPrintExpression,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = abstractPrintExpression;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:ae7d1f20-2cfe-46ef-a88a-193353a8b62b(jetbrains.mps.console.base.typesystem)",
             "7656298970878399354",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:ae7d1f20-2cfe-46ef-a88a-193353a8b62b(jetbrains.mps.console.base.typesystem)",
                 "7656298970878398907",
                 true),
         (SNode) _quotation_createNode_5i9h05_a0a0b(),
         _info_12389875345);
   }
 }
コード例 #6
0
 public void applyRule(
     final SNode matchRegexpExpression,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = matchRegexpExpression;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c89590517(jetbrains.mps.baseLanguage.regexp.typesystem)",
             "1223981840542",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c89590517(jetbrains.mps.baseLanguage.regexp.typesystem)",
                 "1223981840547",
                 true),
         (SNode) _quotation_createNode_2m7u6_a0a0b(),
         _info_12389875345);
   }
 }
コード例 #7
0
 public void applyRule(
     final SNode classReference,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = classReference;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895903ab(jetbrains.mps.baseLanguageInternal.typesystem)",
             "8791205313600585971",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895903ab(jetbrains.mps.baseLanguageInternal.typesystem)",
                 "8791205313600585968",
                 true),
         (SNode)
             new typeof_WeakClassReference_InferenceRule.QuotationClass_ptbbvb_a0a0a0()
                 .createNode(typeCheckingContext),
         _info_12389875345);
   }
 }
コード例 #8
0
 public void applyRule(
     final SNode typeVarReference,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = typeVarReference;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895902b1(jetbrains.mps.lang.typesystem.typesystem)",
             "1185878061141",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895902b1(jetbrains.mps.lang.typesystem.typesystem)",
                 "1185878055040",
                 true),
         (SNode)
             typeCheckingContext.typeOf(
                 SLinkOperations.getTarget(typeVarReference, "typeVarDeclaration", false),
                 "r:00000000-0000-4000-0000-011c895902b1(jetbrains.mps.lang.typesystem.typesystem)",
                 "1185878063692",
                 true),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode node, final TypeCheckingContext typeCheckingContext, IsApplicableStatus status) {
   SNode dependentComputationItem =
       SNodeOperations.getAncestor(
           node, "jetbrains.mps.lang.typesystem.structure.DependentComputationItem", false, false);
   if ((dependentComputationItem != null)) {
     {
       SNode _nodeToCheck_1029348928467 = node;
       EquationInfo _info_12389875345 =
           new EquationInfo(
               _nodeToCheck_1029348928467,
               null,
               "r:00000000-0000-4000-0000-011c895902b1(jetbrains.mps.lang.typesystem.typesystem)",
               "6807484249529698295",
               0,
               null);
       typeCheckingContext.createEquation(
           (SNode)
               typeCheckingContext.typeOf(
                   _nodeToCheck_1029348928467,
                   "r:00000000-0000-4000-0000-011c895902b1(jetbrains.mps.lang.typesystem.typesystem)",
                   "6807484249529698304",
                   true),
           (SNode)
               _quotation_createNode_tu3g8h_a0a0b0b(
                   SLinkOperations.getTarget(
                       dependentComputationItem, "blockingNodeConcept", false)),
           _info_12389875345);
     }
   }
 }
コード例 #10
0
 public void applyRule(
     final SNode nodeToCheck,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = SLinkOperations.getTarget(nodeToCheck, "argument", true);
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c89590316(jetbrains.mps.lang.refactoring.typesystem)",
             "1198577561806",
             0,
             null);
     typeCheckingContext.createLessThanInequality(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c89590316(jetbrains.mps.lang.refactoring.typesystem)",
                 "1198577549444",
                 true),
         (SNode) _quotation_createNode_v1suaj_a0a0b(),
         false,
         true,
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode op, final TypeCheckingContext typeCheckingContext, IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = op;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895902f1(jetbrains.mps.lang.generator.generationContext.typesystem)",
             "1216860931325",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895902f1(jetbrains.mps.lang.generator.generationContext.typesystem)",
                 "1216860931336",
                 true),
         (SNode)
             _quotation_createNode_tgcadk_a0a0b(
                 SLinkOperations.getTarget(
                     SLinkOperations.getTarget(op, "label", false), "targetConcept", false)),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode nodeToCheck,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 =
         SLinkOperations.getTarget(nodeToCheck, "destination", true);
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c89590316(jetbrains.mps.lang.refactoring.typesystem)",
             "1199620849752",
             0,
             null);
     typeCheckingContext.createLessThanInequality(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c89590316(jetbrains.mps.lang.refactoring.typesystem)",
                 "1199620849757",
                 true),
         (SNode)
             new typeof_MoveNodesToModelExpression_InferenceRule.QuotationClass_jtfb1h_a0a0a0()
                 .createNode(typeCheckingContext),
         false,
         true,
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode efr, final TypeCheckingContext typeCheckingContext, IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = efr;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:4b1ddbe6-5067-4a27-8697-eb786b50451b(jetbrains.mps.lang.extension.typesystem)",
             "7036359038356115138",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:4b1ddbe6-5067-4a27-8697-eb786b50451b(jetbrains.mps.lang.extension.typesystem)",
                 "7036359038356115126",
                 true),
         (SNode)
             SLinkOperations.getTarget(
                 SLinkOperations.getTarget(efr, "declaration", false), "fieldType", true),
         _info_12389875345);
   }
 }
コード例 #14
0
 public void applyRule(
     final SNode emitCodeForStatement,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 =
         SLinkOperations.getTarget(emitCodeForStatement, "codeFor", true);
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c8959037a(jetbrains.mps.lang.dataFlow.typesystem)",
             "4358085932829606435",
             0,
             null);
     typeCheckingContext.createLessThanInequality(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c8959037a(jetbrains.mps.lang.dataFlow.typesystem)",
                 "4358085932829606431",
                 true),
         (SNode) _quotation_createNode_qloz51_a0a0b(),
         false,
         false,
         _info_12389875345);
   }
 }
コード例 #15
0
 public void applyRule(
     final SNode bootstrapExtentionPoint,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = bootstrapExtentionPoint;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c89590364(jetbrains.mps.lang.plugin.typesystem)",
             "1206194327756",
             0,
             null);
     typeCheckingContext.createLessThanInequality(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c89590364(jetbrains.mps.lang.plugin.typesystem)",
                 "1206194321751",
                 true),
         (SNode) _quotation_createNode_c9h6d0_a0a0b(),
         false,
         false,
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode xmlsaxAttributeReference,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = xmlsaxAttributeReference;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:553bcb75-a1cc-4005-9641-b5a2524d9f6a(jetbrains.mps.core.xml.sax.typesystem)",
             "2264311582634140530",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:553bcb75-a1cc-4005-9641-b5a2524d9f6a(jetbrains.mps.core.xml.sax.typesystem)",
                 "2264311582634140535",
                 true),
         (SNode) _quotation_createNode_b8goj7_a0a0b(),
         _info_12389875345);
   }
 }
コード例 #17
0
 public void applyRule(
     final SNode nodeToCheck,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = nodeToCheck;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
             "1207351244721",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
                 "1207351238265",
                 true),
         (SNode)
             typeCheckingContext.typeOf(
                 SLinkOperations.getTarget(nodeToCheck, "expression", true),
                 "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
                 "1207351249569",
                 false),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode operation,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = operation;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895902f1(jetbrains.mps.lang.generator.generationContext.typesystem)",
             "654553635094952199",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895902f1(jetbrains.mps.lang.generator.generationContext.typesystem)",
                 "654553635094952204",
                 true),
         (SNode) _quotation_createNode_9egx96_a0a0b(),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode language,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = language;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
             "4040588429969539747",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
                 "4040588429969539749",
                 true),
         (SNode) _quotation_createNode_t3jz3d_a0a0b(),
         _info_12389875345);
   }
 }
コード例 #20
0
 public void applyRule(
     final SNode constantReference,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = constantReference;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895903ab(jetbrains.mps.baseLanguageInternal.typesystem)",
             "1585405235656400060",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895903ab(jetbrains.mps.baseLanguageInternal.typesystem)",
                 "1585405235656400057",
                 true),
         (SNode)
             typeCheckingContext.typeOf(
                 SLinkOperations.getTarget(constantReference, "constant", false),
                 "r:00000000-0000-4000-0000-011c895903ab(jetbrains.mps.baseLanguageInternal.typesystem)",
                 "1585405235656400077",
                 true),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode node, final TypeCheckingContext typeCheckingContext, IsApplicableStatus status) {
   SNode conceptDeclaration =
       SLinkOperations.getTarget(
           SNodeOperations.getAncestor(
               node,
               "jetbrains.mps.lang.editor.structure.ParametersInformationQuery",
               false,
               false),
           "applicableConcept",
           false);
   {
     SNode _nodeToCheck_1029348928467 = node;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c8959029a(jetbrains.mps.lang.editor.typesystem)",
             "8546225179494125840",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c8959029a(jetbrains.mps.lang.editor.typesystem)",
                 "8546225179494125837",
                 true),
         (SNode) _quotation_createNode_oj94st_a0b0b(conceptDeclaration),
         _info_12389875345);
   }
 }
コード例 #22
0
 public void applyRule(
     final SNode integerLiteral,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = integerLiteral;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)",
             "1223981484936",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)",
                 "1223981484941",
                 true),
         (SNode) _quotation_createNode_8jy4ru_a0a0a(),
         _info_12389875345);
   }
 }
コード例 #23
0
 public void applyRule(
     final SNode operation,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = operation;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c89590364(jetbrains.mps.lang.plugin.typesystem)",
             "1217023680304",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c89590364(jetbrains.mps.lang.plugin.typesystem)",
                 "1217023680306",
                 true),
         (SNode) _quotation_createNode_1rm79p_a0a0b(),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode styleAttributeReferenceExpression,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = styleAttributeReferenceExpression;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c8959029a(jetbrains.mps.lang.editor.typesystem)",
             "6029276237634420328",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c8959029a(jetbrains.mps.lang.editor.typesystem)",
                 "6029276237634420184",
                 true),
         (SNode)
             _quotation_createNode_mwwp74_a0a0b(
                 StyleAttributeDeclaration_Behavior.call_getClassifierType_6029276237639807717(
                     SLinkOperations.getTarget(
                         styleAttributeReferenceExpression, "attributeDeclaration", false))),
         _info_12389875345);
   }
 }
コード例 #25
0
 public void applyRule(
     final SNode nodeToCheck,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   // assign type
   {
     SNode _nodeToCheck_1029348928467 = nodeToCheck;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
             "1205357746691",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
                 "1205357746693",
                 true),
         (SNode)
             new typeof_AllAttributesQualifier_InferenceRule.QuotationClass_mbq0h7_a0a1a0()
                 .createNode(typeCheckingContext),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode generationContextOp_LinkPatternRef,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = generationContextOp_LinkPatternRef;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895902f1(jetbrains.mps.lang.generator.generationContext.typesystem)",
             "1758784108619297849",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895902f1(jetbrains.mps.lang.generator.generationContext.typesystem)",
                 "1758784108619297856",
                 true),
         (SNode)
             typeCheckingContext.typeOf(
                 SLinkOperations.getTarget(
                     generationContextOp_LinkPatternRef, "linkPatternVar", false),
                 "r:00000000-0000-4000-0000-011c895902f1(jetbrains.mps.lang.generator.generationContext.typesystem)",
                 "1758784108619297851",
                 true),
         _info_12389875345);
   }
 }
コード例 #27
0
 public void applyRule(
     final SNode nodeToCheck,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 =
         SLinkOperations.getTarget(
             nodeToCheck,
             MetaAdapterFactory.getContainmentLink(
                 0x3a13115c633c4c5cL,
                 0xbbcc75c4219e9555L,
                 0x1168c104656L,
                 0x1168c104657L,
                 "expression"));
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c8959034a(jetbrains.mps.lang.quotation.typesystem)",
             "1196866840326",
             0,
             null);
     typeCheckingContext.createLessThanInequality(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c8959034a(jetbrains.mps.lang.quotation.typesystem)",
                 "1196866830959",
                 true),
         (SNode) _quotation_createNode_r9cjy_a0a0b(),
         false,
         true,
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode conceptFunctionParameter_node,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   SNode applicableConcept =
       SLinkOperations.getTarget(
           SNodeOperations.getAncestor(
               conceptFunctionParameter_node,
               "jetbrains.mps.lang.intentions.structure.BaseIntentionDeclaration",
               false,
               false),
           "forConcept",
           false);
   {
     SNode _nodeToCheck_1029348928467 = conceptFunctionParameter_node;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c89590351(jetbrains.mps.lang.intentions.typesystem)",
             "1223982145698",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c89590351(jetbrains.mps.lang.intentions.typesystem)",
                 "1223982145703",
                 true),
         (SNode) _quotation_createNode_jo2b2o_a0b0b(applicableConcept),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode nodeToCheck,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   SNode linkDeclaration = AttributeOperations.getLinkDeclaration(nodeToCheck);
   {
     SNode _nodeToCheck_1029348928467 = nodeToCheck;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c89590343(jetbrains.mps.lang.pattern.typesystem)",
             "1202486181555",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c89590343(jetbrains.mps.lang.pattern.typesystem)",
                 "1202486174317",
                 true),
         (SNode)
             _quotation_createNode_onvofq_a0b0b(
                 SLinkOperations.getTarget(linkDeclaration, "target", false)),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode reference,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = reference;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895902b1(jetbrains.mps.lang.typesystem.typesystem)",
             "1227257237871",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895902b1(jetbrains.mps.lang.typesystem.typesystem)",
                 "1227257233821",
                 true),
         (SNode)
             typeCheckingContext.typeOf(
                 SLinkOperations.getTarget(reference, "quickFixArgument", false),
                 "r:00000000-0000-4000-0000-011c895902b1(jetbrains.mps.lang.typesystem.typesystem)",
                 "1227257241048",
                 true),
         _info_12389875345);
   }
 }