org.eclipse.xtext.xbase.controlflow

Class DefaultEarlyExitComputer

java.lang.Object

org.eclipse.xtext.xbase.controlflow.DefaultEarlyExitComputer

All Implemented Interfaces:

IEarlyExitComputer

public class DefaultEarlyExitComputer
extends Object
implements IEarlyExitComputer

Author:

Sebastian Zarnekow - Initial contribution and API

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.xtext.xbase.controlflow.IEarlyExitComputer

IEarlyExitComputer.ExitPoint

Constructor Summary

Constructors

Constructor and Description
DefaultEarlyExitComputer()

Method Summary

Methods

Modifier and Type	Method and Description
protected Collection<IEarlyExitComputer.ExitPoint>	_exitPoints(XAbstractFeatureCall expression)
protected Collection<IEarlyExitComputer.ExitPoint>	_exitPoints(XBasicForLoopExpression expression)
protected Collection<IEarlyExitComputer.ExitPoint>	_exitPoints(XBlockExpression expression)
protected Collection<IEarlyExitComputer.ExitPoint>	_exitPoints(XConstructorCall expression)
protected Collection<IEarlyExitComputer.ExitPoint>	_exitPoints(XDoWhileExpression expression)
protected Collection<IEarlyExitComputer.ExitPoint>	_exitPoints(XExpression expression)
protected Collection<IEarlyExitComputer.ExitPoint>	_exitPoints(XForLoopExpression expression)
protected Collection<IEarlyExitComputer.ExitPoint>	_exitPoints(XIfExpression expression)
protected Collection<IEarlyExitComputer.ExitPoint>	_exitPoints(XReturnExpression expression)
protected Collection<IEarlyExitComputer.ExitPoint>	_exitPoints(XSwitchExpression expression)
protected Collection<IEarlyExitComputer.ExitPoint>	_exitPoints(XSynchronizedExpression expression)
protected Collection<IEarlyExitComputer.ExitPoint>	_exitPoints(XThrowExpression expression)
protected Collection<IEarlyExitComputer.ExitPoint>	_exitPoints(XTryCatchFinallyExpression expression)
protected Collection<IEarlyExitComputer.ExitPoint>	_exitPoints(XVariableDeclaration expression)
protected Collection<IEarlyExitComputer.ExitPoint>	_exitPoints(XWhileExpression expression)
protected Collection<IEarlyExitComputer.ExitPoint>	exitPoints(XExpression expression)
Collection<IEarlyExitComputer.ExitPoint>	getExitPoints(XExpression expression)
protected boolean	isBooleanConstant(XExpression expression, boolean value)
boolean	isEarlyExit(XExpression expression) An expression is considered to be left early if all branches end with an explicit termination, e.g. a return or throw expression.
protected boolean	isNotEmpty(Collection<IEarlyExitComputer.ExitPoint> exitPoints)

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultEarlyExitComputer

public DefaultEarlyExitComputer()

Method Detail

isEarlyExit

public boolean isEarlyExit(XExpression expression)

Description copied from interface: IEarlyExitComputer

An expression is considered to be left early if all branches end with an explicit termination, e.g. a return or throw expression.

Specified by:

isEarlyExit in interface IEarlyExitComputer

Returns:

true if the given expression will definitely exit early.

isNotEmpty

protected boolean isNotEmpty(Collection<IEarlyExitComputer.ExitPoint> exitPoints)

getExitPoints

public Collection<IEarlyExitComputer.ExitPoint> getExitPoints(XExpression expression)

Specified by:

getExitPoints in interface IEarlyExitComputer

_exitPoints

protected Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XExpression expression)

Parameters:

expression - unused in this context but required in dispatch signature

_exitPoints

protected Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XReturnExpression expression)

_exitPoints

protected Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XThrowExpression expression)

_exitPoints

protected Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XBlockExpression expression)

_exitPoints

protected Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XBasicForLoopExpression expression)

_exitPoints

protected Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XForLoopExpression expression)

_exitPoints

protected Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XWhileExpression expression)

isBooleanConstant

protected boolean isBooleanConstant(XExpression expression,
                        boolean value)

_exitPoints

protected Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XDoWhileExpression expression)

_exitPoints

protected Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XVariableDeclaration expression)

_exitPoints

protected Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XIfExpression expression)

_exitPoints

protected Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XSwitchExpression expression)

_exitPoints

protected Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XAbstractFeatureCall expression)

_exitPoints

protected Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XConstructorCall expression)

_exitPoints

protected Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XTryCatchFinallyExpression expression)

_exitPoints

protected Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XSynchronizedExpression expression)

exitPoints

protected Collection<IEarlyExitComputer.ExitPoint> exitPoints(XExpression expression)