ConsPred rule in CrySL grammar

[rbonifacio]

Context: We are working on the XText version of MetaCrySL.

Reading the current CrySL grammar, we found:

ConsPred returns LiteralExpression:
	(consPred = "alg("lit=LiteralExpression ")"| consPred = "mode("lit=LiteralExpression ")" | ...
	| lit=LiteralExpression ;

Is there any reason for not generalizing this definition for any "function"? I mean, perhaps something like:

ConsPred returns LiteralExpression:
	 (consPred = ID "(" lit = LiteralExpression ")"
	| lit=LiteralExpression ;

[marvinvo]

I think it is coming from the definition of JCA's getInstance() parameter strings. They are defined by the three sections: getInstance("alg/mode/pad").

https://github.com/eclipse-cognicrypt/CogniCrypt/blob/ef64a0f2aa7bd54fdc70ae518691cfadf7f47f53/plugins/de.cognicrypt.crysl.handler/src/main/java/de/cognicrypt/crysl/reader/CrySLParser.java#L389
As you can also see here, the predefined function names are used to identify the index for a splitter, which can probably cut out the value at the correct section in such a getInstance string.

Hope that helps!