Transition


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  import gov.nasa.jpf.util.Printable;
22  
23  
24  /**
25   * Transition objects are the elements of a 'Path' instance, they hold
26   * all instructions (step) executed in this thread for the current 
27   * state transition
28   */
29  public interface Transition extends Printable {
30    String   getLabel ();
31  
32    int getRandom ();
33  
34    int getStepCount ();
35  
36    int getThread ();
37  
38    TransitionStep getTransitionStep (int index);
39    
40    TransitionStep getLastTransitionStep ();
41    
42    void setOutput (String   s);
43    
44    void setAnnotation (Object   o);
45    
46    Object   getAnnotation ();
47    
48    String   getOutput ();
49  }
50
A to Z: JavaDoc & Examples Daily Java News & Articles Open Source Projects Open Source Codes Free Computer Books Remove Frame
Popular Tags