在加载过程中,系统将创建不在RAM中的任何所需变量,并将其设置为未初始化。运行程序时,Karel解释器执行加载的p代码指令。
Karel程序由程序逻辑和程序数据组成。程序逻辑定义了执行特定任务所需的一系列步骤。程序数据是程序逻辑使用的与任务相关的信息。在Karel中,程序逻辑与程序数据分离。
程序逻辑由Karel程序中begin和end语句之间的Karel可执行语句定义。程序数据包括在Karel程序的VaR声明部分中通过名称、数据类型和RAM中的存储区域识别的变量。程序数据的值可由示教器点动、由程序计算、从数据文件读取、从CRT/KB或示教菜单结构设置,或在执行期间接受为输入。数据值可以从一次执行更改为下一次执行,但使用相同的程序逻辑来操作数据。
程序逻辑和程序数据在Karel程序中分离,原因如下:
允许在同一程序中的多个位置引用数据
允许多个程序引用或共享同一数据
允许程序使用备用数据
促进离线计算机辅助设计(CAD)系统中数据文件的建立
程序的可执行部分包括数据操作语句、输入/输出语句和例程调用。
创建程序源代码文件
加载程序逻辑和数据。
维护程序的执行历史记录。
您可以使用脱机编辑器(如OLpC pro)或任何文本编辑器(如写字板)来创建Karel程序。生成的文件称为源文件或源代码。
在执行之前,必须将Karel源文件编译成内部代码,称为p代码。Carel语言编译器执行此函数并检查源代码中的错误。
Carel语言编译器从源代码的首行开始,直到遇到错误或程序成功编译为止。如果遇到错误,转换器将尝试继续检查程序,但不会生成p代码。
您可以从OLpC pro调用编译器,您正在编辑的源代码将被编译。成功编译后,编译将显示成功编译消息并创建p代码文件。p代码文件将使用源代码文件名和pC文件类型。该文件包含源代码的内部表示以及系统将程序链接到变量数据和例程所需的信息。
如果编译器检测到任何错误,它将显示错误消息和正在编译的源代码行。更正错误后,可以再次编译程序。