abc.ltl.formulaextraction
Class SyntheticSource

java.lang.Object
  FileSource
      abc.ltl.formulaextraction.SyntheticSource

Direct Known Subclasses:

FormulaSource

public class SyntheticSource
extends FileSource

A SyntheticSource is a source defined by some bytearray.

Author:

Eric Bodden

Constructor Summary

SyntheticSource(byte[] content, java.lang.String filePath)

Method Summary

void	close()
boolean	equals(java.lang.Object source)
int	hashCode()
java.io.Reader	open()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

SyntheticSource

public SyntheticSource(byte[] content,
                       java.lang.String filePath)
                throws java.io.IOException

Parameters:

content - Content of the source file.

filePath - imaginary path to the synthetic file according to package and class id.

Throws:

java.io.IOException - cannot occur but has to be there for compatibility with FileSource

Method Detail

open

public java.io.Reader open()
                    throws java.io.IOException

Throws:

java.io.IOException

close

public void close()
           throws java.io.IOException

Throws:

java.io.IOException

equals

public boolean equals(java.lang.Object source)

hashCode

public int hashCode()

toString

public java.lang.String toString()