Class AuxHierarchyRefinementsPassage

java.lang.Object

liquidjava.processor.refinement_checker.object_checkers.AuxHierarchyRefinementsPassage

public class AuxHierarchyRefinementsPassage
extends Object

Constructor Summary

Constructors

Constructor	Description
AuxHierarchyRefinementsPassage()

Method Summary

Modifier and Type	Method	Description
static <R> void	checkFunctionInSupertypes(spoon.reflect.declaration.CtClass<?> klass, spoon.reflect.declaration.CtMethod<R> method, RefinedFunction f, TypeChecker tc)

Methods inherited from class java.lang.Object

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

Constructor Details

AuxHierarchyRefinementsPassage

public AuxHierarchyRefinementsPassage()

Method Details

checkFunctionInSupertypes

public static <R> void checkFunctionInSupertypes(spoon.reflect.declaration.CtClass<?> klass,
 spoon.reflect.declaration.CtMethod<R> method,
 RefinedFunction f,
 TypeChecker tc)
                                          throws LJError

Throws:

LJError