Reformat code
This commit is contained in:
+31
-5
@@ -150,13 +150,25 @@ public class ExpressionTypingServices {
|
|||||||
}
|
}
|
||||||
|
|
||||||
@NotNull
|
@NotNull
|
||||||
public JetType safeGetType(@NotNull JetScope scope, @NotNull JetExpression expression, @NotNull JetType expectedType, @NotNull DataFlowInfo dataFlowInfo, @NotNull BindingTrace trace) {
|
public JetType safeGetType(
|
||||||
|
@NotNull JetScope scope,
|
||||||
|
@NotNull JetExpression expression,
|
||||||
|
@NotNull JetType expectedType,
|
||||||
|
@NotNull DataFlowInfo dataFlowInfo,
|
||||||
|
@NotNull BindingTrace trace
|
||||||
|
) {
|
||||||
JetType type = getType(scope, expression, expectedType, dataFlowInfo, trace);
|
JetType type = getType(scope, expression, expectedType, dataFlowInfo, trace);
|
||||||
return AnalyzerPackage.safeType(type, expression);
|
return AnalyzerPackage.safeType(type, expression);
|
||||||
}
|
}
|
||||||
|
|
||||||
@NotNull
|
@NotNull
|
||||||
public JetTypeInfo getTypeInfo(@NotNull JetScope scope, @NotNull JetExpression expression, @NotNull JetType expectedType, @NotNull DataFlowInfo dataFlowInfo, @NotNull BindingTrace trace) {
|
public JetTypeInfo getTypeInfo(
|
||||||
|
@NotNull JetScope scope,
|
||||||
|
@NotNull JetExpression expression,
|
||||||
|
@NotNull JetType expectedType,
|
||||||
|
@NotNull DataFlowInfo dataFlowInfo,
|
||||||
|
@NotNull BindingTrace trace
|
||||||
|
) {
|
||||||
ExpressionTypingContext context = ExpressionTypingContext.newContext(this, trace, scope, dataFlowInfo, expectedType);
|
ExpressionTypingContext context = ExpressionTypingContext.newContext(this, trace, scope, dataFlowInfo, expectedType);
|
||||||
return expressionTypingFacade.getTypeInfo(expression, context);
|
return expressionTypingFacade.getTypeInfo(expression, context);
|
||||||
}
|
}
|
||||||
@@ -167,13 +179,26 @@ public class ExpressionTypingServices {
|
|||||||
}
|
}
|
||||||
|
|
||||||
@Nullable
|
@Nullable
|
||||||
public JetType getType(@NotNull JetScope scope, @NotNull JetExpression expression, @NotNull JetType expectedType, @NotNull DataFlowInfo dataFlowInfo, @NotNull BindingTrace trace) {
|
public JetType getType(
|
||||||
|
@NotNull JetScope scope,
|
||||||
|
@NotNull JetExpression expression,
|
||||||
|
@NotNull JetType expectedType,
|
||||||
|
@NotNull DataFlowInfo dataFlowInfo,
|
||||||
|
@NotNull BindingTrace trace
|
||||||
|
) {
|
||||||
return getTypeInfo(scope, expression, expectedType, dataFlowInfo, trace).getType();
|
return getTypeInfo(scope, expression, expectedType, dataFlowInfo, trace).getType();
|
||||||
}
|
}
|
||||||
|
|
||||||
/////////////////////////////////////////////////////////
|
/////////////////////////////////////////////////////////
|
||||||
|
|
||||||
public void checkFunctionReturnType(@NotNull JetScope functionInnerScope, @NotNull JetDeclarationWithBody function, @NotNull FunctionDescriptor functionDescriptor, @NotNull DataFlowInfo dataFlowInfo, @Nullable JetType expectedReturnType, BindingTrace trace) {
|
public void checkFunctionReturnType(
|
||||||
|
@NotNull JetScope functionInnerScope,
|
||||||
|
@NotNull JetDeclarationWithBody function,
|
||||||
|
@NotNull FunctionDescriptor functionDescriptor,
|
||||||
|
@NotNull DataFlowInfo dataFlowInfo,
|
||||||
|
@Nullable JetType expectedReturnType,
|
||||||
|
BindingTrace trace
|
||||||
|
) {
|
||||||
if (expectedReturnType == null) {
|
if (expectedReturnType == null) {
|
||||||
expectedReturnType = functionDescriptor.getReturnType();
|
expectedReturnType = functionDescriptor.getReturnType();
|
||||||
if (!function.hasBlockBody() && !function.hasDeclaredReturnType()) {
|
if (!function.hasBlockBody() && !function.hasDeclaredReturnType()) {
|
||||||
@@ -293,7 +318,8 @@ public class ExpressionTypingServices {
|
|||||||
blockLevelVisitor);
|
blockLevelVisitor);
|
||||||
}
|
}
|
||||||
else {
|
else {
|
||||||
result = blockLevelVisitor.getTypeInfo(statementExpression, newContext.replaceContextDependency(ContextDependency.INDEPENDENT), true);
|
result = blockLevelVisitor
|
||||||
|
.getTypeInfo(statementExpression, newContext.replaceContextDependency(ContextDependency.INDEPENDENT), true);
|
||||||
}
|
}
|
||||||
|
|
||||||
DataFlowInfo newDataFlowInfo = result.getDataFlowInfo();
|
DataFlowInfo newDataFlowInfo = result.getDataFlowInfo();
|
||||||
|
|||||||
Reference in New Issue
Block a user