From Vit.Koksa at honeywell.com Tue Dec 16 13:54:54 2014 From: Vit.Koksa at honeywell.com (Koksa, Vit) Date: Tue, 16 Dec 2014 12:54:54 +0000 Subject: [Hets-users] code completion Message-ID: Hello, I read that implementing usable code completion functionality for a programming language is a demanding task, several man-years of effort. Is such functionality available or planned for any languages supported by Hets? Writing e.g. operation profiles or axioms would be cheaper (easier, quicker, and less error-prone), if (just) the possible names that fit into the context were offered. With regards, Vit -------------- next part -------------- An HTML attachment was scrubbed... URL: From Christian.Maeder at dfki.de Thu Dec 18 17:16:50 2014 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Thu, 18 Dec 2014 17:16:50 +0100 Subject: [Hets-users] code completion In-Reply-To: References: Message-ID: <5492FDF2.40704@dfki.de> Hi Vit, hets does not offer completion functionality for its specification languages, although the effort to do so could be (much) less than several man-years by reusing existing stuff. I'm also not aware of plans to add more editing/usability support, as other issues seem more important (and man-power for development is lacking). Cheers Christian P.S. A simple emacs mode for CASL can be found in https://github.com/spechub/Hets/tree/master/utils/el Am 16.12.2014 um 13:54 schrieb Koksa, Vit: > Hello, > > I read that implementing usable code completion functionality for a > programming language is a demanding task, several man-years of effort. > > Is such functionality available or planned for any languages supported > by Hets? Writing e.g. operation profiles or axioms would be cheaper > (easier, quicker, and less error-prone), if (just) the possible names > that fit into the context were offered. > > With regards, > > Vit > > > > _______________________________________________ > Hets-users mailing list > Hets-users at informatik.uni-bremen.de > https://mailman.informatik.uni-bremen.de/mailman/listinfo/hets-users >