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 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()
-
-
-
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
-
-