public class DefaultEarlyExitComputer extends java.lang.Object implements IEarlyExitComputer
IEarlyExitComputer.ExitPoint
Constructor and Description |
---|
DefaultEarlyExitComputer() |
Modifier and Type | Method and Description |
---|---|
protected java.util.Collection<IEarlyExitComputer.ExitPoint> |
_exitPoints(XAbstractFeatureCall expression) |
protected java.util.Collection<IEarlyExitComputer.ExitPoint> |
_exitPoints(XBasicForLoopExpression expression) |
protected java.util.Collection<IEarlyExitComputer.ExitPoint> |
_exitPoints(XBlockExpression expression) |
protected java.util.Collection<IEarlyExitComputer.ExitPoint> |
_exitPoints(XConstructorCall expression) |
protected java.util.Collection<IEarlyExitComputer.ExitPoint> |
_exitPoints(XDoWhileExpression expression) |
protected java.util.Collection<IEarlyExitComputer.ExitPoint> |
_exitPoints(XExpression expression) |
protected java.util.Collection<IEarlyExitComputer.ExitPoint> |
_exitPoints(XForLoopExpression expression) |
protected java.util.Collection<IEarlyExitComputer.ExitPoint> |
_exitPoints(XIfExpression expression) |
protected java.util.Collection<IEarlyExitComputer.ExitPoint> |
_exitPoints(XReturnExpression expression) |
protected java.util.Collection<IEarlyExitComputer.ExitPoint> |
_exitPoints(XSwitchExpression expression) |
protected java.util.Collection<IEarlyExitComputer.ExitPoint> |
_exitPoints(XSynchronizedExpression expression) |
protected java.util.Collection<IEarlyExitComputer.ExitPoint> |
_exitPoints(XThrowExpression expression) |
protected java.util.Collection<IEarlyExitComputer.ExitPoint> |
_exitPoints(XTryCatchFinallyExpression expression) |
protected java.util.Collection<IEarlyExitComputer.ExitPoint> |
_exitPoints(XVariableDeclaration expression) |
protected java.util.Collection<IEarlyExitComputer.ExitPoint> |
_exitPoints(XWhileExpression expression) |
protected java.util.Collection<IEarlyExitComputer.ExitPoint> |
exitPoints(XExpression expression) |
java.util.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(java.util.Collection<IEarlyExitComputer.ExitPoint> exitPoints) |
public boolean isEarlyExit(XExpression expression)
IEarlyExitComputer
isEarlyExit
in interface IEarlyExitComputer
true
if the given expression will definitely exit early.protected boolean isNotEmpty(java.util.Collection<IEarlyExitComputer.ExitPoint> exitPoints)
public java.util.Collection<IEarlyExitComputer.ExitPoint> getExitPoints(XExpression expression)
getExitPoints
in interface IEarlyExitComputer
protected java.util.Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XExpression expression)
expression
- unused in this context but required in dispatch signatureprotected java.util.Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XReturnExpression expression)
protected java.util.Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XThrowExpression expression)
protected java.util.Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XBlockExpression expression)
protected java.util.Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XBasicForLoopExpression expression)
protected java.util.Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XForLoopExpression expression)
protected java.util.Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XWhileExpression expression)
protected boolean isBooleanConstant(XExpression expression, boolean value)
protected java.util.Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XDoWhileExpression expression)
protected java.util.Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XVariableDeclaration expression)
protected java.util.Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XIfExpression expression)
protected java.util.Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XSwitchExpression expression)
protected java.util.Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XAbstractFeatureCall expression)
protected java.util.Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XConstructorCall expression)
protected java.util.Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XTryCatchFinallyExpression expression)
protected java.util.Collection<IEarlyExitComputer.ExitPoint> _exitPoints(XSynchronizedExpression expression)
protected java.util.Collection<IEarlyExitComputer.ExitPoint> exitPoints(XExpression expression)