From f7e65485e62dbf09dd42f8d595e2c5b3b2c33c7f Mon Sep 17 00:00:00 2001 From: =?utf8?q?Michal=20Mal=C3=BD?= Date: Fri, 5 Dec 2014 18:41:40 +0100 Subject: [PATCH] Add face_generator_static.ad[bs] files --- src/face_generators/face_generator_static.adb | 41 +++++++++++++++++++ src/face_generators/face_generator_static.ads | 11 +++++ 2 files changed, 52 insertions(+) create mode 100644 src/face_generators/face_generator_static.adb create mode 100644 src/face_generators/face_generator_static.ads diff --git a/src/face_generators/face_generator_static.adb b/src/face_generators/face_generator_static.adb new file mode 100644 index 0000000..37fa136 --- /dev/null +++ b/src/face_generators/face_generator_static.adb @@ -0,0 +1,41 @@ +with AWS.Templates; + +package body Face_Generator_Static is + + function Error_Display_Answer return HTML_Code is + use AWS.Templates; + begin + return Parse(Filename => "templates/static/error_display_answer.html"); + end Error_Display_Answer; + + function Error_Display_Assignment return HTML_Code is + use AWS.Templates; + begin + return Parse(Filename => "templates/static/error_display_assignment.html"); + end Error_Display_Assignment; + + function Error_UID_Registration return HTML_Code is + use AWS.Templates; + begin + return Parse(Filename => "templates/static/error_uid_registration.html"); + end Error_UID_Registration; + + function Error_Prepare_Problem return HTML_Code is + use AWS.Templates; + begin + return Parse(Filename => "templates/static/error_prepare_problem.html"); + end Error_Prepare_Problem; + + function Error_Problem_Category return HTML_Code is + use AWS.Templates; + begin + return Parse(Filename => "templates/static/error_problem_category.html"); + end Error_Problem_Category; + + function Error_Problem_ID return HTML_Code is + use AWS.Templates; + begin + return Parse(Filename => "templates/static/error_problem_id.html"); + end Error_Problem_ID; + +end Face_Generator_Static; diff --git a/src/face_generators/face_generator_static.ads b/src/face_generators/face_generator_static.ads new file mode 100644 index 0000000..2adf9ff --- /dev/null +++ b/src/face_generators/face_generator_static.ads @@ -0,0 +1,11 @@ +with Global_Types; + +use Global_Types; +package Face_Generator_Static is + function Error_Display_Answer return HTML_Code; + function Error_Display_Assignment return HTML_Code; + function Error_UID_Registration return HTML_Code; + function Error_Prepare_Problem return HTML_Code; + function Error_Problem_Category return HTML_Code; + function Error_Problem_ID return HTML_Code; +end Face_Generator_Static; -- 2.43.5