001: //
002: //Copyright (C) 2005 United States Government as represented by the
003: //Administrator of the National Aeronautics and Space Administration
004: //(NASA). All Rights Reserved.
005: //
006: //This software is distributed under the NASA Open Source Agreement
007: //(NOSA), version 1.3. The NOSA has been approved by the Open Source
008: //Initiative. See the file NOSA-1.3-JPF at the top of the distribution
009: //directory tree for the complete NOSA document.
010: //
011: //THE SUBJECT SOFTWARE IS PROVIDED "AS IS" WITHOUT ANY WARRANTY OF ANY
012: //KIND, EITHER EXPRESSED, IMPLIED, OR STATUTORY, INCLUDING, BUT NOT
013: //LIMITED TO, ANY WARRANTY THAT THE SUBJECT SOFTWARE WILL CONFORM TO
014: //SPECIFICATIONS, ANY IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR
015: //A PARTICULAR PURPOSE, OR FREEDOM FROM INFRINGEMENT, ANY WARRANTY THAT
016: //THE SUBJECT SOFTWARE WILL BE ERROR FREE, OR ANY WARRANTY THAT
017: //DOCUMENTATION, IF PROVIDED, WILL CONFORM TO THE SUBJECT SOFTWARE.
018: //
019: package gov.nasa.jpf;
020:
021: /**
022: * Adapter class that dummy implements both VMListener and SearchListener interfaces
023: * Used to ease implementation of listeners that only process a few notifications
024: */
025: public class ListenerAdapter implements VMListener, SearchListener {
026:
027: /* (non-Javadoc)
028: * @see gov.nasa.jpf.VMListener#instructionExecuted(gov.nasa.jpf.VM)
029: */
030: public void instructionExecuted(VM vm) {
031: }
032:
033: /* (non-Javadoc)
034: * @see gov.nasa.jpf.VMListener#threadStarted(gov.nasa.jpf.VM)
035: */
036: public void threadStarted(VM vm) {
037: }
038:
039: /* (non-Javadoc)
040: * @see gov.nasa.jpf.VMListener#threadTerminated(gov.nasa.jpf.VM)
041: */
042: public void threadTerminated(VM vm) {
043: }
044:
045: /* (non-Javadoc)
046: * @see gov.nasa.jpf.VMListener#classLoaded(gov.nasa.jpf.VM)
047: */
048: public void classLoaded(VM vm) {
049: }
050:
051: /* (non-Javadoc)
052: * @see gov.nasa.jpf.VMListener#objectCreated(gov.nasa.jpf.VM)
053: */
054: public void objectCreated(VM vm) {
055: }
056:
057: /* (non-Javadoc)
058: * @see gov.nasa.jpf.VMListener#objectReleased(gov.nasa.jpf.VM)
059: */
060: public void objectReleased(VM vm) {
061: }
062:
063: /* (non-Javadoc)
064: * @see gov.nasa.jpf.VMListener#gcBegin(gov.nasa.jpf.VM)
065: */
066: public void gcBegin(VM vm) {
067: }
068:
069: /* (non-Javadoc)
070: * @see gov.nasa.jpf.VMListener#gcEnd(gov.nasa.jpf.VM)
071: */
072: public void gcEnd(VM vm) {
073: }
074:
075: /* (non-Javadoc)
076: * @see gov.nasa.jpf.VMListener#exceptionThrown(gov.nasa.jpf.VM)
077: */
078: public void exceptionThrown(VM vm) {
079: }
080:
081: /* (non-Javadoc)
082: * @see gov.nasa.jpf.SearchListener#stateAdvanced(gov.nasa.jpf.Search)
083: */
084: public void stateAdvanced(Search search) {
085: }
086:
087: /* (non-Javadoc)
088: * @see gov.nasa.jpf.SearchListener#stateProcessed(gov.nasa.jpf.Search)
089: */
090: public void stateProcessed(Search search) {
091: }
092:
093: /* (non-Javadoc)
094: * @see gov.nasa.jpf.SearchListener#stateBacktracked(gov.nasa.jpf.Search)
095: */
096: public void stateBacktracked(Search search) {
097: }
098:
099: /* (non-Javadoc)
100: * @see gov.nasa.jpf.SearchListener#stateRestored(gov.nasa.jpf.Search)
101: */
102: public void stateRestored(Search search) {
103: }
104:
105: /* (non-Javadoc)
106: * @see gov.nasa.jpf.SearchListener#propertyViolated(gov.nasa.jpf.Search)
107: */
108: public void propertyViolated(Search search) {
109: }
110:
111: /* (non-Javadoc)
112: * @see gov.nasa.jpf.SearchListener#searchStarted(gov.nasa.jpf.Search)
113: */
114: public void searchStarted(Search search) {
115: }
116:
117: /* (non-Javadoc)
118: * @see gov.nasa.jpf.SearchListener#searchConstraintHit(gov.nasa.jpf.Search)
119: */
120: public void searchConstraintHit(Search search) {
121: }
122:
123: /* (non-Javadoc)
124: * @see gov.nasa.jpf.SearchListener#searchFinished(gov.nasa.jpf.Search)
125: */
126: public void searchFinished(Search search) {
127: }
128:
129: }
|