HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

description adjusted 

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7980 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Manuel Krucker 2008-05-15 20:13:17 +00:00
parent 689bbc29db
commit 392cd38d5f
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
su4sml/src/wfcpog/wfcpog_registry.sml
View File

@ -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"],