IDE - Type querying for hovers in VSCode Extension

conjure-cp / conjure

Conjure: The Automated Constraint Modelling Tool

Other

94 stars 20 forks source link

IDE - Type querying for hovers in VSCode Extension #411

Closed Revilotom closed 7 months ago

Revilotom commented 5 years ago

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)"

ozgurakgun commented 5 years ago

Is this close enough to what you want @Revilotom?

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

Revilotom commented 5 years ago

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

ozgurakgun commented 5 years ago

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

ozgurakgun commented 5 years ago

ditto #417

ozgurakgun commented 5 years ago

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.