org.jmlspecs.jml4.lookup
Class JmlFileFinder

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

public class JmlFileFinder
extends java.lang.Object

Field Summary

INameEnvironment

sourceNameEnv

Constructor Summary

JmlFileFinder(Compiler compiler)

Method Summary

java.io.File[]	find(char[] name)
java.io.File[]	find(java.lang.String name)
static java.io.File[]	find(java.lang.String name, java.io.File[] paths)
java.io.File[]	findSource(java.lang.String name)
java.io.File[]	findSpecs(java.lang.String name)

Methods inherited from class java.lang.Object

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

Field Detail

sourceNameEnv

public final INameEnvironment sourceNameEnv

Constructor Detail

JmlFileFinder

public JmlFileFinder(Compiler compiler)

Method Detail

find

public java.io.File[] find(char[] name)

find

public java.io.File[] find(java.lang.String name)

findSource

public java.io.File[] findSource(java.lang.String name)

findSpecs

public java.io.File[] findSpecs(java.lang.String name)

find

public static java.io.File[] find(java.lang.String name,
                                  java.io.File[] paths)