conjure icon indicating copy to clipboard operation
conjure copied to clipboard

Published 20 hours ago • verified publisher icon conjure-cp

IDE - Type querying for hovers in VSCode Extension

Open Revilotom opened this issue 5 years ago • 5 comments

We could have a mode:

conjure ide --getType model.essence <nameOfType>

That could return the type of a decision variable within the model:

"set of set of int(1..10)"

Revilotom avatar May 28 '19 10:05 Revilotom

Is this close enough to what you want @Revilotom?

See the example in the above commit. It's towards the end.

ozgurakgun avatar Jun 03 '19 14:06 ozgurakgun

@ozgurakgun This doesn't seem to include lettings? Is this on purpose?

Revilotom avatar Jun 04 '19 10:06 Revilotom

This should be better, see the example in the commit.

ozgurakgun avatar Jun 12 '19 18:06 ozgurakgun

ditto #417

ozgurakgun avatar Jun 12 '19 20:06 ozgurakgun

We will add a textual description field to be used by the IDE for hovers. And a isValidEssence boolean field to say whether the description is intended to be valid Essence (and hence should be highlighted as E) or not.

ozgurakgun avatar Jun 18 '19 15:06 ozgurakgun