org.jmlspecs.jml4.lookup
Class JmlSourceLookup

java.lang.Object
  org.jmlspecs.jml4.lookup.JmlSourceLookup

public class JmlSourceLookup
extends java.lang.Object

Constructor Summary

JmlSourceLookup(Compiler compiler)

Method Summary

static void	attachMethodDeclsToMethodBindings(AbstractMethodDeclaration[] methodDecls)
JmlFileFinder	getJmlFileFinder()
void	mergeWithSourceAndSpec(CompilationUnitDeclaration unit)

Methods inherited from class java.lang.Object

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

Constructor Detail

JmlSourceLookup

public JmlSourceLookup(Compiler compiler)

Method Detail

getJmlFileFinder

public JmlFileFinder getJmlFileFinder()

mergeWithSourceAndSpec

public void mergeWithSourceAndSpec(CompilationUnitDeclaration unit)

attachMethodDeclsToMethodBindings

public static void attachMethodDeclsToMethodBindings(AbstractMethodDeclaration[] methodDecls)