Class AuxHierarchyRefinememtsPassage

java.lang.Object

liquidjava.processor.refinement_checker.object_checkers.AuxHierarchyRefinememtsPassage

public class AuxHierarchyRefinememtsPassage
extends Object

Constructor Summary

Constructors

Constructor	Description
AuxHierarchyRefinememtsPassage()

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

AuxHierarchyRefinememtsPassage

public AuxHierarchyRefinememtsPassage()

Method Details

checkFunctionInSupertypes

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