[发明专利]翻译设备、翻译方法和程序存储介质

摘要

声明翻译单元(104)将第一语言的、重叠存储区域中的变量的声明编译为第二语言的、独立数据变量的声明和相应的对应标记变量；赋值翻译单元(105)对第一语言的至区域中的变量的赋值进行编译，使得在第二语言中，假设执行了至相应重叠数据变量的赋值，检查变量值是否有效，针对相应变量，将结果保存在标记变量中，以及仅对有效数据变量执行赋值；以及参考翻译单元(106)，将第一语言的、重叠存储区域中的变量的参考进行编译，使得在第二语言中，如果标记变量有效，则返回数据变量的值，如果无效，则产生异常。

主权项

一种翻译设备，将以第一编程语言描述的未翻译的程序翻译为以第二编程语言描述的翻译后的程序，所述翻译设备包括：声明翻译单元，用于将未翻译的程序中的“用于保持第一未翻译的变量的存储区域和用于保持第二未翻译的变量的存储区域相重叠”的声明翻译为翻译后的程序中的“在不相互重叠的存储区域中保持第一翻译后的变量和与所述第一翻译后的变量相对应的第一翻译后的标记以及第二翻译后的变量和与所述第二翻译后的变量相对应的第二翻译后的标记”的声明；赋值翻译单元，用于将未翻译的程序中的“向第一未翻译的变量赋值”的文本翻译为翻译后的程序中的“向第一翻译后的变量赋值，将所赋值中要记录在重叠存储区域中的信息写入用于保持第二翻译后的变量的存储区域中与所述重叠存储区域相对应的存储区域中，以及写入第二翻译后的标记，无论记录在用于保持第二翻译后的变量的存储区域中的信息作为第二翻译后的变量的值是否有效”的文本，以及将未翻译的程序中的“向第二未翻译的变量赋值”的文本翻译为翻译后的程序中的“向第二翻译后的变量赋值，将所赋值中要记录在重叠存储区域中的信息写入用于保持第一翻译后的变量的存储区域中与所述重叠存储区域相对应的存储区域中，以及写入第一翻译后的标记，无论记录在用于保持第一翻译后的变量的存储区域中的信息作为第一翻译后的变量的值是否有效”的文本；以及参考翻译单元，用于将未翻译的程序中的“参考第一未翻译的变量的值”的等式翻译为翻译后的程序中的“通过参考第一翻译后的标记，确定记录在用于保持第一翻译后的变量的存储区域中的信息作为第一翻译后的变量的值是否有效；当确定为有效时参考第一翻译后的变量的值，以及当确定为无效时创建异常”的等式，以及将未翻译的程序中的“参考第二未翻译的变量的值”的等式翻译为翻译后的程序中的“通过参考第二翻译后的标记，确定记录在用于保持第二翻译后的变量的存储区域中的信息作为第二翻译后的变量的值是否有效；当确定为有效时参考第二翻译后的变量的值，以及当确定为无效时创建异常”的等式。