Class OperationsChecker

java.lang.Object
liquidjava.processor.refinement_checker.general_checkers.OperationsChecker
public class OperationsChecker extends Object
Auxiliar class for handling the type checking of Unary and Binary operations
Author:
Catarina Gamboa

  • Constructor Details

    • OperationsChecker

      public OperationsChecker(TypeChecker rtc)

  • Method Details

    • getBinaryOpRefinements

      public <T> void getBinaryOpRefinements(spoon.reflect.code.CtBinaryOperator<T> operator) throws LJError
      Finds and adds refinement metadata to the binary operation
      Type Parameters:
      T -
      Parameters:
      operator -
      Throws:
      LJError

    • getUnaryOpRefinements

      public <T> void getUnaryOpRefinements(spoon.reflect.code.CtUnaryOperator<T> operator) throws LJError
      Finds and adds refinement metadata to the unary operation
      Type Parameters:
      T -
      Parameters:
      operator -
      Throws:
      LJError