UtJmlTypeLoader (UTJML documentation)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

UTJML

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

edu.utep.cs.utjml.compiler
Class UtJmlTypeLoader

java.lang.Object
  org.multijava.util.Utils
      org.multijava.mjc.TypeLoader
          org.jmlspecs.checker.JmlTypeLoader
              edu.utep.cs.utjml.compiler.UtJmlTypeLoader

All Implemented Interfaces:: Cloneable, CClass.Observer

public class UtJmlTypeLoader
extends JmlTypeLoader
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.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