edu.utep.cs.utjml.compiler
Class UtJmlParser.TypeWeaklyList
java.lang.Object
edu.utep.cs.utjml.compiler.UtJmlParser.TypeWeaklyList
- Enclosing class:
- UtJmlParser
protected static class UtJmlParser.TypeWeaklyList
- extends Object
This nested class represents a list of implemented interfaces
for a class declaration (or extends interfaces for an interface
declaration) and whether they are implemented (or extended)
weakly.
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
UtJmlParser.TypeWeaklyList
protected UtJmlParser.TypeWeaklyList()
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.