contracts: Remove `contract_name` property

[nit.git] / src / contracts.nit

diff --git a/src/contracts.nit b/src/contracts.nit
index c8a7038..7c174fe 100644 (file)
--- 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