blob: 9fb32390bb71fadd4ef3f03fa9471a4ed3f03f14 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
/* *******************************************************************
* 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;
aspect Answer1c {
declare error
: set(private * *)
&& !(withincode(* set*(..))
|| withincode(new(..))
|| withincode(void figures.Point.move(int, int)))
&& within(figures.*)
: "bad field set";
}
|
