org.metaborg.core.transform.TransformException: Invoking Stratego strategy module-to-core-editor failed at term Formula( Relation( Reads([]) , Source(VarRef("_lifted_54"), []) , NamedDynamicEmitted([], "initDefault") , Target( VarRef("_lifted_55") , [LabelComp(SimpleSort("H"), VarRef("h"))] ) ) ) Stratego trace: module_to_core_editor_0_0 module_to_core_editor_0_0 module_to_core_0_2 in_project_path_1_1 dr_scope_1_1 explicate_module_0_0 m_in_extracted_components_1_0 explicate_rules_0_0 alltd_1_0 explicate_rule_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premise_0_0 report_with_failure_0_1 report_failure_0_2 SRTS_EXT_fatal_err_0_2

GitHub | casperbp | 4 months ago
  1. 0

    Explication bug

    GitHub | 4 months ago | casperbp
    org.metaborg.core.transform.TransformException: Invoking Stratego strategy module-to-core-editor failed at term Formula( Relation( Reads([]) , Source(VarRef("_lifted_54"), []) , NamedDynamicEmitted([], "initDefault") , Target( VarRef("_lifted_55") , [LabelComp(SimpleSort("H"), VarRef("h"))] ) ) ) Stratego trace: module_to_core_editor_0_0 module_to_core_editor_0_0 module_to_core_0_2 in_project_path_1_1 dr_scope_1_1 explicate_module_0_0 m_in_extracted_components_1_0 explicate_rules_0_0 alltd_1_0 explicate_rule_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premise_0_0 report_with_failure_0_1 report_failure_0_2 SRTS_EXT_fatal_err_0_2

    Root Cause Analysis

    1. org.metaborg.core.transform.TransformException

      Invoking Stratego strategy module-to-core-editor failed at term Formula( Relation( Reads([]) , Source(VarRef("_lifted_54"), []) , NamedDynamicEmitted([], "initDefault") , Target( VarRef("_lifted_55") , [LabelComp(SimpleSort("H"), VarRef("h"))] ) ) ) Stratego trace: module_to_core_editor_0_0 module_to_core_editor_0_0 module_to_core_0_2 in_project_path_1_1 dr_scope_1_1 explicate_module_0_0 m_in_extracted_components_1_0 explicate_rules_0_0 alltd_1_0 explicate_rule_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premise_0_0 report_with_failure_0_1 report_failure_0_2 SRTS_EXT_fatal_err_0_2

      at org.metaborg.spoofax.core.transform.StrategoTransformer.transform()
    2. org.metaborg.spoofax
      StrategoTransformer.transform
      1. org.metaborg.spoofax.core.transform.StrategoTransformer.transform(StrategoTransformer.java:140)[org.metaborg.spoofax.core_2.1.0.20160809-125800-feature_scopes-and-frames.jar:na]
      2. org.metaborg.spoofax.core.transform.StrategoTransformer.transform(StrategoTransformer.java:65)[org.metaborg.spoofax.core_2.1.0.20160809-125800-feature_scopes-and-frames.jar:na]
      3. org.metaborg.spoofax.core.transform.StrategoTransformer.transform(StrategoTransformer.java:1)[org.metaborg.spoofax.core_2.1.0.20160809-125800-feature_scopes-and-frames.jar:na]
      3 frames
    3. org.metaborg.core
      TransformService.transform
      1. org.metaborg.core.transform.TransformService.transform(TransformService.java:55)[org.metaborg.core_2.1.0.20160809-125800-feature_scopes-and-frames.jar:na]
      2. org.metaborg.core.transform.TransformService.transform(TransformService.java:42)[org.metaborg.core_2.1.0.20160809-125800-feature_scopes-and-frames.jar:na]
      2 frames
    4. org.metaborg.spoofax
      TransformJob.run
      1. org.metaborg.spoofax.eclipse.transform.TransformJob.transform(TransformJob.java:141)[org.metaborg.spoofax.eclipse_2.1.0.20160809-125800-feature_scopes-and-frames.jar:na]
      2. org.metaborg.spoofax.eclipse.transform.TransformJob.transformAll(TransformJob.java:108)[org.metaborg.spoofax.eclipse_2.1.0.20160809-125800-feature_scopes-and-frames.jar:na]
      3. org.metaborg.spoofax.eclipse.transform.TransformJob.run(TransformJob.java:70)[org.metaborg.spoofax.eclipse_2.1.0.20160809-125800-feature_scopes-and-frames.jar:na]
      3 frames
    5. Eclipse Jobs
      Worker.run
      1. org.eclipse.core.internal.jobs.Worker.run(Worker.java:55)[org.eclipse.core.jobs_3.8.0.v20160509-0411.jar:na]
      1 frame