UTJML

edu.utep.cs.utjml.compiler
Class UtJmlTypeLoader

java.lang.Object
  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
DBG_LEVEL_HIGH, DBG_LEVEL_LOW, DBG_LEVEL_NO
 
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

getInstance

public static UtJmlTypeLoader getInstance()

isTrusted

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.

Overrides:
isTrusted in class JmlTypeLoader

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.