SparseItemLabelingParserTest.cpp File Reference

#include "storm-config.h"
#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 "test/storm_gtest.h"
#include <memory>

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 17 of file SparseItemLabelingParserTest.cpp.

TEST() [2/13]

TEST	(	SparseItemLabelingParserTest	,
		BasicNondeterministicParsing
	)

Definition at line 77 of file SparseItemLabelingParserTest.cpp.

TEST() [3/13]

TEST	(	SparseItemLabelingParserTest	,
		DoubledLines
	)

Definition at line 155 of file SparseItemLabelingParserTest.cpp.

TEST() [4/13]

TEST	(	SparseItemLabelingParserTest	,
		LabelForNonExistentState
	)

Definition at line 146 of file SparseItemLabelingParserTest.cpp.

TEST() [5/13]

TEST	(	SparseItemLabelingParserTest	,
		MisspelledDeclarationTagHeader
	)

Definition at line 116 of file SparseItemLabelingParserTest.cpp.

TEST() [6/13]

TEST	(	SparseItemLabelingParserTest	,
		MisspelledEndTagHeader
	)

Definition at line 123 of file SparseItemLabelingParserTest.cpp.

TEST() [7/13]

TEST	(	SparseItemLabelingParserTest	,
		NoDeclarationTagHeader
	)

Definition at line 104 of file SparseItemLabelingParserTest.cpp.

TEST() [8/13]

TEST	(	SparseItemLabelingParserTest	,
		NoEndTagHeader
	)

Definition at line 110 of file SparseItemLabelingParserTest.cpp.

TEST() [9/13]

TEST	(	SparseItemLabelingParserTest	,
		NoLabelDeclaredNoneGiven
	)

Definition at line 129 of file SparseItemLabelingParserTest.cpp.

TEST() [10/13]

TEST	(	SparseItemLabelingParserTest	,
		NonExistingFile
	)

Definition at line 11 of file SparseItemLabelingParserTest.cpp.

TEST() [11/13]

TEST	(	SparseItemLabelingParserTest	,
		UndeclaredLabelsGiven
	)

Definition at line 139 of file SparseItemLabelingParserTest.cpp.

TEST() [12/13]

TEST	(	SparseItemLabelingParserTest	,
		Whitespaces
	)

Definition at line 173 of file SparseItemLabelingParserTest.cpp.

TEST() [13/13]

TEST	(	SparseItemLabelingParserTest	,
		WrongProposition
	)

Definition at line 166 of file SparseItemLabelingParserTest.cpp.