jml2b.util
Class JmlFileStream

java.lang.Object
  jml2b.util.JmlFileStream

All Implemented Interfaces:

org.eclipse.compare.IStreamContentAccessor

public class JmlFileStream

extends java.lang.Object

implements org.eclipse.compare.IStreamContentAccessor

Author:

L. Burdy

Constructor Summary

JmlFileStream(java.io.File jf)

Method Summary

java.io.InputStream

getContents()

Methods inherited from class java.lang.Object

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

Constructor Detail

JmlFileStream

public JmlFileStream(java.io.File jf)

Method Detail

getContents

public java.io.InputStream getContents()
                                throws org.eclipse.core.runtime.CoreException

Specified by:

getContents in interface org.eclipse.compare.IStreamContentAccessor

Throws:

org.eclipse.core.runtime.CoreException