Ref_impl_Eiffel mailing list archives

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

[ref_impl_eiffel] [698] Add a postcondition.

To: ref_impl_eiffel@openehr.org
Subject: [ref_impl_eiffel] [698] Add a postcondition.
From: svn@openehr.org
Date: Fri, 05 Sep 2008 04:10:31 +0100

Revision: 698
Author:   peter.gummer
Date:     2008-09-05 04:10:30 +0100 (Fri, 05 Sep 2008)

Log Message:
-----------
Add a postcondition.

Modified Paths:
--------------
    
BRANCHES/specialisation/libraries/openehr/src/am/archetype/constraint_model/c_attribute.e


_______________________________________________
Ref_impl_eiffel mailing list
Ref_impl_eiffel@openehr.org
http://lists.chime.ucl.ac.uk/mailman/listinfo/ref_impl_eiffel

Prev by Date: [ref_impl_eiffel] [697] AWB-128: In the TRUNk and in BRANCHES/specialisation, complete the upgrade to EiffelStudio 6.2 by copying changes from EiffelStudio 6.2's .NET implementation of INTERNAL to our override of it.

Next by Date: [ref_impl_eiffel] [699] Additions for the case of multiple sibling redefinitions of a single node in the parent (classic example - lab-lipids redefinition of node at0013 into at0013.1, at0013.2).

Prev by Thread: [ref_impl_eiffel] [697] AWB-128: In the TRUNk and in BRANCHES/specialisation, complete the upgrade to EiffelStudio 6.2 by copying changes from EiffelStudio 6.2's .NET implementation of INTERNAL to our override of it.

Next by Thread: [ref_impl_eiffel] [699] Additions for the case of multiple sibling redefinitions of a single node in the parent (classic example - lab-lipids redefinition of node at0013 into at0013.1, at0013.2).

Index(es):
- Date
- Thread