From 392cd38d5ff0c7f901d8bdeffbc48e5cdb8a1ab0 Mon Sep 17 00:00:00 2001 From: Manuel Krucker Date: Thu, 15 May 2008 20:13:17 +0000 Subject: [PATCH] description adjusted git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7980 3260e6d1-4efc-4170-b0a7-36055960796d --- su4sml/src/wfcpog/wfcpog_registry.sml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/su4sml/src/wfcpog/wfcpog_registry.sml b/su4sml/src/wfcpog/wfcpog_registry.sml index 5ab8a42..5098bfc 100644 --- a/su4sml/src/wfcpog/wfcpog_registry.sml +++ b/su4sml/src/wfcpog/wfcpog_registry.sml @@ -403,7 +403,7 @@ val supported_pos = [ }, WFCPOG.WFPO{ identifier = "po_cstr_post", - name = "Constructor Consistency post implies invariants(subconstraint)", + name = "PO Constructor Consistency post implies invariants(subconstraint)", description = "Checks if the postcondition of any constructor operation imples the class' invariant.\n", recommended = true, depends = ["wfc_cstr_override"], @@ -413,7 +413,7 @@ val supported_pos = [ }, WFCPOG.WFPO{ identifier = "po_cstr_attribute", - name = "WFC Constructor Consistency attributes are inited(subconstraint)", + name = "PO Constructor Consistency attributes are inited(subconstraint)", description = "Checks if after the execution of any constructor operation all the attributes are initialized.\n", recommended = false, depends = [], @@ -423,7 +423,7 @@ val supported_pos = [ }, WFCPOG.WFPO{ identifier = "po_cstr_all", - name = "WFC Constructor Consistency (complete)", + name = "PO Constructor Consistency (complete)", description = "Checks two subconstraints: \n cstr_post : Checks if after the execution of any constructor operation all the attributes are initialized.\n cstr_attr: Checks if after the execution of any constructor operation all the attributes are initialized.\n", recommended = false, depends = ["po_cstr_post","po_cstr_attribute"],