Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
UTJML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

edu.utep.cs.utjml.compiler
Class JmlCallSequenceExpression.State

java.lang.Object
  extended by edu.utep.cs.utjml.compiler.JmlCallSequenceExpression.State
Enclosing class:
JmlCallSequenceExpression
protected static class JmlCallSequenceExpression.State
extends Object

Constructor Summary
protected JmlCallSequenceExpression.State()
           
 
Method Summary
 void addTransition(String label, JmlCallSequenceExpression.State st)
           
 Set empties()
           
 Map transitions()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

JmlCallSequenceExpression.State

protected JmlCallSequenceExpression.State()
Method Detail

addTransition

public void addTransition(String label,
                          JmlCallSequenceExpression.State st)

empties

public Set empties()

transitions

public Map transitions()
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
UTJML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
UTJML is Copyright (C) 2004-2006 by University of Texas at El Paso and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the JML project.