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