| changeset 26 | dbcc28b503c0 |
| parent 25 | 58e042a191a9 |
| child 40 | 0ce76b671515 |
| 25:58e042a191a9 | 26:dbcc28b503c0 |
|---|---|
5 classVariableNames:'' |
5 classVariableNames:'' |
6 poolDictionaries:'' |
6 poolDictionaries:'' |
7 category:'GDB-Resources' |
7 category:'GDB-Resources' |
8 ! |
8 ! |
9 |
9 |
10 !GDBSimulatorResource methodsFor:'recorded sessions'! |
10 !GDBSimulatorResource class methodsFor:'recorded sessions'! |
11 |
11 |
12 session_factorial_01 |
12 session_factorial_01 |
13 |
13 |
14 ^ (GDBSessionRecord new: 15) |
14 ^ (GDBSessionRecord new: 15) |
15 |
15 |