UTJML

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()

UTJML

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.