• <ins id="pjuwb"></ins>
    <blockquote id="pjuwb"><pre id="pjuwb"></pre></blockquote>
    <noscript id="pjuwb"></noscript>
          <sup id="pjuwb"><pre id="pjuwb"></pre></sup>
            <dd id="pjuwb"></dd>
            <abbr id="pjuwb"></abbr>
            隨筆-341  評論-2670  文章-0  trackbacks-0
                Kernel FP已經可以運行小程序了。現在還處于測試階段,過于復雜的程序估計是跑不過的。先簡單介紹一下如何在C++調用Kernel FP的代碼。

                首先貼出一段Kernel FP的代碼:
             1 module startup
             2 import system
             3 
             4 data maybe T = return T | error T
             5 
             6 def add a b = 
             7   let
             8     def xadd = iadd a b
             9   in xadd
            10 
            11 def foo a =
            12   select a of
            13     case 0 : return 100
            14     case 1 : return 200
            15     case 2 : return 300
            16     else : error a
            17   end
            18 
            19 def translate a =
            20   select a of
            21     case return t : iadd 10000 t
            22     case error t : iadd 1000 t
            23   end
            24 
            25 def main = translate (foo (add 1 2))

                程序非常直白。add 1 2返回3,經過foo選擇返回error 3,經過translate變成iadd 1000 3,最后輸出1003。現在Kernel FP的對外api還沒寫,只是在調試內核代碼。為什么只有iadd呢?因為我只實現了iadd……其他的等以后再說。先看看如何調用一個main函數。在沒有對外api的情況下,只能對內核的對象進行裸調……

               
             1 void RunProgram(VL_KfpRuntimeProgram::Ptr Program)
             2 {
             3     VL_KfpRuntimeEnvironment Environment;
             4     Environment.Program=Program;
             5 
             6     MyPlugin Plugin(&Environment);
             7     Environment.Plugins.Add(&Plugin);
             8 
             9     VL_KfpRuntimeFunction* Function=&Program->Functions[Program->FunctionIDMap[L"startup.main"][0]];
            10 
            11     VL_KfpRuntimeValueEnvironment ValueEnvironment;
            12     ValueEnvironment.Environment=&Environment;
            13     ValueEnvironment.SetTable(new VL_KfpRuntimeValueTable(new VL_KfpRuntimeValueTable(0,0),Function->Instance));
            14 
            15     VL_KfpRuntimeExpression* Expression=Function->AssociatedExpression;
            16     VL_KfpRuntimeValue* Value=Expression->CreateRuntimeValue(&ValueEnvironment);
            17     Value->Increase();
            18     VL_KfpRuntimeEvaluateResult Result;
            19     Value->EvaluateUntilGetType(&Environment,Result);
            20     if(Result.HasError)
            21     {
            22         GetConsole()->Write(L"發生錯誤:"+Result.ErrorMessage+L"\r\n");
            23     }
            24     else
            25     {
            26         if(Result.Value.GetValue()->Kind==VL_KfpRuntimeValue::vkekInteger)
            27         {
            28             GetConsole()->Write(L"返回值:"+VUnicodeString(((VL_KfpRuntimeIntegerValue*)Result.Value.GetValue())->Data)+L"\r\n");
            29         }
            30         else
            31         {
            32             GetConsole()->Write(L"返回值不是整數。\r\n");
            33         }
            34     }
            35     Value->Decrease();
            36 }

                首先程序經過先前實現的類型推導,得到編譯后的程序VL_KfpRuntimeProgram,然后取出startup.main的函數指針。得到了函數指針之后,將函數的上下文和函數綁定的表達式都保存起來,然后將表達式轉換為VL_RuntimeValue。最后對VL_RuntimeValue與上下文結合進行求值。

                當然了,程序會調用到iadd,這是一個外部函數,實現兩個整數的加法。所以還得實現一個插件來執行iadd:

             1 class MyPlugin : public VL_KfpRuntimePlugin
             2 {
             3 public:
             4     VL_KfpRuntimeEnvironment*        Environment;
             5     VInt                            External_IAdd;
             6 
             7     MyPlugin(VL_KfpRuntimeEnvironment* aEnvironment)
             8     {
             9         Environment=aEnvironment;
            10 
            11         External_IAdd=Environment->Program->ExternalIDMap[L"kernelfp::iadd"];
            12     }
            13 
            14     VLE_KfpPluginResult Invoke(VInt ExternalID , InParams& In , OutParams& Out)
            15     {
            16         if(ExternalID==External_IAdd)
            17         {
            18             if(In.Parameters.GetCount()==2)
            19             {
            20                 VL_KfpRuntimeEvaluateResult r1,r2;
            21 
            22                 In.Parameters[0].GetValue()->EvaluateUntilGetType(Environment,r1);
            23                 if(r1.HasError)
            24                 {
            25                     Out.ErrorMessage=r1.ErrorMessage;
            26                     return vkprFail;
            27                 }
            28                 if(r1.Value.GetValue()->Kind!=VL_KfpRuntimeValue::vkekInteger)
            29                 {
            30                     Out.ErrorMessage=L"iadd函數的參數必須是兩個int。";
            31                     return vkprFail;
            32                 }
            33 
            34                 In.Parameters[1].GetValue()->EvaluateUntilGetType(Environment,r2);
            35                 if(r2.HasError)
            36                 {
            37                     Out.ErrorMessage=r2.ErrorMessage;
            38                     return vkprFail;
            39                 }
            40                 if(r2.Value.GetValue()->Kind!=VL_KfpRuntimeValue::vkekInteger)
            41                 {
            42                     Out.ErrorMessage=L"iadd函數的參數必須是兩個int。";
            43                     return vkprFail;
            44                 }
            45 
            46                 VInt Value1=((VL_KfpRuntimeIntegerValue*)r1.Value.GetValue())->Data;
            47                 VInt Value2=((VL_KfpRuntimeIntegerValue*)r2.Value.GetValue())->Data;
            48                 Out.Result.SetValue(new VL_KfpRuntimeIntegerValue(Value1+Value2));
            49                 return vkprSuccess;
            50             }
            51             else
            52             {
            53                 Out.ErrorMessage=L"iadd函數的參數必須是兩個int。";
            54                 return vkprFail;
            55             }
            56         }
            57         else
            58         {
            59             return vkprPass;
            60         }
            61     }
            62 
            63     VLE_KfpPluginResult GetParameterCount(VInt ExternalID , VInt& Count)
            64     {
            65         if(ExternalID==External_IAdd)
            66         {
            67             Count=2;
            68             return vkprSuccess;
            69         }
            70         else
            71         {
            72             return vkprPass;
            73         }
            74     }
            75 };

                這也就是MyPlugin類的內容了。
            posted on 2008-12-10 23:03 陳梓瀚(vczh) 閱讀(1721) 評論(2)  編輯 收藏 引用 所屬分類: 腳本技術

            評論:
            # re: Kernel FP成功運行小程序 2008-12-10 23:58 | kuafoo
            還在等你發布界面庫呢  回復  更多評論
              
            # re: Kernel FP成功運行小程序 2008-12-11 01:44 | 陳梓瀚(vczh)
            界面庫啊,自從Preview之后就很少升級了。因為剩下的那幾個控件實在是懶的去封裝……不過這應該是遲早的事情。等需要為kernel fp做Demo的時候,估計就開始了吧……  回復  更多評論
              
            久久亚洲国产中v天仙www | 久久久WWW成人免费毛片| 97精品国产91久久久久久| 久久久久久午夜成人影院| 国产精久久一区二区三区| 久久不见久久见免费影院www日本| 99久久无码一区人妻| 久久久国产99久久国产一| 久久99热只有频精品8| 久久久久九国产精品| 日本欧美久久久久免费播放网| 国产99久久精品一区二区| 久久久国产精品| 国产99久久精品一区二区| 天天做夜夜做久久做狠狠| 久久99国产精品99久久| 久久婷婷五月综合色奶水99啪| 99久久精品毛片免费播放| 久久国产欧美日韩精品免费| 99久久超碰中文字幕伊人| 欧美日韩精品久久免费| 久久精品无码av| 亚洲一本综合久久| 国产精品久久国产精品99盘| 亚洲va久久久噜噜噜久久| 2022年国产精品久久久久| 亚洲国产成人久久综合碰| 精品无码久久久久久国产| 四虎久久影院| 久久久久亚洲Av无码专| 久久精品免费观看| 国产成人精品综合久久久| 伊人久久综合无码成人网 | 伊人色综合九久久天天蜜桃 | 日产精品99久久久久久| 久久精品视屏| 国内精品久久久久久久久电影网| 久久久久国产视频电影| 国产免费福利体检区久久| 热re99久久精品国产99热| 国产精品久久自在自线观看|