!7

cmodule FunctionInspector {
  S functionName, snippetID, source;
  S safetyLevel, returnType;
  LPairS parameters;

  visual
    northCenterAndSouthWithMargins(
      jhgridWithSpacing(
          dm_fieldWithLabel functionName(),
          centerAndEastWithMargin(dm_fieldWithLabel snippetID(),
            jPopDownButton_noText("Load snippet...", rThread {
              selectSnippetID(voidfunc(S snippetID) {
                loadFunctionFromSnippet(snippetID);
              });
            }))),
      dm_textAreaAsSection source(),
      jhgridWithSpacing(
        dm_fieldWithLabel safetyLevel(),
        dm_fieldWithLabel returnType()));

   // API

   void loadFunctionFromSnippet(S snippetID) {
     setField(+snippetID);
     setField(source := loadSnippet(snippetID));
   }
}