Package org.eclipse.xtext.xbase.typesystem.util

Class ExtendedEarlyExitComputer

java.lang.Object

org.eclipse.xtext.xbase.typesystem.util.ExtendedEarlyExitComputer

public class ExtendedEarlyExitComputer
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected class	ExtendedEarlyExitComputer.AbstractThrownExceptionDelegate
protected class	ExtendedEarlyExitComputer.FilteringThrownExceptionDelegate
protected class	ExtendedEarlyExitComputer.ThrownExceptionDelegate

Constructor Summary

Constructors

Constructor	Description
ExtendedEarlyExitComputer()

Method Summary

Modifier and Type	Method	Description
protected ExtendedEarlyExitComputer.ThrownExceptionDelegate	createDelegate(java.util.List<LightweightTypeReference> result, IResolvedTypes types, ITypeReferenceOwner owner)
protected org.eclipse.emf.ecore.util.Switch<java.lang.Boolean>	createThrownExceptionCollector(IThrownExceptionDelegate delegate)
java.util.List<LightweightTypeReference>	getThrownExceptions(XExpression obj, IResolvedTypes types, ITypeReferenceOwner owner)
boolean	isDefiniteEarlyExit(XExpression expression)
boolean	isIntentionalEarlyExit(XExpression expression)	Returns true for expressions that seem to be early exit expressions, e.g.

Methods inherited from class java.lang.Object

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

Constructor Detail

ExtendedEarlyExitComputer

public ExtendedEarlyExitComputer()

Method Detail

isIntentionalEarlyExit

public boolean isIntentionalEarlyExit(XExpression expression)

Returns true for expressions that seem to be early exit expressions, e.g.

   while(condition) {
     if (anotherCondition)
       return value
     changeResultOfFirstCondition
   }
 

isDefiniteEarlyExit

public boolean isDefiniteEarlyExit(XExpression expression)

getThrownExceptions

public java.util.List<LightweightTypeReference> getThrownExceptions(XExpression obj,
                                                                    IResolvedTypes types,
                                                                    ITypeReferenceOwner owner)

createDelegate

protected ExtendedEarlyExitComputer.ThrownExceptionDelegate createDelegate(java.util.List<LightweightTypeReference> result,
                                                                           IResolvedTypes types,
                                                                           ITypeReferenceOwner owner)

createThrownExceptionCollector

protected org.eclipse.emf.ecore.util.Switch<java.lang.Boolean> createThrownExceptionCollector(IThrownExceptionDelegate delegate)