gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.formats/gapt.formats.tptp/gapt.formats.tptp.statistics/FileData

FileData

gapt.formats.tptp.statistics.`package`.FileData
abstract class FileData extends InputFile, Serializable, CSVConvertible[String]

Easier representation of file paths data follow a certain schema

Attributes

Source
common.scala
Graph
Supertypes
trait Serializable
trait InputFile
class Object
trait Matchable
class Any
Show all
Known subtypes
class CASCResult
object UnknownFile.type

Members list

Value members

Abstract methods

override def fileName: String

Attributes

Definition Classes
Source
common.scala

Concrete methods

def file: FilePath & BasePathImpl

Attributes

Source
common.scala
def fileAsPath: Path

Attributes

Source
common.scala
def read: String

Attributes

Source
common.scala

Inherited methods

def csvHeader(): CSVRow[String]

Returns the csv header decribing the data

Returns the csv header decribing the data

Attributes

Inherited from:
CSVConvertible
Source
csv.scala
def toCSV(): CSVRow[T]

Converts the data to a CSV row

Converts the data to a CSV row

Attributes

Inherited from:
CSVConvertible
Source
csv.scala
Generated with