org.eclipse.xtext.xbase.typesystem.override

Interface IOverrideCheckResult

All Known Implementing Classes:

LazyOverrideCheckResult

public interface IOverrideCheckResult

The result of a check for a method override relationship.

See Also:

IResolvedOperation.isOverridingOrImplementing(JvmOperation)

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	IOverrideCheckResult.OverrideCheckDetails

Method Summary

Modifier and Type	Method and Description
java.util.EnumSet<IOverrideCheckResult.OverrideCheckDetails>	getDetails() Obtain details on the override check.
org.eclipse.xtext.common.types.JvmOperation	getGivenOperation() The checked operation.
IResolvedOperation	getThisOperation() The overriding candidate.
boolean	hasProblems() Returns true if there are problems in the checked method hierarchy, e.g.
boolean	isOverridingOrImplementing() Returns true if the current operation successfully overrides or implements the given operation.

Method Detail

isOverridingOrImplementing

boolean isOverridingOrImplementing()

Returns true if the current operation successfully overrides or implements the given operation. Override state that is considered to be valid is:

• implementation
• override
• re-declaration
• repeating
• shadowing

hasProblems

boolean hasProblems()

Returns true if there are problems in the checked method hierarchy, e.g. the return type needs unchecked conversion.

getDetails

java.util.EnumSet<IOverrideCheckResult.OverrideCheckDetails> getDetails()

Obtain details on the override check.

getThisOperation

IResolvedOperation getThisOperation()

The overriding candidate.

getGivenOperation

org.eclipse.xtext.common.types.JvmOperation getGivenOperation()

The checked operation.