Class KppADFFormatParser

java.lang.Object

org.tweetyproject.arg.adf.io.KppADFFormatParser

public final class KppADFFormatParser
extends Object

A parser for the input format described at https://www.cs.helsinki.fi/group/coreo/k++adf/ Since the input format is only described informally, we assume that each argument has to be defined before it can be used in some way, e.g. 's(a). ac(a,c(v)).' is a valid input but 'ac(a,c(v)). s(a).' is not. This assumption makes error handling and reporting much easier. However, this also means that the order of the input statements matter and we are thus not fully declarative.

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
KppADFFormatParser(LinkStrategy linkStrategy, boolean lazy)

Method Summary

Modifier and Type	Method	Description
AbstractDialecticalFramework	parse(File file)
AbstractDialecticalFramework	parse(Reader reader)
AbstractDialecticalFramework	parse(String text)

Methods inherited from class java.lang.Object

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

Constructor Details

KppADFFormatParser

public KppADFFormatParser(LinkStrategy linkStrategy,
 boolean lazy)

Parameters:

linkStrategy - the strategy which is used to compute the links

lazy - specifies if the link computation should be done lazily

Method Details

parse

public AbstractDialecticalFramework parse(String text)
                                   throws IOException

Parameters:

text - text

Returns:

parse

Throws:

IOException - IO Exception

parse

public AbstractDialecticalFramework parse(File file)
                                   throws FileNotFoundException,
IOException

Parameters:

file - file

Returns:

parse

Throws:

FileNotFoundException - File Not Found Exception

IOException - IO Exception

parse

public AbstractDialecticalFramework parse(Reader reader)
                                   throws IOException

Parameters:

reader - reader

Returns:

parse

Throws:

IOException - IO Exception