From 4529bd7a5af7c3305624239c120db26a8a7d2e60 Mon Sep 17 00:00:00 2001
From: Jiri Kalvoda <jirikalvoda@kam.mff.cuni.cz>
Date: Fri, 12 Aug 2022 20:45:58 +0200
Subject: [PATCH] ConfigSection.Contains

---
 ConfigParser.cs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ConfigParser.cs b/ConfigParser.cs
index 272c9e9..5227b2f 100644
--- a/ConfigParser.cs
+++ b/ConfigParser.cs
@@ -333,6 +333,10 @@ class ConfigSection: IReadOnlyList<ConfigValue>
 			throw new ConfigNotDefinedException(this, key);
 		return r;
 	}
+	public bool Contains(string key)
+	{
+		return valueByName.ContainsKey(key);
+	}
 	public void Print(TextWriter w)
 	{
 		w.WriteLine($"### {SectionName}");
-- 
GitLab