public void applyRule(
final SNode operation,
final TypeCheckingContext typeCheckingContext,
IsApplicableStatus status) {
SNode attr =
BehaviorReflection.invokeVirtual(
(Class<SNode>) ((Class) Object.class),
SLinkOperations.getTarget(operation, "qualifier", true),
"virtual_getTargetConcept_6407023681583066586",
new Object[] {});
if (AttributeDesignTimeOperations.isMultipleAttribute(attr)
|| SNodeOperations.isInstanceOf(
SLinkOperations.getTarget(operation, "qualifier", true),
"jetbrains.mps.lang.smodel.structure.AllAttributeQualifier")) {
{
SNode _nodeToCheck_1029348928467 = operation;
EquationInfo _info_12389875345 =
new EquationInfo(
_nodeToCheck_1029348928467,
null,
"r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
"2788452359612125336",
0,
null);
typeCheckingContext.createEquation(
(SNode)
typeCheckingContext.typeOf(
_nodeToCheck_1029348928467,
"r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
"2788452359612125333",
true),
(SNode) _quotation_createNode_dktlpw_a0a0b0b(attr),
_info_12389875345);
}
} else {
{
SNode _nodeToCheck_1029348928467 = operation;
EquationInfo _info_12389875345 =
new EquationInfo(
_nodeToCheck_1029348928467,
null,
"r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
"2788452359612125358",
0,
null);
typeCheckingContext.createEquation(
(SNode)
typeCheckingContext.typeOf(
_nodeToCheck_1029348928467,
"r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
"2788452359612125355",
true),
(SNode) _quotation_createNode_dktlpw_a0a0a1a1(attr),
_info_12389875345);
}
}
}
public void applyRule(
final SNode binaryOperation,
final TypeCheckingContext typeCheckingContext,
IsApplicableStatus status) {
{
SNode _nodeToCheck_1029348928467 = SLinkOperations.getTarget(binaryOperation, "left", true);
EquationInfo _info_12389875345 =
new EquationInfo(
_nodeToCheck_1029348928467,
null,
"r:8c01d5e0-82c3-43e7-9986-af954df6cb8b(jetbrains.mps.samples.lambdaCalculus.typesystem)",
"6645816968628541097",
0,
null);
typeCheckingContext.createEquation(
(SNode)
typeCheckingContext.typeOf(
_nodeToCheck_1029348928467,
"r:8c01d5e0-82c3-43e7-9986-af954df6cb8b(jetbrains.mps.samples.lambdaCalculus.typesystem)",
"6645816968628541093",
true),
(SNode)
typeCheckingContext.typeOf(
SLinkOperations.getTarget(binaryOperation, "right", true),
"r:8c01d5e0-82c3-43e7-9986-af954df6cb8b(jetbrains.mps.samples.lambdaCalculus.typesystem)",
"1888188276221891129",
true),
_info_12389875345);
}
{
SNode _nodeToCheck_1029348928467 = binaryOperation;
EquationInfo _info_12389875345 =
new EquationInfo(
_nodeToCheck_1029348928467,
null,
"r:8c01d5e0-82c3-43e7-9986-af954df6cb8b(jetbrains.mps.samples.lambdaCalculus.typesystem)",
"4530871765544565313",
0,
null);
typeCheckingContext.createEquation(
(SNode)
typeCheckingContext.typeOf(
_nodeToCheck_1029348928467,
"r:8c01d5e0-82c3-43e7-9986-af954df6cb8b(jetbrains.mps.samples.lambdaCalculus.typesystem)",
"4530871765544565317",
true),
(SNode)
typeCheckingContext.typeOf(
SLinkOperations.getTarget(binaryOperation, "right", true),
"r:8c01d5e0-82c3-43e7-9986-af954df6cb8b(jetbrains.mps.samples.lambdaCalculus.typesystem)",
"1888188276221891135",
true),
_info_12389875345);
}
}
public void applyRule(
final SNode isOperation,
final TypeCheckingContext typeCheckingContext,
IsApplicableStatus status) {
{
SNode _nodeToCheck_1029348928467 = isOperation;
EquationInfo _info_12389875345 =
new EquationInfo(
_nodeToCheck_1029348928467,
null,
"r:139daa25-c5a7-4ac9-85a2-eb14d22e8f56(jetbrains.mps.lang.dataFlow.analyzers.typesystem)",
"7985661997283737353",
0,
null);
typeCheckingContext.createEquation(
(SNode)
typeCheckingContext.typeOf(
_nodeToCheck_1029348928467,
"r:139daa25-c5a7-4ac9-85a2-eb14d22e8f56(jetbrains.mps.lang.dataFlow.analyzers.typesystem)",
"7985661997283737355",
true),
(SNode) _quotation_createNode_topy54_a0a0b(),
_info_12389875345);
}
{
SNode _nodeToCheck_1029348928467 =
SLinkOperations.getTarget(
isOperation,
MetaAdapterFactory.getContainmentLink(
0x97a52717898f4598L,
0x8150573d9fd03868L,
0x6ed2c546d46ea462L,
0x6ed2c546d46efef1L,
"left"));
EquationInfo _info_12389875345 =
new EquationInfo(
_nodeToCheck_1029348928467,
null,
"r:139daa25-c5a7-4ac9-85a2-eb14d22e8f56(jetbrains.mps.lang.dataFlow.analyzers.typesystem)",
"7985661997283737366",
0,
null);
typeCheckingContext.createEquation(
(SNode)
typeCheckingContext.typeOf(
_nodeToCheck_1029348928467,
"r:139daa25-c5a7-4ac9-85a2-eb14d22e8f56(jetbrains.mps.lang.dataFlow.analyzers.typesystem)",
"7985661997283737368",
true),
(SNode) _quotation_createNode_topy54_a0b0b(),
_info_12389875345);
}
}
public void applyRule(
final SNode expression,
final TypeCheckingContext typeCheckingContext,
IsApplicableStatus status) {
{
SNode _nodeToCheck_1029348928467 = SLinkOperations.getTarget(expression, "datetime", true);
EquationInfo _info_12389875345 =
new EquationInfo(
_nodeToCheck_1029348928467,
null,
"r:00000000-0000-4000-0000-011c895903d1(jetbrains.mps.baseLanguage.dates.typesystem)",
"194163770812065865",
0,
null);
typeCheckingContext.createEquation(
(SNode)
typeCheckingContext.typeOf(
_nodeToCheck_1029348928467,
"r:00000000-0000-4000-0000-011c895903d1(jetbrains.mps.baseLanguage.dates.typesystem)",
"194163770812065857",
true),
(SNode)
new typeof_InlineFormatDateTimeExpression_InferenceRule.QuotationClass_b8ga6b_a0a0a0()
.createNode(typeCheckingContext),
_info_12389875345);
}
{
SNode _nodeToCheck_1029348928467 = expression;
EquationInfo _info_12389875345 =
new EquationInfo(
_nodeToCheck_1029348928467,
null,
"r:00000000-0000-4000-0000-011c895903d1(jetbrains.mps.baseLanguage.dates.typesystem)",
"194163770812164125",
0,
null);
typeCheckingContext.createEquation(
(SNode)
typeCheckingContext.typeOf(
_nodeToCheck_1029348928467,
"r:00000000-0000-4000-0000-011c895903d1(jetbrains.mps.baseLanguage.dates.typesystem)",
"194163770812164122",
true),
(SNode)
new typeof_InlineFormatDateTimeExpression_InferenceRule.QuotationClass_b8ga6b_a0a1a0()
.createNode(typeCheckingContext),
_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 property,
final TypeCheckingContext typeCheckingContext,
IsApplicableStatus status) {
{
SNode _nodeToCheck_1029348928467 = property;
EquationInfo _info_12389875345 =
new EquationInfo(
_nodeToCheck_1029348928467,
null,
"r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)",
"1201468313014",
0,
null);
typeCheckingContext.createEquation(
(SNode)
typeCheckingContext.typeOf(
_nodeToCheck_1029348928467,
"r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)",
"1201468307043",
true),
(SNode) SLinkOperations.getTarget(property, "type", true),
_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) {
// 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 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 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 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 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 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 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 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 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 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 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);
}
}
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 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 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 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-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 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 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 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 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 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 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 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);
}
}