UTJML

edu.utep.cs.utjml.compiler
Class UtJmlParser.TypeWeaklyList

java.lang.Object
  extended by 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.


Constructor Summary
protected UtJmlParser.TypeWeaklyList()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

UtJmlParser.TypeWeaklyList

protected UtJmlParser.TypeWeaklyList()

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.