diff options
author | Alexander Kriegisch <Alexander@Kriegisch.name> | 2024-01-04 10:12:59 +0700 |
---|---|---|
committer | Alexander Kriegisch <Alexander@Kriegisch.name> | 2024-01-06 10:09:11 +0100 |
commit | 61ceb8a58ea72d4c07ff0b2f669d5f84b75700ec (patch) | |
tree | 857d468f6c8cc4d83370ed9d526e79f3abdb3f2a /docs/examples/spacewar/EnsureShipIsAlive.java | |
parent | f7962810eca3ddda75d64b85caab2449eeff480e (diff) | |
download | aspectj-61ceb8a58ea72d4c07ff0b2f669d5f84b75700ec.tar.gz aspectj-61ceb8a58ea72d4c07ff0b2f669d5f84b75700ec.zip |
Move docs examples directory two levels up
Now, the location more closely resembles where it is on the website.
Signed-off-by: Alexander Kriegisch <Alexander@Kriegisch.name>
Diffstat (limited to 'docs/examples/spacewar/EnsureShipIsAlive.java')
-rw-r--r-- | docs/examples/spacewar/EnsureShipIsAlive.java | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/docs/examples/spacewar/EnsureShipIsAlive.java b/docs/examples/spacewar/EnsureShipIsAlive.java new file mode 100644 index 000000000..f7b949a92 --- /dev/null +++ b/docs/examples/spacewar/EnsureShipIsAlive.java @@ -0,0 +1,35 @@ +/* + +Copyright (c) Xerox Corporation 1998-2002. All rights reserved. + +Use and copying of this software and preparation of derivative works based +upon this software are permitted. Any distribution of this software or +derivative works must comply with all applicable United States export control +laws. + +This software is made available AS IS, and Xerox Corporation makes no warranty +about the software, its performance or its conformity to any specification. + +|<--- this code is formatted to fit into 80 columns --->| +|<--- this code is formatted to fit into 80 columns --->| +|<--- this code is formatted to fit into 80 columns --->| + +Ship.java +Part of the Spacewar system. + +*/ + +package spacewar; + +/** + * This aspect makes sure that the ship is alive before performing any console + * commands. + * + */ +aspect EnsureShipIsAlive { + void around (Ship ship): Ship.helmCommandsCut(ship) { + if ( ship.isAlive() ) { + proceed(ship); + } + } +} |