Skip to content

Commit cb346df

Browse files
committed
Update executing paths with conditionals
Build ANDOR tree from executing paths
1 parent ae03eae commit cb346df

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

67 files changed

+19136
-591
lines changed

.settings/org.eclipse.jdt.core.prefs

+7
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,12 @@
11
eclipse.preferences.version=1
2+
org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
23
org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5
4+
org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
35
org.eclipse.jdt.core.compiler.compliance=1.5
6+
org.eclipse.jdt.core.compiler.debug.lineNumber=generate
7+
org.eclipse.jdt.core.compiler.debug.localVariable=generate
8+
org.eclipse.jdt.core.compiler.debug.sourceFile=generate
9+
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
10+
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
411
org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning
512
org.eclipse.jdt.core.compiler.source=1.5

TestReSuite.txt

+4
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
Starting test: testProject .............
2+
Project: ./tests/android.googlesource.com/DeskClock
3+
start doc
4+
end doc

android-ui/android.xml

+45-4
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
<action method="onCreateContextMenu"
66
class="android.view.View.OnCreateContextMenuListener"
77
category="INSOURCE"
8-
type="init"/>
8+
type="top-event"/>
99
<action method="onContextItemSelected" class="android.app.Activity"
1010
category="INSOURCE"
1111
type="top-event"/>
@@ -16,10 +16,10 @@
1616

1717
<action method="onCreateOptionsMenu" class="android.app.Activity"
1818
category="INSOURCE"
19-
type="init"/>
19+
type="top-event"/>
2020
<action method="onPrepareOptionsMenu" class="android.app.Activity"
2121
category="INSOURCE"
22-
type="init"/>
22+
type="top-event"/>
2323

2424

2525
<action method="onOptionsItemSelected" class="android.app.Activity"
@@ -36,7 +36,7 @@
3636

3737
<action method="onPreferenceTreeClick" class="android.preference.PreferenceActivity"
3838
category="INSOURCE"
39-
type="init"/>
39+
type="top-event"/>
4040

4141
<action method="onTimeChanged"
4242
class="android.widget.TimePicker.OnTimeChangedListener"
@@ -60,11 +60,31 @@
6060
category="INSOURCE"
6161
type="linked-event"/>
6262

63+
<action method="onPreferenceChange" class="android.preference.Preference.OnPreferenceChangeListener"
64+
setter="android.preference.Preference#setOnPreferenceChangeListener"
65+
category="INSOURCE"
66+
type="linked-event" />
67+
68+
<action method="onPreferenceClick" class="android.preference.Preference.OnPreferenceClickListener"
69+
setter="android.preference.Preference#setOnPreferenceClickListener"
70+
category="INSOURCE"
71+
type="linked-event" />
72+
6373
<action method="onClick" class="android.view.View.OnClickListener"
6474
setter="android.view.View#setOnClickListener"
6575
category="INSOURCE"
6676
type="linked-event"/>
6777

78+
<action method="onLongClick" class="android.view.View.OnLongClickListener"
79+
setter="android.view.View#setOnLongClickListener"
80+
category="INSOURCE"
81+
type="linked-event"/>
82+
83+
<action method="onTouch" class="android.view.View.OnTouchListener"
84+
setter="android.view.View#setOnTouchListener"
85+
category="INSOURCE"
86+
type="linked-event"/>
87+
6888
<action method="onCheckedChanged"
6989
class="android.widget.CompoundButton.OnCheckedChangeListener"
7090
setter="android.widget.CompoundButton#setOnCheckedChangeListener"
@@ -118,6 +138,17 @@
118138
category="OUTSOURCE"
119139
type="event-binder"/>
120140

141+
<action method="setOnLongClickListener"
142+
class="android.view.View"
143+
category="OUTSOURCE"
144+
type="event-binder"/>
145+
146+
<action method="setOnTouchListener"
147+
class="android.view.View"
148+
category="OUTSOURCE"
149+
type="event-binder"/>
150+
151+
121152
<action method="setOnCheckedChangeListener"
122153
class="android.widget.CompoundButton"
123154
category="OUTSOURCE"
@@ -143,6 +174,16 @@
143174
category="OUTSOURCE"
144175
type="event-binder"/>
145176

177+
<action method="setOnPreferenceClickListener"
178+
class="android.preference.Preference"
179+
category="OUTSOURCE"
180+
type="event-binder"/>
181+
182+
<action method="setOnPreferenceChangeListener"
183+
class="android.preference.Preference"
184+
category="OUTSOURCE"
185+
type="event-binder"/>
186+
146187
<action method="onCreate"
147188
class="android.app.Activity"
148189
type="init"
File renamed without changes.

graphviz/AlarmClock.062d863.gv

+36
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,36 @@
1+
digraph {
2+
fontname="Helvetica";
3+
node[style="filled,solid", colorscheme=greys3, fillcolor=1, color=3];
4+
s10[peripheries=2];
5+
s8[peripheries=2];
6+
SetAlarm1;
7+
s7[peripheries=2];
8+
ClockPicker3;
9+
s11[peripheries=2];
10+
SettingsActivity5;
11+
ClockAdapter4;
12+
AlarmAlert2;
13+
s9[peripheries=2];
14+
AlarmAlertFullScreen6;
15+
AlarmClock0;
16+
SetAlarm1 -> SetAlarm1[label="SetAlarm#onTimeSet",style=dotted];
17+
SetAlarm1 -> AlarmClock0[label="SetAlarm#onOptionsItemSelected
18+
#onClick
19+
SetAlarm#onBackPressed
20+
#onClick",style=dotted];
21+
ClockPicker3 -> ClockPicker3[label="ClockPicker#onItemSelected
22+
ClockPicker#onNothingSelected",style=dotted];
23+
ClockPicker3 -> AlarmClock0[label="#onClick
24+
ClockPicker#onItemClick",style=dotted];
25+
AlarmAlert2 -> s7[label="AlarmAlert#onBackPressed",style=dotted];
26+
AlarmAlertFullScreen6 -> s8[label="#onClick",style=dotted];
27+
AlarmAlertFullScreen6 -> s10[label="AlarmAlertFullScreen#dispatchKeyEvent",style=dotted];
28+
AlarmAlertFullScreen6 -> s11[label="AlarmAlertFullScreen#dispatchKeyEvent",style=dotted];
29+
AlarmAlertFullScreen6 -> s9[label="#onClick",style=dotted];
30+
AlarmAlertFullScreen6 -> AlarmAlertFullScreen6[label="AlarmAlertFullScreen#onBackPressed",style=dotted];
31+
AlarmClock0 -> SetAlarm1[label="AlarmClock#onOptionsItemSelected
32+
AlarmClock#onItemClick",style=dotted];
33+
AlarmClock0 -> ClockPicker3[label="#onClick",style=dotted];
34+
AlarmClock0 -> SettingsActivity5[label="AlarmClock#onOptionsItemSelected",style=dotted];
35+
AlarmClock0 -> AlarmClock0[label="AlarmClock#onContextItemSelected",style=dotted];
36+
}

0 commit comments

Comments
 (0)