From 8935d8f4e93b7991ee3ae596b181ecbf4f232544 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 30 Mar 2019 17:18:17 +0000
Subject: [PATCH] Improved error handling.

---
 document-generator/latex/DOF-core.sty | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/document-generator/latex/DOF-core.sty b/document-generator/latex/DOF-core.sty
index e40812f..0e60e40 100644
--- a/document-generator/latex/DOF-core.sty
+++ b/document-generator/latex/DOF-core.sty
@@ -20,6 +20,7 @@
 \RequirePackage{environ}
 \RequirePackage{graphicx}
 \RequirePackage{xspace}
+\RequirePackage{etoolbox}
 \RequirePackage{fp}
 
 \newcommand{\isadof}{Isabelle/DOF\xspace}
@@ -35,7 +36,14 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % begin: generic dispatcher
 \newkeycommand+[\|]\isaDof[env={UNKNOWN},label=,type={dummyT},args={}][1]{%
-\csname isaDof.\commandkey{env}.\commandkey{type}\endcsname[label=\commandkey{label},\commandkey{args}]{#1}%
+  \ifcsname isaDof.\commandkey{env}.\commandkey{type}\endcsname%
+      \csname isaDof.\commandkey{env}.\commandkey{type}\endcsname%
+              [label=\commandkey{label},\commandkey{args}]{#1}%
+  \else%
+      \errmessage{Isabelle/DOF: No LaTeX representation for concept
+        "\commandkey{env}.\commandkey{type}" defined:}
+      
+  \fi%
 }
 % end: generic dispatcher
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%