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);
}
}
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);
}
}
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);
}
}
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);
}
}
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);
}
}
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);
}
}
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);
}
}
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);
}
}
}
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);
}
}
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);
}
}
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);
}
}
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);
}
}
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);
}
}
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);
}
}
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);
}
}
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);
}
}
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);
}
}
