I’d prefer „Code Mining“. I would like to argue that „Mining“ is an action verb and somehow disjunct from the noun „Code“, and describes the action that is performed on code. This is somehow different from „CodeLens“, which is a compound of two nouns. But I’m not a (natural) language expert.
~Karsten > Am 24.05.2018 um 09:52 schrieb Lars Vogel <[email protected]>: > > Friends of annotated text editors, > > what is the new official term for our "CodeLens" implementation? Do we > call is CodeMining or "Code Mining"? > > I privately checked with Angelo but he is also not sure. :-) > > Dani / Mickael, opinions? > > Best regards, Lars > > -- > Eclipse Platform project co-lead > CEO vogella GmbH > > Haindaalwisch 17a, 22395 Hamburg > Amtsgericht Hamburg: HRB 127058 > Geschäftsführer: Lars Vogel, Jennifer Nerlich de Vogel > USt-IdNr.: DE284122352 > Fax (040) 5247 6322, Email: [email protected], Web: > http://www.vogella.com > _______________________________________________ > platform-dev mailing list > [email protected] > To change your delivery options, retrieve your password, or unsubscribe from > this list, visit > https://dev.eclipse.org/mailman/listinfo/platform-dev _______________________________________________ platform-dev mailing list [email protected] To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/platform-dev
