abc.ltl.formulaextraction
Class FormulaSource

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

public class FormulaSource
extends SyntheticSource

This represents a source object defining a formula.

Author:

bodden

Constructor Summary

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

Method Summary

Methods inherited from class abc.ltl.formulaextraction.SyntheticSource

close, equals, hashCode, open, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

FormulaSource

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

Throws:

java.io.IOException