Class MethodsFunctionsChecker

java.lang.Object

liquidjava.processor.refinement_checker.general_checkers.MethodsFunctionsChecker

public class MethodsFunctionsChecker
extends Object

Constructor Summary

Constructors

Constructor	Description
MethodsFunctionsChecker(TypeChecker rtc)

Method Summary

Modifier and Type	Method	Description
void	getConstructorInvocationRefinements(spoon.reflect.code.CtConstructorCall<?> ctConstructorCall)
void	getConstructorRefinements(spoon.reflect.declaration.CtConstructor<?> c)
<R> void	getInvocationRefinements(spoon.reflect.code.CtInvocation<R> invocation)
<R> void	getMethodRefinements(spoon.reflect.declaration.CtMethod<R> method)
<R> void	getMethodRefinements(spoon.reflect.declaration.CtMethod<R> method, String prefix)
RefinedFunction	getRefinementFunction(String methodName, String className, int size)
<R> void	getReturnRefinements(spoon.reflect.code.CtReturn<R> ret)
List<spoon.reflect.declaration.CtAnnotation<? extends Annotation>>	getStateAnnotation(spoon.reflect.declaration.CtElement element)
void	loadFunctionInfo(spoon.reflect.declaration.CtExecutable<?> method)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

MethodsFunctionsChecker

public MethodsFunctionsChecker(TypeChecker rtc)

Method Details

getConstructorRefinements

public void getConstructorRefinements(spoon.reflect.declaration.CtConstructor<?> c)
                               throws ParsingException

Throws:

ParsingException

getConstructorInvocationRefinements

public void getConstructorInvocationRefinements(spoon.reflect.code.CtConstructorCall<?> ctConstructorCall)

getMethodRefinements

public <R> void getMethodRefinements(spoon.reflect.declaration.CtMethod<R> method)
                              throws ParsingException

Throws:

ParsingException

getMethodRefinements

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

Throws:

ParsingException

getStateAnnotation

public List<spoon.reflect.declaration.CtAnnotation<? extends Annotation>> getStateAnnotation(spoon.reflect.declaration.CtElement element)

getReturnRefinements

public <R> void getReturnRefinements(spoon.reflect.code.CtReturn<R> ret)

getInvocationRefinements

public <R> void getInvocationRefinements(spoon.reflect.code.CtInvocation<R> invocation)

getRefinementFunction

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

loadFunctionInfo

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