Class CheckConflictingMethods

java.lang.Object

org.ek9lang.compiler.common.RuleSupport

org.ek9lang.compiler.common.TypedSymbolAccess

org.ek9lang.compiler.phase3.CheckConflictingMethods

All Implemented Interfaces:

Predicate<AggregateSymbol>

final class CheckConflictingMethods
extends TypedSymbolAccess
implements Predicate<AggregateSymbol>

Checks that methods from a super and one or more traits do not conflict. This is due to the fact that both a super and also one or more traits can actually have implementations of the same method signature. The solution is to raise an error and get the ek9 developer to create a new method in the aggregate that is using the super/traits and then pick the implementation they want or define a totally new one. Returns true if there are no conflicting methods. Now this may mean because all constructs inherit from 'Any', then there a multiple routes to Any. Also, if we have a defined implementation anywhere, then we want to evict the Any method because that's just a default no operation.

Field Summary

Fields inherited from class org.ek9lang.compiler.common.RuleSupport

errorListener, symbolsAndScopes

Constructor Summary

Constructors

Constructor	Description
CheckConflictingMethods(SymbolsAndScopes symbolsAndScopes, ErrorListener errorListener)

Method Summary

Modifier and Type	Method	Description
boolean	test(AggregateSymbol symbol)

Methods inherited from class org.ek9lang.compiler.common.TypedSymbolAccess

getRecordedAndTypedSymbol, isProcessingScopePure, recordATypedSymbol

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.function.Predicate

and, negate, or

Constructor Details

CheckConflictingMethods

CheckConflictingMethods(SymbolsAndScopes symbolsAndScopes,
 ErrorListener errorListener)

Method Details

test

public boolean test(AggregateSymbol symbol)

Specified by:

test in interface Predicate<AggregateSymbol>