docs/teaching/exercises/answers/Answer2d.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

/* *******************************************************************
 * Copyright (c) 2002 Palo Alto Research Center, Incorporated (PARC).
 * All rights reserved.
 * This program and the accompanying materials are made available
 * under the terms of the Common Public License v1.0
 * which accompanies this distribution and is available at
 * http://www.eclipse.org/legal/cpl-v10.html
 *
 * Contributors:
 *     PARC     initial implementation
 * ******************************************************************/

package answers;

import figures.SlothfulPoint;

aspect Answer2d {
    after(int newValue, SlothfulPoint p) returning:
            call(void setX(int)) && args(newValue) && target(p) {
        if (newValue != p.getX()) {
            throw new RuntimeException("setter didn't set");
        }
    }
}