K-user mailing list

[samira kherfellah <samira.kherfellah AT gmail.com>]

Hi all,

I want to declare variables in my program, for this, I added in my syntax:

syntax Vardecl ::= "var" Id TypeVar ";"
                       
 syntax TypeVar ::= "integer" | "boolean" | "string"


I added in the semantic, these rules:

rule <k> var X integer ;  => X:Int ...</k>

rule <k> var X boolean ;  => X:Bool ...</k>

rule <k> var X string ;  => X:String ...</k>

In the program test, i have:

...

process p(1);

const M = 5 ;
var i integer;

   state init2 #start ;
   ...
   provided (i < M);
   ...
   endstate ;

endprocess;

...

But at compilation, 'i' is not recognized as integer. I forgot something in the syntax or semantics?

Sincerly,

Samira