When editing in the editor I get the following stack trace.
Error messages from NaBL2 show up, but error messages from my 2nd phase analysis do not show up.

Stack trace:

Caused by: org.metaborg.core.MetaborgException: Invoking Stratego strategy editor-analyze failed unexpectedly
Stratego trace:
	editor_analyze_0_0
	nabl2_analyze_1_0
	nabl2__analyze_1_0
	nabl2_custom_analysis_final_hook_0_1
	with_1_1
	nabl2_after_analysis_0_2
	with_1_1
	depends_on_and_flows_to_2_0_0
	with_1_1
	fmap_1_0
	flat_map_1_0
	map_1_0
	with_1_1
	map_1_0
	path_0_1
	with_1_1
	attributename_get_entityname_0_0
	get_scope_assoc_name_0_0
	get_scope_assoc_names_0_0
	get_scope_assoc_names_with_labels_0_0
	nabl2_get_scope_assocs_0_1
	nabl2__get_scope_assocs_0_1
org.spoofax.interpreter.core.InterpreterException: Exception during evaluation: Exception in interpreter: No such function : 'SG_get_scope_assocs'
	at org.metaborg.spoofax.core.stratego.StrategoCommon.handleException(StrategoCommon.java:157) ~[org.metaborg.spoofax.core_2.2.0.20170112-141246-master.jar:na]
	at org.metaborg.spoofax.core.stratego.StrategoCommon.invoke(StrategoCommon.java:118) ~[org.metaborg.spoofax.core_2.2.0.20170112-141246-master.jar:na]
	at org.metaborg.spoofax.core.analysis.constraint.AbstractConstraintAnalyzer.doAction(AbstractConstraintAnalyzer.java:141) [org.metaborg.spoofax.core_2.2.0.20170112-141246-master.jar:na]
	... 18 common frames omitted

Spoofax version:

Eclipse: org.eclipse.platform.ide 4.6.2.M20161124-1400
Spoofax: org.metaborg.spoofax.eclipse 2.2.0.20170112-141246-master
System: Mac OS X x86_64 10.12.2
Submitted by Daco Harkes on 18 January 2017 at 13:41

On 18 January 2017 at 13:43 Daco Harkes commented:

This is probably also the cause of accessing the custom analysis failing in hover messages:

Stratego trace:
	editor_hover_0_0
	with_1_1 <==
	nabl2_get_custom_analysis_0_0
	nabl2__get_custom_analysis_0_0

Edit: no this is not the cause, see issue #23.


On 18 January 2017 at 13:58 Daco Harkes commented:

Example file that triggers nabl2-get-scope-assocs:

module debug

model
  
  entity Foo{
    a : Int = a
  }

data

  f:Foo{
  
  }

execute

  5 <+ 5 + ""

IceDust version:
https://github.com/MetaBorgCube/IceDust/tree/1fb21582c334cba2b5e0e1535d9214efa1adb48f



On 18 January 2017 at 15:36 Hendrik van Antwerpen closed this issue.

Log in to post comments