From 0b2a8d1adf084f24de8abfebfe88898714a4b5b5 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Thu, 27 Apr 2017 21:08:21 +0200
Subject: [PATCH] fixed comments and names of arguments in file.h for
 consistency

---
 src/storm/utility/file.h | 20 +++++---------------
 1 file changed, 5 insertions(+), 15 deletions(-)

diff --git a/src/storm/utility/file.h b/src/storm/utility/file.h
index 4e234dee5..97201e4a2 100644
--- a/src/storm/utility/file.h
+++ b/src/storm/utility/file.h
@@ -1,12 +1,4 @@
-/** 
- * @file:   file.h
- * @author: Sebastian Junges
- *
- * @since October 7, 2014
- */
-
-#ifndef STORM_UTILITY_FILE_H_
-#define STORM_UTILITY_FILE_H_
+#pragma once
 
 #include <iostream>
 
@@ -19,7 +11,7 @@ namespace storm {
         /*!
          * Open the given file for writing.
          *
-         * @param filename Path and name of the file to be tested.
+         * @param filepath Path and name of the file to be written to.
          * @param filestream Contains the file handler afterwards.
          * @param append If true, the new content is appended instead of clearing the existing content.
          */
@@ -36,7 +28,7 @@ namespace storm {
         /*!
          * Open the given file for reading.
          *
-         * @param filename Path and name of the file to be tested.
+         * @param filepath Path and name of the file to be tested.
          * @param filestream Contains the file handler afterwards.
          */
         inline void openFile(std::string const& filepath, std::ifstream& filestream) {
@@ -47,7 +39,7 @@ namespace storm {
         /*!
          * Close the given file after writing.
          *
-         * @param filestream Contains the file handler to close.
+         * @param stream Contains the file handler to close.
          */
         inline void closeFile(std::ofstream& stream) {
             stream.close();
@@ -56,7 +48,7 @@ namespace storm {
         /*!
          * Close the given file after reading.
          *
-         * @param filestream Contains the file handler to close.
+         * @param stream Contains the file handler to close.
          */
         inline void closeFile(std::ifstream& stream) {
             stream.close();
@@ -77,5 +69,3 @@ namespace storm {
 
     }
 }
-
-#endif