xdpw

XD Pascal لنظام التشغيل Windows

مكرس لوالدي ميخائيل تيريشكوف ، الذي غرس لي طعم للهندسة

ملخص

XD Pascal هو برنامج مترجم صغير الاستضافة ذاتيًا لهجة لغة Pascal. يتم تقدير أي تعليقات أو اقتراحات أو تقارير الأخطاء. لا تتردد في الاتصال بالمؤلف على github أو عن طريق البريد الإلكتروني [email protected]. يتمتع.

سمات

• طرق وواجهات على غرار
• توليد رمز X86 الأصلي (32 بتات Windows Executables)
• دعم لكل من تطبيقات وحدة التحكم والموزع الوتائيين
• لا حاجة لمجموع خارجي أو رابط
• حساب النقطة العائمة باستخدام X87 FPU
• التكامل مع مكتبة تطوير ألعاب Raylib
• التكامل مع Geany IDE
• مصدر المترجم لـ Delphi 6/7 ، Pascal Free و XD Pascal نفسه (Delphi 2009+ Migration واضح ومباشر)

وصف مفصل

الاستخدام

اكتب في موجه الأوامر:

 xdpw <file.pas>

يجب تحديد الملف المصدر بامتداده (.PAs).

لغة

يشبه XD Pascal Delphi 6/7 و Pascal Free مع التغييرات التالية:

التحسينات

• المترجم يستضيف نفسه
• المترجم مضغوط للغاية (حوالي 10000 خط) ويمكن تضمينه بسهولة في أنظمة أكبر
• يتم دعم الأساليب والواجهات على غرار GO

الاختلافات

• الأوتار عبارة عن صفائف من الأحرف المنتهية (C) ، ولكنها مفهرسة من 1 لتوافق Pascal
• نوع Text يعادل file . يمكن استخدامه لكل من النصوص والملفات غير المعطلة
• تتطلب مكالمات الطريقة والمكالمات المتغيرة الإجرائية أقواس حتى بالنسبة لقوائم المعلمات الفارغة

القيود

• لا توجد برمجة كلاسيكية (C ++/Delphi Style) موجهة نحو الكائن
• لا مكونات بصرية
• لا يمكن تجميع الوحدات بشكل منفصل
• التحسينات ذات الحبيب فقط
• Extended مكافئ Double
• لا وظائف High Low للصفائف المفتوحة. يجب تمرير طول الصفيف المفتوح بشكل صريح إلى روتين فرعي
• لا يمكن أن تكون ملصقات التصريحات عددية

القواعد الرسمية

 ProgramOrUnit = [("program" | "unit") Ident ";"] 
                ["interface"] [UsesClause] Block "." .
                
UsesClause = "uses" Ident {"," Ident} ";" .                

Block = { Declarations } (CompoundStatement | "end") .

Declarations = DeclarationSection ["implementation" DeclarationSection] .

DeclarationSection = LabelDeclarations |
                     ConstDeclarations | 
                     TypeDeclarations |
                     VarDeclarations |
                     ProcFuncDeclarations .
                     
Initializer = ConstExpression |
              StringLiteral |
              "(" Initializer {"," Initializer} ")" |
              "(" Ident ":" Initializer {";" Ident ":" Initializer} ")" |
              SetConstructor .                     
               
LabelDeclarations = "label" Ident {"," Ident} ";"               
             
ConstDeclarations = (UntypedConstDeclaration | TypedConstDeclaration)
               {";" (UntypedConstDeclaration | TypedConstDeclaration)} .

UntypedConstDeclaration = "const" Ident "=" ConstExpression .
                                 
TypedConstDeclaration = "const" Ident ":" Type "=" Initializer .

TypeDeclarations = "type" Ident "=" Type ";" {Ident "=" Type ";"} .

VarDeclarations = "var" IdentList ":" Type ["=" Initializer] ";" 
                       {IdentList ":" Type ["=" Initializer] ";"} .

ProcFuncDeclarations = ("procedure" | "function") Ident 
                       [Receiver] [FormalParams] [":" TypeIdent] 
                       [CallModifier] ";" [(Directive | Block) ";"] .

Receiver = "for" Ident ":" TypeIdent .

CallModifier = "stdcall" | "cdecl" .

Directive = "forward" | "external" ConstExpression .         

ActualParams = "(" [ (Expression | Designator) |
                {"," (Expression | Designator)} ] ")" .

FormalParams = "(" FormalParamList {";" FormalParamList} ")" .
              
FormalParamList = ["const" | "var"] IdentList [":" ["array" "of"] TypeIdent] 
                                              ["=" ConstExpression] .             

