From 7eb4737e3f8c19ece8ec0c4d68b2ae787094a888 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Thu, 2 Feb 2017 06:17:56 -0800 Subject: [PATCH] [examples] small change to android example to make it more interprocedural Summary: Just to make it a bit more interesting (and better indented). Reviewed By: martinoluca Differential Revision: D4455400 fbshipit-source-id: f8e29ee --- .../main/java/infer/inferandroidexample/MainActivity.java | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/examples/android_hello/app/src/main/java/infer/inferandroidexample/MainActivity.java b/examples/android_hello/app/src/main/java/infer/inferandroidexample/MainActivity.java index 3129c7988..1b849ff0f 100644 --- a/examples/android_hello/app/src/main/java/infer/inferandroidexample/MainActivity.java +++ b/examples/android_hello/app/src/main/java/infer/inferandroidexample/MainActivity.java @@ -33,7 +33,13 @@ public class MainActivity extends ActionBarActivity { private String getDay() { if (Calendar.getInstance().get(Calendar.DAY_OF_WEEK) == Calendar.WEDNESDAY) { return "Wednesday"; - } else return null; + } else { + return otherOutput(); + } + } + + private String otherOutput() { + return null; } private void writeToFile() {