Add local variable with the “let” keyword.

A local variable is a contract variable, it does not represent a data of
the program (class attribute or method argument).

In Praspel:
    @requires let size: 1..5
          and arr: array([…], size);
In PHP
    $requires = $specification->getClause('requires');
    $requires->let['size']->in = realdom()->boundinteger(1, 5);
    $requires['arr']->in       = realdom()->array(…, $requires['size']);

1 files changed, 2 insertions, 0 deletions

diff --git a/Grammar.pp b/Grammar.pp
index 1fe9dd0..3617f51 100644
--- a/Grammar.pp
+++ b/Grammar.pp
@@ -96,6 +96,7 @@
 %token  default         …|default
 %token  contains        contains
 %token  is              is
+%token  let             let
 
 // Constants.
 %token  null            null|void
@@ -178,6 +179,7 @@ exception:
 //              NO
 
 #declaration:
+    ( ::let:: #local_declaration )?
     extended_identifier() ::colon:: representation()
 
 representation: