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 Object
implements IOverrideCheckResult

Author:

Sebastian Zarnekow - Initial contribution and API

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 and Description
protected static EnumSet<IOverrideCheckResult.OverrideCheckDetails>	overridingIfAnyOf
protected static EnumSet<IOverrideCheckResult.OverrideCheckDetails>	problemIfAnyOf

Constructor Summary

Constructors

Constructor and Description
LazyOverrideCheckResult(AbstractResolvedOperation thisOperation, JvmOperation givenOperation, IOverrideCheckResult.OverrideCheckDetails detail)

Method Summary

Methods

Modifier and Type	Method and Description
protected EnumSet<IOverrideCheckResult.OverrideCheckDetails>	getComputedDetails()
EnumSet<IOverrideCheckResult.OverrideCheckDetails>	getDetails() Obtain details on the override check.
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. the return type needs unchecked conversion.
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 EnumSet<IOverrideCheckResult.OverrideCheckDetails> overridingIfAnyOf

problemIfAnyOf

protected static final EnumSet<IOverrideCheckResult.OverrideCheckDetails> problemIfAnyOf

Constructor Detail

LazyOverrideCheckResult

public LazyOverrideCheckResult(AbstractResolvedOperation thisOperation,
                       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 EnumSet<IOverrideCheckResult.OverrideCheckDetails> getDetails()

Description copied from interface: IOverrideCheckResult

Obtain details on the override check.

Specified by:

getDetails in interface IOverrideCheckResult

getComputedDetails

protected EnumSet<IOverrideCheckResult.OverrideCheckDetails> getComputedDetails()

getThisOperation

public IResolvedOperation getThisOperation()

Description copied from interface: IOverrideCheckResult

The overriding candidate.

Specified by:

getThisOperation in interface IOverrideCheckResult

getGivenOperation

public JvmOperation getGivenOperation()

Description copied from interface: IOverrideCheckResult

The checked operation.

Specified by:

getGivenOperation in interface IOverrideCheckResult