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 and Description
org.junit.rules.TemporaryFolder	tempFolder

Constructor Summary

Constructors

Constructor and Description
TestKBParsing()

Method Summary

Modifier and Type	Method and Description
private static java.lang.String	generateString(java.util.Random rng, java.lang.String characters, int length)
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

clone, equals, finalize, 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

generateString

private static java.lang.String generateString(java.util.Random rng,
                                               java.lang.String characters,
                                               int length)

veryLargeKB

public void veryLargeKB()
                 throws java.io.IOException

Throws:

java.io.IOException