KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > gov > nasa > jpf > ListenerAdapter


1 //
2
//Copyright (C) 2005 United States Government as represented by the
3
//Administrator of the National Aeronautics and Space Administration
4
//(NASA). All Rights Reserved.
5
//
6
//This software is distributed under the NASA Open Source Agreement
7
//(NOSA), version 1.3. The NOSA has been approved by the Open Source
8
//Initiative. See the file NOSA-1.3-JPF at the top of the distribution
9
//directory tree for the complete NOSA document.
10
//
11
//THE SUBJECT SOFTWARE IS PROVIDED "AS IS" WITHOUT ANY WARRANTY OF ANY
12
//KIND, EITHER EXPRESSED, IMPLIED, OR STATUTORY, INCLUDING, BUT NOT
13
//LIMITED TO, ANY WARRANTY THAT THE SUBJECT SOFTWARE WILL CONFORM TO
14
//SPECIFICATIONS, ANY IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR
15
//A PARTICULAR PURPOSE, OR FREEDOM FROM INFRINGEMENT, ANY WARRANTY THAT
16
//THE SUBJECT SOFTWARE WILL BE ERROR FREE, OR ANY WARRANTY THAT
17
//DOCUMENTATION, IF PROVIDED, WILL CONFORM TO THE SUBJECT SOFTWARE.
18
//
19
package gov.nasa.jpf;
20
21
22 /**
23  * Adapter class that dummy implements both VMListener and SearchListener interfaces
24  * Used to ease implementation of listeners that only process a few notifications
25  */

26 public class ListenerAdapter implements VMListener, SearchListener {
27
28   /* (non-Javadoc)
29    * @see gov.nasa.jpf.VMListener#instructionExecuted(gov.nasa.jpf.VM)
30    */

31   public void instructionExecuted(VM vm) {
32   }
33
34   /* (non-Javadoc)
35    * @see gov.nasa.jpf.VMListener#threadStarted(gov.nasa.jpf.VM)
36    */

37   public void threadStarted(VM vm) {
38   }
39
40   /* (non-Javadoc)
41    * @see gov.nasa.jpf.VMListener#threadTerminated(gov.nasa.jpf.VM)
42    */

43   public void threadTerminated(VM vm) {
44   }
45
46   /* (non-Javadoc)
47    * @see gov.nasa.jpf.VMListener#classLoaded(gov.nasa.jpf.VM)
48    */

49   public void classLoaded(VM vm) {
50   }
51
52   /* (non-Javadoc)
53    * @see gov.nasa.jpf.VMListener#objectCreated(gov.nasa.jpf.VM)
54    */

55   public void objectCreated(VM vm) {
56   }
57
58   /* (non-Javadoc)
59    * @see gov.nasa.jpf.VMListener#objectReleased(gov.nasa.jpf.VM)
60    */

61   public void objectReleased(VM vm) {
62   }
63
64   /* (non-Javadoc)
65    * @see gov.nasa.jpf.VMListener#gcBegin(gov.nasa.jpf.VM)
66    */

67   public void gcBegin(VM vm) {
68   }
69
70   /* (non-Javadoc)
71    * @see gov.nasa.jpf.VMListener#gcEnd(gov.nasa.jpf.VM)
72    */

73   public void gcEnd(VM vm) {
74   }
75
76   /* (non-Javadoc)
77    * @see gov.nasa.jpf.VMListener#exceptionThrown(gov.nasa.jpf.VM)
78    */

79   public void exceptionThrown(VM vm) {
80   }
81
82   /* (non-Javadoc)
83    * @see gov.nasa.jpf.SearchListener#stateAdvanced(gov.nasa.jpf.Search)
84    */

85   public void stateAdvanced(Search search) {
86   }
87
88   /* (non-Javadoc)
89    * @see gov.nasa.jpf.SearchListener#stateProcessed(gov.nasa.jpf.Search)
90    */

91   public void stateProcessed(Search search) {
92   }
93
94   /* (non-Javadoc)
95    * @see gov.nasa.jpf.SearchListener#stateBacktracked(gov.nasa.jpf.Search)
96    */

97   public void stateBacktracked(Search search) {
98   }
99
100   /* (non-Javadoc)
101    * @see gov.nasa.jpf.SearchListener#stateRestored(gov.nasa.jpf.Search)
102    */

103   public void stateRestored(Search search) {
104   }
105
106   /* (non-Javadoc)
107    * @see gov.nasa.jpf.SearchListener#propertyViolated(gov.nasa.jpf.Search)
108    */

109   public void propertyViolated(Search search) {
110   }
111
112   /* (non-Javadoc)
113    * @see gov.nasa.jpf.SearchListener#searchStarted(gov.nasa.jpf.Search)
114    */

115   public void searchStarted(Search search) {
116   }
117
118   /* (non-Javadoc)
119    * @see gov.nasa.jpf.SearchListener#searchConstraintHit(gov.nasa.jpf.Search)
120    */

121   public void searchConstraintHit(Search search) {
122   }
123
124   /* (non-Javadoc)
125    * @see gov.nasa.jpf.SearchListener#searchFinished(gov.nasa.jpf.Search)
126    */

127   public void searchFinished(Search search) {
128   }
129
130 }
131
Popular Tags