Package org.tweetyproject.arg.delp
Class TestKBParsing
java.lang.Object
org.tweetyproject.arg.delp.TestKBParsing
-
Field Summary
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
void
void
void
void
void
void
void
void
void
-
Field Details
-
tempFolder
public org.junit.rules.TemporaryFolder tempFolder
-
-
Constructor Details
-
TestKBParsing
public TestKBParsing()
-
-
Method Details
-
parseEmpty
- Throws:
IOException
-
parseTooLong
- Throws:
IOException
-
parseTooShort
- Throws:
IOException
-
parseUnknownToken
- Throws:
IOException
-
parseComments
- Throws:
IOException
-
parseQuotedStrings
- Throws:
IOException
-
missingEndQuote
- Throws:
IOException
-
parseEmptyPreds
- Throws:
IOException
-
parseKnownKBs
- Throws:
IOException
-
veryLargeKB
- Throws:
IOException
-