key word "param" -> "parm"

Author: zhezhouzz

Src/PCompiler/CompilerCore/Parser/PLexer.g4

@@ -59,7 +59,7 @@ THIS      : 'this' ;
 TYPE      : 'type' ;
 VALUES    : 'values' ;
 VAR       : 'var' ;
-PARAM       : 'param' ;
+PARAM     : 'parm' ;
 WHILE     : 'while' ;
 WITH      : 'with' ;
 CHOOSE    : 'choose' ;
@@ -70,7 +70,6 @@ CHOOSE    : 'choose' ;
 MODULE         : 'module' ;
 IMPLEMENTATION : 'implementation' ;
 TEST           : 'test' ;
-PARAMTEST      : 'paramtest' ;
 REFINES        : 'refines' ;
 
 // module constructors

Tst/TestParamTester/1_ClientServer/PSrc/Client.p

@@ -21,7 +21,7 @@ event eWithDrawReq : tWithDrawReq;
 // event: withdraw response (from bank server to client)
 event eWithDrawResp: tWithDrawResp;
 
-param g1 : int;
+parm g1 : int;
 
 machine Client
 {

Tst/TestParamTester/1_ClientServer/PSrc/Server.p

@@ -13,7 +13,7 @@ if there is enough money in the account then it updates the new balance in the d
 and sends a response back to the client.
 *************************************************************/
 
-param g2 : int;
+parm g2 : int;
 
 machine BankServer
 {

Tst/TestParamTester/1_ClientServer/PTst/TestDriver.p

@@ -21,7 +21,7 @@ machine TestWithMultipleClients
   }
 }
 
-param nClients: int;
+parm nClients: int;
 
 machine TestWithConfig {
   start state Init {

Tst/TestParamTester/1_ClientServer/PTst/Testscript.p

@@ -15,17 +15,17 @@ test tcMultipleClients [main=TestWithMultipleClients]:
   assert BankBalanceIsAlwaysCorrect, GuaranteedWithDrawProgress in
   (union Client, AbstractBank, { TestWithSingleClient });
 
-test param (nClients in [2, 3, 4], g1 in [1,2], g2 in [4, 5]) aaaa1 [main=TestWithConfig]:
+test parm (nClients in [2, 3, 4], g1 in [1,2], g2 in [4, 5]) aaaa1 [main=TestWithConfig]:
   assert BankBalanceIsAlwaysCorrect, GuaranteedWithDrawProgress in
   (union Client, Bank, { TestWithConfig });
 
-test param (nClients in [2, 3, 4], g1 in [1,2], g2 in [4, 5]) assume (nClients + g1 < g2) aaaa2 [main=TestWithConfig]:
+test parm (nClients in [2, 3, 4], g1 in [1,2], g2 in [4, 5]) assume (nClients + g1 < g2) aaaa2 [main=TestWithConfig]:
   assert BankBalanceIsAlwaysCorrect, GuaranteedWithDrawProgress in
   (union Client, Bank, { TestWithConfig });
 
-param b1: bool;
+parm b1: bool;
 
-test param (nClients in [2, 3, 4], g1 in [1,2], g2 in [4, 5], b1 in [true, false]) assume (b1 == (nClients + g1 > g2)) aaaa3 [main=TestWithConfig]:
+test parm (nClients in [2, 3, 4], g1 in [1,2], g2 in [4, 5], b1 in [true, false]) assume (b1 == (nClients + g1 > g2)) aaaa3 [main=TestWithConfig]:
   assert BankBalanceIsAlwaysCorrect, GuaranteedWithDrawProgress in
   (union Client, Bank, { TestWithConfig });