Removed TODOs

Author: alcides

liquidjava-api/src/main/java/liquidjava/specification/Ghost.java

@@ -7,13 +7,14 @@
 import java.lang.annotation.Target;
 
 /**
- * Annotation to create a ghost variable for a class. The annotation receives the type and name of
+ * Annotation to create a ghost variable for a class. The annotation receives
+ * the type and name of
  * the ghost within a string e.g. @Ghost("int size")
  *
  * @author catarina gamboa
  */
 @Retention(RetentionPolicy.RUNTIME)
-@Target({ElementType.TYPE})
+@Target({ ElementType.TYPE })
 @Repeatable(GhostMultiple.class)
 public @interface Ghost {
   public String value();

liquidjava-verifier/pom.xml

@@ -110,7 +110,7 @@
 		<!-- versions -->
 		<version.junit>4.13.1</version.junit>
 		<version.memcompiler>1.3.0</version.memcompiler>
-		<version.spoon>7.3.0-SNAPSHOT</version.spoon>
+		<version.spoon>10.4.2</version.spoon>
 		<version.z3>4.8.8</version.z3>
 		<version.liquidjava>1.0</version.liquidjava>
 		<!-- plugin versions -->
@@ -140,7 +140,7 @@
 		<dependency>
 			<groupId>fr.inria.gforge.spoon</groupId>
 			<artifactId>spoon-core</artifactId>
-			<version>7.3.0</version>
+			<version>10.4.2</version>
 		</dependency>
 		<dependency>
 			<groupId>tools.aqua</groupId>

liquidjava-verifier/src/main/java/liquidjava/processor/context/AliasWrapper.java

@@ -99,7 +99,6 @@ public AliasDTO createAliasDTO() {
     }
 
     // public Expression getSubstitutedExpression(List<String> newNames) {
-    // // TODO Auto-generated method stub
     // return null;
     // }
     //

liquidjava-verifier/src/main/java/liquidjava/processor/context/GhostState.java

@@ -11,7 +11,6 @@ public class GhostState extends GhostFunction {
 
     public GhostState(String name, List<CtTypeReference<?>> list, CtTypeReference<?> return_type, String klass) {
         super(name, list, return_type, klass);
-        // TODO Auto-generated constructor stub
     }
 
     public void setGhostParent(GhostFunction parent) {

liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/RefinementTypeChecker.java

@@ -348,7 +348,9 @@ public <T> void visitCtVariableRead(CtVariableRead<T> variableRead) {
         getPutVariableMetadada(variableRead, varDecl.getSimpleName());
     }
 
-    /** Visitor for binary operations Adds metadata to the binary operations from the operands */
+    /**
+     * Visitor for binary operations Adds metadata to the binary operations from the operands
+     */
     @Override
     public <T> void visitCtBinaryOperator(CtBinaryOperator<T> operator) {
         if (errorEmitter.foundError()) {
@@ -469,7 +471,6 @@ public <T> void visitCtArrayWrite(CtArrayWrite<T> arrayWrite) {
             return; // error already in ErrorEmitter
         }
         arrayWrite.putMetadata(REFINE_KEY, fp);
-        // TODO fazer mais...? faz sentido
     }
 
     @Override

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

@@ -100,8 +100,9 @@ public <T> void getBinaryOpRefinements(CtBinaryOperator<T> operator) throws Pars
      * 
      * @throws ParsingException
      */
+    @SuppressWarnings({ "unchecked" })
     public <T> void getUnaryOpRefinements(CtUnaryOperator<T> operator) throws ParsingException {
-        CtExpression<T> ex = operator.getOperand();
+        CtExpression<T> ex = (CtExpression<T>) operator.getOperand();
         String name = rtc.freshFormat;
         Predicate all;
         if (ex instanceof CtVariableWrite) {

liquidjava-verifier/src/main/java/liquidjava/rj_language/parsing/RJErrorListener.java

@@ -41,19 +41,16 @@ public void syntaxError(Recognizer<?, ?> recognizer, Object offendingSymbol, int
     @Override
     public void reportAmbiguity(Parser recognizer, DFA dfa, int startIndex, int stopIndex, boolean exact,
             BitSet ambigAlts, ATNConfigSet configs) {
-        // TODO Auto-generated method stub
     }
 
     @Override
     public void reportAttemptingFullContext(Parser recognizer, DFA dfa, int startIndex, int stopIndex,
             BitSet conflictingAlts, ATNConfigSet configs) {
-        // TODO Auto-generated method stub
     }
 
     @Override
     public void reportContextSensitivity(Parser recognizer, DFA dfa, int startIndex, int stopIndex, int prediction,
             ATNConfigSet configs) {
-        // TODO Auto-generated method stub
     }
 
     public int getErrors() {

liquidjava-verifier/src/main/java/liquidjava/rj_language/parsing/RJListener.java

@@ -24,7 +24,6 @@ public void visitTerminal(TerminalNode node) {
 
     @Override
     public void visitErrorNode(ErrorNode node) {
-        // TODO Auto-generated method stub
 
     }
 
@@ -40,7 +39,5 @@ public void enterEveryRule(ParserRuleContext ctx) {
 
     @Override
     public void exitEveryRule(ParserRuleContext ctx) {
-        // TODO Auto-generated method stub
-
     }
 }