IdentList = Ident {"," Ident} .

Type = "(" Ident {"," Ident} ")" |
       "^" TypeIdent |
       ["packed"] "array" "[" Type {"," Type} "]" "of" Type |
       ["packed"] "record" Fields "end" |
       ["packed"] "interface" FixedFields "end" |
       ["packed"] "set" "of" Type |
       ["packed"] "string" [ "[" ConstExpression "]" ] |
       ["packed"] "file" ["of" Type] |
       ConstExpression ".." ConstExpression |
       ("procedure" | "function") [FormalParams] [":" TypeIdent] [CallModifier] |
       Ident .
       
Fields = FixedFields 
           ["case" [Ident ":"] Type "of" 
               ConstExpression {"," ConstExpression} ":" "(" Fields ")"
          {";" ConstExpression {"," ConstExpression} ":" "(" Fields ")"}] [";"] .       
       
FixedFields = IdentList ":" Type {";" IdentList ":" Type} .       
       
TypeIdent = "string" | "file" | Ident .       

Designator = BasicDesignator {Selector} .

BasicDesignator = Ident |
                  Ident [ActualParams] |
                  Ident "(" Expression ")" .

Selector = "^" | 
           "[" Expression {"," Expression} "]" | 
           "." Ident | 
           "(" ActualParams ")".

Statement = [Label ":"] [ (Designator | Ident) ":=" Expression | 
                          (Designator | Ident) [ActualParams] {Selector} |
                          CompoundStatement |
                          IfStatement |
                          CaseStatement |
                          WhileStatement |
                          RepeatStatement | 
                          ForStatement |
                          GotoStatement |
                          WithStatement ] .
                          
Label = Ident .                          

StatementList = Statement {";" Statement} .

CompoundStatement = "begin" StatementList "end" .

IfStatement = "if" Expression "then" Statement ["else" Statement] .

CaseStatement = "case" Expression "of" CaseElement {";" CaseElement} 
                    [";"] ["else" StatementList] [";"] "end" .
                    
WhileStatement = "while" Expression "do" Statement .

RepeatStatement = "repeat" StatementList "until" Expression .

ForStatement = "for" Ident ":=" Expression ("to" | "downto") Expression "do" Statement.

GotoStatement = "goto" Label .

WithStatement = "with" Designator {"," Designator} "do" Statement .                    
 
CaseElement = CaseLabel {"," CaseLabel} ":" Statement .

CaseLabel = ConstExpression [".." ConstExpression] .

ConstExpression = Expression .

Expression = SimpleExpression [("="|"<>"|"<"|"<="|">"|">="|"in") SimpleExpression] .

SimpleExpression = ["+"|"-"] Term {("+"|"-"|"or"|"xor") Term}.

Term = Factor {("*"|"/"|"div"|"mod"|"shl"|"shr"|"and") Factor}.

Factor = (Designator | Ident) [ActualParams] {Selector} |
         Designator |
         "@" Designator | 
         Number | 
         CharLiteral |
         StringLiteral |  
         "(" Expression ")" | 
         "not" Factor |
         SetConstructor |
         "nil" |
         Ident "(" Expression ")" {Selector} .
         
SetConstructor = "[" [Expression [".." Expression] 
                     {"," Expression [".." Expression]}] "]" .         

Ident = (Letter | "_") {Letter | "_" | Digit}.

Number = "$" HexDigit {HexDigit} | 
         Digit {Digit} ["." {Digit}] ["e" ["+" | "-"] Digit {Digit}] .

CharLiteral = "'" (Character | "'" "'") "'" | 
              "#" Number .

StringLiteral = "'" {Character | "'" "'"} "'".

المترجم

يعتمد المترجم على محلل النسب المتكرر. يقوم مباشرة بإنشاء Windows PE قابلة للتنفيذ دون استخدام أي مجمع أو رابط خارجي.

التوجيهات

• $APPTYPE - تعيين نوع التطبيق. أمثلة: {$APPTYPE GUI} ، {$APPTYPE CONSOLE}
• $UNITPATH - اضبط مسار بحث إضافي للوحدة. مثال: {$UNITPATH ..units}

التحسينات

يتم إجراء بعض التحسينات البسيطة للوحش:

• دفع/البوب القضاء
• FPU PUSH/POP التخلص من
• تحسينات التحميل المتغير المحلي
• تحسينات الوصول إلى عنصر الصفيف
• سجل تحسينات الوصول الميداني
• تحسينات المهمة
• التحسينات المقارنة
• تحسينات اختبار الحالة

