• <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的時候,估計就開始了吧……  回復  更多評論
              
            久久成人国产精品一区二区| 久久久久高潮毛片免费全部播放 | 亚洲伊人久久成综合人影院 | 久久精品亚洲乱码伦伦中文| 久久青青色综合| 激情伊人五月天久久综合| 狠狠精品干练久久久无码中文字幕 | 欧美成人免费观看久久| 国产精品一区二区久久| 久久影院亚洲一区| 久久精品国产亚洲av高清漫画| 久久久久久久综合综合狠狠| 国产精品无码久久久久久| 久久精品国产男包| 久久99精品国产麻豆蜜芽| 久久人人爽人人爽人人AV| 久久免费观看视频| 色综合久久88色综合天天| 香蕉久久av一区二区三区| 三级韩国一区久久二区综合| 亚洲国产二区三区久久| 热re99久久6国产精品免费| 欧美性大战久久久久久| 国产精品亚洲美女久久久| 久久成人精品视频| 亚洲国产另类久久久精品| 亚洲国产成人久久综合区| 国产精品无码久久久久| 91久久精品91久久性色| 久久精品国产网红主播| 亚洲AV乱码久久精品蜜桃| 国产成人精品综合久久久久| 伊人久久综合无码成人网| 久久久久噜噜噜亚洲熟女综合| 国产99久久久国产精品~~牛 | 国产69精品久久久久99尤物| 国产精品久久自在自线观看| 久久无码av三级| 久久精品国产亚洲5555| 四虎影视久久久免费| 国产精品久久婷婷六月丁香|