public class JsonReaderTest extends Object
Constructor and Description |
---|
JsonReaderTest() |
Modifier and Type | Method and Description |
---|---|
void |
setUp() |
void |
testInputStream() |
void |
testJsonOutput() |
void |
testMixOfClausesAndCard() |
void |
testOrderofMixedConstraints() |
void |
testReadingACardAtLeastEqual() |
void |
testReadingACardAtLeastStrictly() |
void |
testReadingACardAtMostEqual() |
void |
testReadingACardAtMostStrictly() |
void |
testReadingACardExactly() |
void |
testReadingNullClause() |
void |
testReadingSimpleClause() |
void |
testReadingTwoClauses() |
public void testReadingSimpleClause() throws ParseFormatException, ContradictionException, IOException
public void testReadingNullClause() throws ParseFormatException, ContradictionException, IOException
public void testReadingTwoClauses() throws ParseFormatException, ContradictionException, IOException
public void testReadingACardExactly() throws ParseFormatException, ContradictionException
public void testReadingACardAtMostEqual() throws ParseFormatException, ContradictionException
public void testReadingACardAtMostStrictly() throws ParseFormatException, ContradictionException
public void testReadingACardAtLeastEqual() throws ParseFormatException, ContradictionException
public void testReadingACardAtLeastStrictly() throws ParseFormatException, ContradictionException
public void testMixOfClausesAndCard() throws ParseFormatException, ContradictionException
public void testOrderofMixedConstraints() throws ParseFormatException, ContradictionException
public void testInputStream() throws ParseFormatException, ContradictionException, IOException
public void testJsonOutput() throws ParseFormatException, ContradictionException, TimeoutException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.