Package net.sf.tweety.arg.delp

Class TestKBParsing

java.lang.Object

net.sf.tweety.arg.delp.TestKBParsing

public final class TestKBParsing
extends java.lang.Object

Parsing DeLPs.

Author:

Linda.Briesemeister

Field Summary

Fields

Modifier and Type	Field	Description
org.junit.rules.TemporaryFolder	tempFolder

Constructor Summary

Constructors

Constructor	Description
TestKBParsing()

Method Summary

Modifier and Type	Method	Description
void	missingEndQuote()
void	parseComments()
void	parseEmpty()
void	parseEmptyPreds()
void	parseKnownKBs()
void	parseQuotedStrings()
void	parseTooLong()
void	parseTooShort()
void	parseUnknownToken()
void	veryLargeKB()

Methods inherited from class java.lang.Object

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

Field Detail

tempFolder

public org.junit.rules.TemporaryFolder tempFolder

Constructor Detail

TestKBParsing

public TestKBParsing()

Method Detail

parseEmpty

public void parseEmpty()
                throws java.io.IOException

Throws:

java.io.IOException

parseTooLong

public void parseTooLong()
                  throws java.io.IOException

Throws:

java.io.IOException

parseTooShort

public void parseTooShort()
                   throws java.io.IOException

Throws:

java.io.IOException

parseUnknownToken

public void parseUnknownToken()
                       throws java.io.IOException

Throws:

java.io.IOException

parseComments

public void parseComments()
                   throws java.io.IOException

Throws:

java.io.IOException

parseQuotedStrings

public void parseQuotedStrings()
                        throws java.io.IOException

Throws:

java.io.IOException

missingEndQuote

public void missingEndQuote()
                     throws java.io.IOException

Throws:

java.io.IOException

parseEmptyPreds

public void parseEmptyPreds()
                     throws java.io.IOException

Throws:

java.io.IOException

parseKnownKBs

public void parseKnownKBs()
                   throws java.io.IOException

Throws:

java.io.IOException

veryLargeKB

public void veryLargeKB()
                 throws java.io.IOException

Throws:

java.io.IOException