[927] | 1 | // Copyright 2012 Georg-August-Universität Göttingen, Germany
|
---|
| 2 | //
|
---|
| 3 | // Licensed under the Apache License, Version 2.0 (the "License");
|
---|
| 4 | // you may not use this file except in compliance with the License.
|
---|
| 5 | // You may obtain a copy of the License at
|
---|
| 6 | //
|
---|
| 7 | // http://www.apache.org/licenses/LICENSE-2.0
|
---|
| 8 | //
|
---|
| 9 | // Unless required by applicable law or agreed to in writing, software
|
---|
| 10 | // distributed under the License is distributed on an "AS IS" BASIS,
|
---|
| 11 | // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
---|
| 12 | // See the License for the specific language governing permissions and
|
---|
| 13 | // limitations under the License.
|
---|
| 14 |
|
---|
[922] | 15 | package de.ugoe.cs.autoquest.eventcore;
|
---|
[1] | 16 |
|
---|
[86] | 17 | import java.io.Serializable;
|
---|
| 18 |
|
---|
[922] | 19 | import de.ugoe.cs.autoquest.IReplayDecorator;
|
---|
[560] | 20 |
|
---|
[79] | 21 | /**
|
---|
| 22 | * <p>
|
---|
| 23 | * This interface is used by {@link ReplayableEvent}to describe how events can
|
---|
| 24 | * be replayed. It can be used to define a sequence of fine-grained platform
|
---|
| 25 | * events that make up an abstract event.
|
---|
| 26 | * </p>
|
---|
| 27 | *
|
---|
| 28 | * @author Steffen Herbold
|
---|
| 29 | * @version 1.0
|
---|
| 30 | */
|
---|
[86] | 31 | public interface IReplayable extends Serializable {
|
---|
[79] | 32 |
|
---|
| 33 | /**
|
---|
| 34 | * <p>
|
---|
| 35 | * Returns a string to be written to the replay script that describes the
|
---|
| 36 | * replayable platform event.
|
---|
| 37 | * </p>
|
---|
| 38 | *
|
---|
| 39 | * @return string for the replay script
|
---|
| 40 | */
|
---|
[91] | 41 | String getReplay();
|
---|
[560] | 42 |
|
---|
| 43 | /**
|
---|
| 44 | * <p>
|
---|
| 45 | * Returns the replay decorator associated with the replayable. Returns null if no replay decorator is associated with the replayable.
|
---|
| 46 | * </p>
|
---|
| 47 | *
|
---|
| 48 | * @return replay decorator
|
---|
| 49 | */
|
---|
| 50 | IReplayDecorator getDecorator();
|
---|
[1] | 51 | }
|
---|