SparseItemLabelingParserTest.cpp File Reference

#include "storm-config.h"
#include "test/storm_gtest.h"
#include <memory>
#include "storm-parsers/parser/SparseItemLabelingParser.h"
#include "storm/exceptions/FileIoException.h"
#include "storm/exceptions/OutOfRangeException.h"
#include "storm/exceptions/WrongFormatException.h"
#include "storm/models/sparse/StateLabeling.h"

Include dependency graph for SparseItemLabelingParserTest.cpp:

Go to the source code of this file.

Functions
	TEST (SparseItemLabelingParserTest, NonExistingFile)
	TEST (SparseItemLabelingParserTest, BasicDeterministicParsing)
	TEST (SparseItemLabelingParserTest, BasicNondeterministicParsing)
	TEST (SparseItemLabelingParserTest, NoDeclarationTagHeader)
	TEST (SparseItemLabelingParserTest, NoEndTagHeader)
	TEST (SparseItemLabelingParserTest, MisspelledDeclarationTagHeader)
	TEST (SparseItemLabelingParserTest, MisspelledEndTagHeader)
	TEST (SparseItemLabelingParserTest, NoLabelDeclaredNoneGiven)
	TEST (SparseItemLabelingParserTest, UndeclaredLabelsGiven)
	TEST (SparseItemLabelingParserTest, LabelForNonExistentState)
	TEST (SparseItemLabelingParserTest, DoubledLines)
	TEST (SparseItemLabelingParserTest, WrongProposition)
	TEST (SparseItemLabelingParserTest, Whitespaces)

Function Documentation

TEST() [1/13]

TEST	(	SparseItemLabelingParserTest	,
		BasicDeterministicParsing
	)

Definition at line 18 of file SparseItemLabelingParserTest.cpp.

TEST() [2/13]

TEST	(	SparseItemLabelingParserTest	,
		BasicNondeterministicParsing
	)

Definition at line 78 of file SparseItemLabelingParserTest.cpp.

TEST() [3/13]

TEST	(	SparseItemLabelingParserTest	,
		DoubledLines
	)

Definition at line 156 of file SparseItemLabelingParserTest.cpp.

TEST() [4/13]

TEST	(	SparseItemLabelingParserTest	,
		LabelForNonExistentState
	)

Definition at line 147 of file SparseItemLabelingParserTest.cpp.

TEST() [5/13]

TEST	(	SparseItemLabelingParserTest	,
		MisspelledDeclarationTagHeader
	)

Definition at line 117 of file SparseItemLabelingParserTest.cpp.

TEST() [6/13]

TEST	(	SparseItemLabelingParserTest	,
		MisspelledEndTagHeader
	)

Definition at line 124 of file SparseItemLabelingParserTest.cpp.

TEST() [7/13]

TEST	(	SparseItemLabelingParserTest	,
		NoDeclarationTagHeader
	)

Definition at line 105 of file SparseItemLabelingParserTest.cpp.

TEST() [8/13]

TEST	(	SparseItemLabelingParserTest	,
		NoEndTagHeader
	)

Definition at line 111 of file SparseItemLabelingParserTest.cpp.

TEST() [9/13]

TEST	(	SparseItemLabelingParserTest	,
		NoLabelDeclaredNoneGiven
	)

Definition at line 130 of file SparseItemLabelingParserTest.cpp.

TEST() [10/13]

TEST	(	SparseItemLabelingParserTest	,
		NonExistingFile
	)

Definition at line 12 of file SparseItemLabelingParserTest.cpp.

TEST() [11/13]

TEST	(	SparseItemLabelingParserTest	,
		UndeclaredLabelsGiven
	)

Definition at line 140 of file SparseItemLabelingParserTest.cpp.

TEST() [12/13]

TEST	(	SparseItemLabelingParserTest	,
		Whitespaces
	)

Definition at line 174 of file SparseItemLabelingParserTest.cpp.

TEST() [13/13]

TEST	(	SparseItemLabelingParserTest	,
		WrongProposition
	)

Definition at line 167 of file SparseItemLabelingParserTest.cpp.