search

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Other
709 stars 124 forks source link

Command class nameExpr member #68

Closed s-arash closed 2 years ago

s-arash commented 6 years ago

Can someone clarify the role of the field nameExpr of class Command? For this command

check TT{ some foo : Foo | some foo.next }

the nameExpr field is an ExprUnary with this .toString(): "(some foo | some foo.next)" and an ExprBadJoin subexpression.

I'm asking because this causes visitExpressions() on the containing module to fail, which causes hover and doNav operations in OurSyntaxWidget to fail.

pkriens commented 2 years ago

Still a problem?

s-arash commented 2 years ago

I must have fixed it in my branch.