From: Florian Deljarry <deljarry.florian@gmail.com>
Date: Fri, 5 Jun 2020 18:06:01 +0000 (-0400)
Subject: contracts: Remove `contract_name` property
X-Git-Url: http://nitlanguage.org

contracts: Remove `contract_name` property

Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
---

diff --git a/src/contracts.nit b/src/contracts.nit
index c8a7038..7c174fe 100644
--- a/src/contracts.nit
+++ b/src/contracts.nit
@@ -296,9 +296,6 @@ end
 
 redef class MContract
 
-	# Define the name of the contract
-	fun contract_name: String is abstract
-
 	# Method use to diplay warning when the contract is not present at the introduction
 	private fun no_intro_contract(v: ContractsVisitor, a: Array[AAnnotation])do end
 
@@ -397,9 +394,6 @@ end
 
 redef class MExpect
 
-	# Define the name of the contract
-	redef fun contract_name: String do return "expect"
-
 	# Display warning if no contract is defined at introduction `expect`,
 	# because if no contract is defined at the introduction the added
 	# contracts will not cause any error even if they are not satisfied.
@@ -528,9 +522,6 @@ end
 
 redef class MEnsure
 
-	# Define the name of the contract
-	redef fun contract_name: String do return "ensure"
-
 	redef fun adapt_specific_msignature(m_signature: MSignature): MSignature
 	do
 		return m_signature.adapt_to_ensurecondition