Pre/Post Conditions as Comments

[TomPre]

Is there a way to make Pre / Post Conditions appear in the code as comments? Thanks in advance

[Eve]

Code Generation Templates don't directly support getting constraints, including pre/post conditions.  However if you want them you can access them using the EXEC_ADD_IN call from the templates.

C# method

Code: [Select]

// sample EXEC_ADD_IN call
public object GetPreConditions(EA.Repository r, object argsObject)
{
 String constraints;
 Array p = (Array)args;
 String classGUID = (String)p.GetValue(0);
 String methodGUID = (String)p.GetValue(1);
 EA.Element e = r.GetElementByGuid(classGUID);
 for(short i = 0; i < e.Methods.Count; i ++)
 {
   EA.Method m = (EA.Method)e.Methods.GetAt(i);
   if(m.MethodGUID != methodGUID)
     continue;
   // Iterate over the constraints of this method.
 }
 return constraints;
}
Template

Code: [Select]

%EXEC_ADD_IN ("MyAddin", "GetPreConditions", classGUID, opGUID)%
Hope that gets you going.

[robject]

This looks interesting, however I am not at all clear where and how I could add this capability. Am I changing code generation templates? Where can I find these?

[Eve]

The code templates are available at Settings | Code Generation Templates.

The code sample given belongs to an EA addin, and I'll let you look up the documentation for that.

[robject]

"the code belongs to an EA add in"
which one, where can I find it? Where can I look up the documentation on that?

[«Midnight»]

In the EA User Guide or Help, go to the Automation and Scripting section.