jml2b.link
Class LinkContext

java.lang.Object
  jml2b.util.Profiler
      jml2b.link.LinkContext

public class LinkContext

extends Profiler

Author:

A. Requet, L. Burdy

Field Summary

AClass	currentClass
Method	currentMethod
Package	currentPackage
VarStack	linkVars Stack of local variables used for linking

Constructor Summary

LinkContext(AClass ac)

LinkContext(JmlFile f)

LinkContext(LinkContext l, LinkInfo f)

Method Summary

AClass	getCurrentClass()
Package	getImportedClassPackage(java.lang.String class_name) return the package corresponding to the given imported class.
java.util.Enumeration	getImportedPackages()
Package	getPackage()
boolean	isFileContext()
boolean	isResultAdmitted()
void	setCurrentClass(AClass c)
void	setResultAdmitted(boolean b)

Methods inherited from class jml2b.util.Profiler

runGC

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

linkVars

public VarStack linkVars

Stack of local variables used for linking

currentClass

public AClass currentClass

currentPackage

public Package currentPackage

currentMethod

public Method currentMethod

Constructor Detail

LinkContext

public LinkContext(JmlFile f)

LinkContext

public LinkContext(AClass ac)

LinkContext

public LinkContext(LinkContext l,
                   LinkInfo f)

Method Detail

setCurrentClass

public void setCurrentClass(AClass c)

getCurrentClass

public AClass getCurrentClass()

getImportedClassPackage

public Package getImportedClassPackage(java.lang.String class_name)

return the package corresponding to the given imported class. (i.e. a class imported as import package.class_name;) return null if the class is not imported

getPackage

public Package getPackage()

getImportedPackages

public java.util.Enumeration getImportedPackages()

isFileContext

public boolean isFileContext()

isResultAdmitted

public boolean isResultAdmitted()

setResultAdmitted

public void setResultAdmitted(boolean b)

Parameters:

b -