
[01;34mwith[m Text_Io[31m;[m                           [01;34muse[m Text_Io[31m;[m

[01;34mpackage[m [01;34mbody[m Libsens[31m.[mVirtual[31m.[mPlugins [01;34mis[m         
   
   [01;34mprocedure[m [01;30mInitialize[m [31m([mPlug      [31m:[m [01;34min[m [01;34mout[m Plugin_Class[31m;[m
			 Id        [31m:[m [01;34min[m Plugin_Num[31m;[m
			 Device    [31m:[m [01;34min[m Device_Num[31m;[m
			 Ch        [31m:[m [01;34min[m Channel_Num[31m;[m
			 Form      [31m:[m [01;34min[m Form_Index_Type[31m;[m
			 Cat       [31m:[m [01;34min[m Category_Index_Type[31m)[m [01;34mis[m
   [01;34mbegin[m
      Plug[31m.[mId [31m:=[m Id[31m;[m
      Plug[31m.[mDevice_Id [31m:=[m Device[31m;[m
      Plug[31m.[mCh_Id [31m:=[m Ch[31m;[m
      Plug[31m.[mForm_Id [31m:=[m Form[31m;[m
      Plug[31m.[mCat_Id [31m:=[m Cat[31m;[m
   [01;34mend[m Initialize[31m;[m
   
   [01;34mprocedure[m [01;30mSet_Id[m[31m([mPlug       [31m:[m [01;34min[m [01;34mout[m Plugin_Class[31m;[m
		    Id        [31m:[m [01;34min[m Plugin_Num[31m)[m [01;34mis[m
   [01;34mbegin[m
      Plug[31m.[mId [31m:=[m Id[31m;[m
   [01;34mend[m Set_Id[31m;[m
   
   [01;34mfunction[m [01;30mGet_Id[m[31m([mPlug        [31m:[m [01;34min[m Plugin_Class[31m)[m [01;34mreturn[m Plugin_Num [01;34mis[m
   [01;34mbegin[m
      [01;34mreturn[m Plug[31m.[mId[31m;[m
   [01;34mend[m Get_Id[31m;[m
   
   [01;34mprocedure[m [01;30mSet_Device[m[31m([mPlug       [31m:[m [01;34min[m [01;34mout[m Plugin_Class[31m;[m
			Device    [31m:[m [01;34min[m Device_Num[31m)[m [01;34mis[m
   [01;34mbegin[m
      Plug[31m.[mDevice_Id [31m:=[m Device[31m;[m
   [01;34mend[m Set_Device[31m;[m
   
   [01;34mfunction[m [01;30mGet_Device[m[31m([mPlug        [31m:[m [01;34min[m Plugin_Class[31m)[m [01;34mreturn[m Device_Num [01;34mis[m
   [01;34mbegin[m
      [01;34mreturn[m Plug[31m.[mDevice_Id[31m;[m
   [01;34mend[m Get_Device[31m;[m
   
   [01;34mprocedure[m [01;30mSet_Channel[m[31m([mPlug       [31m:[m [01;34min[m [01;34mout[m Plugin_Class[31m;[m
			 Ch        [31m:[m [01;34min[m Channel_Num[31m)[m [01;34mis[m
   [01;34mbegin[m
      Plug[31m.[mCh_Id [31m:=[m Ch[31m;[m
   [01;34mend[m Set_Channel[31m;[m
   
   [01;34mfunction[m [01;30mGet_Channel[m[31m([mPlug        [31m:[m [01;34min[m Plugin_Class[31m)[m [01;34mreturn[m Channel_Num [01;34mis[m
   [01;34mbegin[m
      [01;34mreturn[m Plug[31m.[mCh_Id[31m;[m
   [01;34mend[m Get_Channel[31m;[m
   
   [01;34mprocedure[m [01;30mSet_Form[m[31m([mPlug       [31m:[m [01;34min[m [01;34mout[m Plugin_Class[31m;[m
		      Form      [31m:[m [01;34min[m Form_Index_Type[31m)[m [01;34mis[m
   [01;34mbegin[m
      Plug[31m.[mForm_Id [31m:=[m Form[31m;[m
   [01;34mend[m Set_Form[31m;[m
   
   [01;34mfunction[m [01;30mGet_Form[m[31m([mPlug        [31m:[m [01;34min[m Plugin_Class[31m)[m [01;34mreturn[m Form_Index_Type [01;34mis[m
   [01;34mbegin[m
      [01;34mreturn[m Plug[31m.[mForm_Id[31m;[m
   [01;34mend[m Get_Form[31m;[m
   
   [01;34mprocedure[m [01;30mSet_Category[m[31m([mPlug       [31m:[m [01;34min[m [01;34mout[m Plugin_Class[31m;[m
			  Cat       [31m:[m [01;34min[m Category_Index_Type[31m)[m [01;34mis[m
   [01;34mbegin[m
      Plug[31m.[mCat_Id [31m:=[m Cat[31m;[m
   [01;34mend[m Set_Category[31m;[m
   
   [01;34mfunction[m [01;30mGet_Category[m[31m([mPlug        [31m:[m [01;34min[m Plugin_Class[31m)[m [01;34mreturn[m Category_Index_Type [01;34mis[m
   [01;34mbegin[m
      [01;34mreturn[m Plug[31m.[mCat_Id[31m;[m
   [01;34mend[m Get_Category[31m;[m         
   
   
   [01;34mprocedure[m [01;30mPrint[m[31m([mFilename [31m:[m [01;34min[m [32mString[m[31m;[m Plug [31m:[m [01;34min[m Plugin_Class[31m)[m [01;34mis[m
      File [31m:[m File_Type[31m;[m
   [01;34mbegin[m
      [01;30mOpen[m[31m([mFile[31m,[m Append_File[31m,[m Filename[31m);[m
      [01;30mPut_Line[m[31m([mFile[31m,[m Plugin_Enum'[01;30mImage[m[31m([mPlug[31m.[mClass[31m));[m      
      [01;30mPut_Line[m[31m([mFile[31m,[m [32mBoolean[m'[01;30mImage[m[31m([mPlug[31m.[mPrinted[31m));[m
      [01;30mPut_Line[m[31m([mFile[31m,[m [32mBoolean[m'[01;30mImage[m[31m([mPlug[31m.[mMutted[31m));[m	       
      [01;30mPut_Line[m[31m([mFile[31m,[m Form_Index_Type'[01;30mImage[m[31m([mPlug[31m.[mForm_Id[31m));[m            
      [01;30mPut_Line[m[31m([mFile[31m,[m Category_Index_Type'[01;30mImage[m[31m([mPlug[31m.[mCat_Id[31m));[m
      [01;30mPut_Line[m[31m([mFile[31m,[m Channel_Num'[01;30mImage[m[31m([mPlug[31m.[mCh_Id[31m));[m      
      [01;30mPut_Line[m[31m([mFile[31m,[m Device_Num'[01;30mImage[m[31m([mPlug[31m.[mDevice_Id[31m));[m
      [01;30mPut_Line[m[31m([mFile[31m,[m Plug[31m.[mName[31m.[m[01;34mall[m[31m);[m
      [01;30mClose[m[31m([mFile[31m);[m
   [01;34mend[m Print[31m;[m
[01;34mend[m Libsens[31m.[mVirtual[31m.[mPlugins[31m;[m