الإجراءات والوظائف المضمّنة

يتم تنفيذ المعرفات التالية كجزء من المترجم. أسمائهم ليست كلمات محفوظة ويمكن إعادة تعريفها محليًا من قبل المستخدم.

 procedure Inc ( var x: Integer);
procedure Dec ( var x: Integer);
procedure Read ([ var F: file ;] var x1 { ; var xi } );
procedure Write ([ var F: file ;] x1[:w[:d]] { ; xi[:w[:d]] } );
procedure ReadLn ([ var F: file ;] var x1 { ; var xi } );
procedure WriteLn ([ var F: file ;] x1[:w[:d]] { ; xi[:w[:d]] } );
procedure New ( var P: Pointer);
procedure Dispose ( var P: Pointer);
procedure Break ;
procedure Continue ;
procedure Exit ;
procedure Halt [( const error: Integer)];
function SizeOf ( var x | T): Integer;
function Ord (x: T): Integer;
function Chr (x: Integer): Char;
function Low ( var x: T | T): T;
function High ( var x: T | T): T;
function Pred (x: T): T;
function Succ (x: T): T;
function Round (x: Real): Integer;
function Abs (x: T): T;
function Sqr (x: T): T;
function Sin (x: Real): Real;  
function Cos (x: Real): Real;  
function Arctan (x: Real): Real;  
function Exp (x: Real): Real;
function Ln (x: Real): Real;
function SqRt (x: Real): Real;

مكتبة قياسية

وحدة النظام

 function Timer : Integer;
procedure GetMem ( var P: Pointer; Size: Integer);
procedure FreeMem ( var P: Pointer);
procedure Randomize ;
function Random : Real;
procedure Assign ( var F: file ; const Name : string);
procedure Rewrite ( var F: file [; BlockSize: Integer]);
procedure Reset ( var F: file [; BlockSize: Integer]);
procedure Close ( var F: file );
procedure BlockRead ( var F: file ; var Buf; Len: Integer; var LenRead: Integer);
procedure BlockWrite ( var F: file ; var Buf; Len: Integer);
procedure Seek ( var F: file ; Pos: Integer);
function FileSize ( var F: file ): Integer;
function FilePos ( var F: file ): Integer;
function EOF ( var F: file ): Boolean;
function IOResult : Integer;
function Length ( const s: string): Integer;
procedure Move ( var Source; var Dest; Count: Integer);
function Copy ( const S: string; Index, Count: Integer): string;
procedure FillChar ( var Data; Count: Integer; Value : Char);
function ParamCount : Integer;
function ParamStr (Index: Integer): string;
procedure Val ( const s: string; var Number: Real; var Code: Integer);
procedure Str (Number: Real; var s: string[; DecPlaces: Integer]);
procedure IVal ( const s: string; var Number: Integer; var Code: Integer);
procedure IStr (Number: Integer; var s: string);
function UpCase (ch: Char): Char;

وحدة Sysutils

 function IntToStr (n: Integer): string;
function StrToInt ( const s: string): Integer;
function FloatToStr (x: Real): string;
function FloatToStrF (x: Real; Format: TFloatFormat; Precision, Digits: Integer): string;
function StrToFloat ( const s: string): Real;
function StrToPChar ( const s: string): PChar;
function PCharToStr (p: PChar): string;
function StrToPWideChar ( const s: string): PWideChar;
function PWideCharToStr (p: PWideChar): string;

عينات

• factor.pas - عرض عدد صحيح العامل
• lineq.pas - حلول المعادلة الخطية. يستخدم وحدة gauss.pas . يتطلب eq.txt ، eqerr.txt ، أو ملف بيانات مماثل
• life.pas - لعبة الحياة
• sort.pas - تجريبي فرز الصفيف
• fft.pas - توضيح تحويل فورييه السريع
• inserr.pas - عرض خطأ نظام الملاحة بالقصور الذاتي. يستخدم وحدة kalman.pas
• list.pas - توضيح عمليات قائمة المرتبطة
• map.pas - عمليات قائمة غير متجانسة وتوضيح وظيفة الخريطة. يوضح طرق وواجهات XD Pascal
• gui.pas - عرض تطبيق واجهة المستخدم الرسومية. يستخدم وحدة windows.pas
• raytracer.pas - Raytracer Demo. يوضح طرق واجهات XD Pascal. أي ما يعادل raytracer.go

القضايا المعروفة

من المعروف أن Windows Defender Antivirus يعطي نتائج إيجابية خاطئة على بعض البرامج التي تم تجميعها باستخدام XD Pascal.