Update: to #result

Author: rajshivu

liquidjava-example/src/main/java/testSuite/CorrectResult.java

@@ -4,12 +4,12 @@
 
 public class CorrectResult {
 
-    @Refinement("$result > 10")
+    @Refinement("#result > 10")
     public int getLargeNumber() {
         return 15;
     }
 
-    @Refinement("$result == (a + b)")
+    @Refinement("#result == (a + b)")
     public int sum(int a, int b) {
         return a + b;
     }

liquidjava-example/src/main/java/testSuite/ErrorResultVariable.java

@@ -4,7 +4,7 @@
 
 public class ErrorResultVariable {
     public void test() {
-        @Refinement("$result > 0") 
+        @Refinement("#result > 0") 
         int x = 10; 
     }
 }

liquidjava-verifier/src/main/antlr4/rj/grammar/RJ.g4

@@ -97,7 +97,7 @@ BOOL    : 'true' | 'false';
 ID_UPPER: ([A-Z][a-zA-Z0-9]*);
 OBJECT_TYPE:
 		  (([a-zA-Z][a-zA-Z0-9]+) ('.' [a-zA-Z][a-zA-Z0-9]*)+);	  
-RESULT  : '$result';		  
+RESULT  : '#result';		  
 ID     	: '#'*[a-zA-Z_][a-zA-Z0-9_#]*;
 STRING  : '"'(~["])*'"';
 INT     : 	(([0-9]+) |	([0-9]+('_'[0-9]+)*));

liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/general_checkers/MethodsFunctionsChecker.java

@@ -162,7 +162,7 @@ private Predicate handleFunctionRefinements(RefinedFunction f, CtElement method,
         Optional<Predicate> oret = rtc.getRefinementFromAnnotation(method);
         Predicate ret = oret.orElse(new Predicate());
         ret = ret.substituteVariable("return", Keys.WILDCARD);
-        ret = ret.substituteVariable("$result", Keys.WILDCARD);
+        ret = ret.substituteVariable("#result", Keys.WILDCARD);
         f.setRefReturn(ret);
         rtc.getMessageFromAnnotation(method).ifPresent(f::setMessage);
         return Predicate.createConjunction(joint, ret);

liquidjava-verifier/src/main/java/liquidjava/rj_language/visitors/CreateASTVisitor.java

@@ -160,7 +160,7 @@ else if (rc instanceof LitContext)
         else if (rc instanceof VarContext) {
             return new Var(((VarContext) rc).ID().getText());
         } else if (rc instanceof ResultContext) {
-            return new Var("$result");
+            return new Var("#result");
         } else if (rc instanceof InvocationContext) {
             return create(((InvocationContext) rc).functionCall());
         } else {