Uses of Class
org.tweetyproject.arg.dung.parser.FileFormat

Packages that use FileFormat

Package	Description
org.tweetyproject.arg.dung.parser
org.tweetyproject.arg.dung.writer

Uses of FileFormat in org.tweetyproject.arg.dung.parser

Methods in org.tweetyproject.arg.dung.parser that return FileFormat

Modifier and Type	Method	Description
static FileFormat	FileFormat.getFileFormat(java.lang.String s)	Returns the file format instance that corresponds to the given abbrevation
static FileFormat	FileFormat.valueOf(java.lang.String name)	Returns the enum constant of this type with the specified name.
static FileFormat[]	FileFormat.values()	Returns an array containing the constants of this enum type, in the order they are declared.

Methods in org.tweetyproject.arg.dung.parser that return types with arguments of type FileFormat

Modifier and Type	Method	Description
static java.util.Collection<FileFormat>	FileFormat.getFileFormats(java.lang.String s)	Returns a collection of file formats parsed from the given string which has to be in the format "[format1,...,formatn]".

Methods in org.tweetyproject.arg.dung.parser with parameters of type FileFormat

Modifier and Type	Method	Description
static AbstractDungParser	AbstractDungParser.getParser(FileFormat f)	Retrieves the parser for the given file format.

Uses of FileFormat in org.tweetyproject.arg.dung.writer

Methods in org.tweetyproject.arg.dung.writer with parameters of type FileFormat

Modifier and Type	Method	Description
static AbstractDungWriter	AbstractDungWriter.getWriter(FileFormat f)	Retrieves the writer for the given file format.