Package de.monticore.types.typeparameters.cocos

Class TypeParameterNoCyclicInheritance

java.lang.Object

de.monticore.types.typeparameters.cocos.TypeParameterNoCyclicInheritance

All Implemented Interfaces:

TypeParametersASTTypeParameterCoCo, TypeParametersVisitor2, de.monticore.visitor.IVisitor

public class TypeParameterNoCyclicInheritance
extends Object
implements TypeParametersASTTypeParameterCoCo

Finds instances of circular inheritance, e.g., <T extends U, U extends Person & T>

Constructor Summary

Constructors

Constructor	Description
TypeParameterNoCyclicInheritance()

Method Summary

Modifier and Type	Method	Description
void	check(ASTTypeParameter node)
protected boolean	checkForCircularInheritance(List<SymTypeExpression> currentInheritanceList, ASTTypeParameter node)

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.monticore.visitor.IVisitor

endVisit, endVisit, endVisit, endVisit, visit, visit, visit, visit

Methods inherited from interface de.monticore.types.typeparameters._cocos.TypeParametersASTTypeParameterCoCo

visit

Methods inherited from interface de.monticore.types.typeparameters._visitor.TypeParametersVisitor2

endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, visit, visit, visit, visit, visit

Constructor Details

TypeParameterNoCyclicInheritance

public TypeParameterNoCyclicInheritance()

Method Details

check

public void check(ASTTypeParameter node)

Specified by:

check in interface TypeParametersASTTypeParameterCoCo

checkForCircularInheritance

protected boolean checkForCircularInheritance(List<SymTypeExpression> currentInheritanceList,
 ASTTypeParameter node)