Package org.eclipse.xtext.xbase.typesystem.override

Class LazyOverrideCheckResult

java.lang.Object

org.eclipse.xtext.xbase.typesystem.override.LazyOverrideCheckResult

All Implemented Interfaces:

IOverrideCheckResult

public class LazyOverrideCheckResult
extends java.lang.Object
implements IOverrideCheckResult

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.xtext.xbase.typesystem.override.IOverrideCheckResult

IOverrideCheckResult.OverrideCheckDetails

Field Summary

Fields

Modifier and Type	Field	Description
protected static java.util.EnumSet<IOverrideCheckResult.OverrideCheckDetails>	overridingIfAnyOf
protected static java.util.EnumSet<IOverrideCheckResult.OverrideCheckDetails>	problemIfAnyOf

Constructor Summary

Constructors

Constructor	Description
LazyOverrideCheckResult(AbstractResolvedOperation thisOperation, org.eclipse.xtext.common.types.JvmOperation givenOperation, IOverrideCheckResult.OverrideCheckDetails detail)

Method Summary

Modifier and Type	Method	Description
protected java.util.EnumSet<IOverrideCheckResult.OverrideCheckDetails>	getComputedDetails()
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.

Methods inherited from class java.lang.Object

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

Field Detail

overridingIfAnyOf

protected static final java.util.EnumSet<IOverrideCheckResult.OverrideCheckDetails> overridingIfAnyOf

problemIfAnyOf

protected static final java.util.EnumSet<IOverrideCheckResult.OverrideCheckDetails> problemIfAnyOf

Constructor Detail

LazyOverrideCheckResult

public LazyOverrideCheckResult(AbstractResolvedOperation thisOperation,
                               org.eclipse.xtext.common.types.JvmOperation givenOperation,
                               IOverrideCheckResult.OverrideCheckDetails detail)

Method Detail

isOverridingOrImplementing

public boolean isOverridingOrImplementing()

Description copied from interface: IOverrideCheckResult

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

Specified by:

isOverridingOrImplementing in interface IOverrideCheckResult

hasProblems

public boolean hasProblems()

Description copied from interface: IOverrideCheckResult

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

Specified by:

hasProblems in interface IOverrideCheckResult

getDetails

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

Description copied from interface: IOverrideCheckResult

Obtain details on the override check.

Specified by:

getDetails in interface IOverrideCheckResult

getComputedDetails

protected java.util.EnumSet<IOverrideCheckResult.OverrideCheckDetails> getComputedDetails()

getThisOperation

public IResolvedOperation getThisOperation()

Description copied from interface: IOverrideCheckResult

The overriding candidate.

Specified by:

getThisOperation in interface IOverrideCheckResult

getGivenOperation

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

Description copied from interface: IOverrideCheckResult

The checked operation.

Specified by:

getGivenOperation in interface IOverrideCheckResult