Class UtJmlTypeLoader

  extended by org.multijava.util.Utils
      extended by org.multijava.mjc.TypeLoader
          extended by org.jmlspecs.checker.JmlTypeLoader
              extended by edu.utep.cs.utjml.compiler.UtJmlTypeLoader
All Implemented Interfaces:
Cloneable, CClass.Observer

public class UtJmlTypeLoader
extends JmlTypeLoader

A specialized JML type loader that doesn't use caching for JDK packages across different sessions.

Field Summary
Fields inherited from class org.multijava.mjc.TypeLoader
compilationSessionTypeCache, fileFinder, vmSessionTypeCache
Fields inherited from class org.multijava.util.Utils
Method Summary
static UtJmlTypeLoader getInstance()
protected  boolean isTrusted(String qName)
          Returns true if the information for the type or package of the given qualified name should be retained for subsequent compilation sessions.
Methods inherited from class org.jmlspecs.checker.JmlTypeLoader
activatePartiallyProcessedTask, activateSymbolTableBuild, activateSymbolTableBuild, activateTypeCheck, activateTypeCheck, addToTypeCache, addTypeDeclAST, checkUniqueness, createClassInfo, forgetEverythingAbout, getCUnitAST, getCurrentHostClass, getFileIdent, getJmlSingleton, getSuspendedCUnit, initSession, interfacesOf, isDeclaredInDifferentSourceFiles, loadMostRefinedType, putCUnitAST, refinedDeclOf, reloadType, removeFromTypeCache, removePartiallyProcessedTask, savePartiallyProcessedTask, setCurrentHostClass, superClassOf, superClassOf, typeDeclarationOf
Methods inherited from class org.multijava.mjc.TypeLoader
addTypeRep, classExists, fileFinder, find, findSourceFile, getSingleton, getTypeRep, isTypeLoaded, loadType, lookupType, lookupTypeRep, signatureCompleted
Methods inherited from class org.multijava.util.Utils
assertTrue, assertTrue, combineArrays, escapeString, escapeString, fail, fail, getFilePath, hasFlag, hasOtherFlags, parsePathParts, relativePathTo, splitQualifiedName, splitQualifiedName, stripJavaModifiers, stripNonJavaModifiers, stripPrivateModifier, unescapeString, vectorToArray, vectorToIntArray
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail


public static UtJmlTypeLoader getInstance()


protected boolean isTrusted(String qName)
Returns true if the information for the type or package of the given qualified name should be retained for subsequent compilation sessions. This method is overridden here to return false for JDK packages. Caching doesn't seem to work when both MJ and JML type loaders are used on the same VM, thus disabled.

isTrusted in class JmlTypeLoader


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.