Class MethodsFunctionsChecker

java.lang.Object
liquidjava.processor.refinement_checker.general_checkers.MethodsFunctionsChecker
public class MethodsFunctionsChecker extends Object

  • Constructor Details

    • MethodsFunctionsChecker

      public MethodsFunctionsChecker(TypeChecker rtc)

  • Method Details

    • getConstructorRefinements

      public void getConstructorRefinements(spoon.reflect.declaration.CtConstructor<?> c) throws LJError
      Throws:
      LJError

    • getConstructorInvocationRefinements

      public void getConstructorInvocationRefinements(spoon.reflect.code.CtConstructorCall<?> ctConstructorCall) throws LJError
      Throws:
      LJError

    • getMethodRefinements

      public <R> void getMethodRefinements(spoon.reflect.declaration.CtMethod<R> method) throws LJError
      Throws:
      LJError

    • getMethodRefinements

      public <R> void getMethodRefinements(spoon.reflect.declaration.CtMethod<R> method, String prefix) throws LJError
      Throws:
      LJError

    • getReturnRefinements

      public <R> void getReturnRefinements(spoon.reflect.code.CtReturn<R> ret) throws LJError
      Throws:
      LJError

    • getInvocationRefinements

      public <R> void getInvocationRefinements(spoon.reflect.code.CtInvocation<R> invocation) throws LJError
      Throws:
      LJError

    • getRefinementFunction

      public RefinedFunction getRefinementFunction(String methodName, String className, int size)

    • loadFunctionInfo

      public void loadFunctionInfo(spoon.reflect.declaration.CtExecutable<?> method)