CALL <LABEL>

Author: nzeemin

README.md

@@ -96,17 +96,18 @@ VARIA:	.WORD	0	; A%
 Так же, как и в оригинале Бейсик Вильнюс:
  - Один оператор на строку.
  - Имена переменных опознаются по двум первым буквам + тип.
- - Булевого типа нет, вместо него используется целый тип. Результат логических операторов (`=`, `<>`, `>`, `<` и т.п.) это либо -1 ("истина") либо 0 ("ложь").
+ - Булевого типа нет, вместо него используется целый тип. Результат логических операторов (`=`, `<>`, `>`, `<` и т.п.) это либо `-1` ("истина") либо `0` ("ложь").
 
 Отличия от оригинала:
  - Ключевые слова нужно писать полностью, сокращения НЕ допускаются.
- - Для величин/переменных вещественного типа есть только тип Single (32 бита, 7 десятичных цифр). Числа двойной точности (например, `1234#` или `235.988D-7`) в тексте программы НЕ распознаются. Нет функции `CDBL`. Значение `PI` используется в точности Single. Все функции с вещественным результатом также отдают тип Single.
- - Номера строк НЕ являются обязательными, они нужны только в случаях, когда на строку нужно сослаться в `GOTO`/`GOSUB`/`ON` и других операторах; исключение: в строке с `FOR` номер нужно указывать.
+ - Для величин/переменных вещественного типа есть только тип "одинарной точности" (Single, 32 бита, 7 десятичных цифр). Числа двойной точности (например, `1234#` или `235.988D-7`) в тексте программы НЕ распознаются. Нет функции `CDBL`. Значение `PI` используется в точности Single. Все функции с вещественным результатом также отдают тип Single.
+ - Номера строк НЕ являются обязательными, они нужны только в случаях, когда на строку нужно сослаться в `GOTO`/`GOSUB`/`ON` и других операторах.
  - Под оператором `IF` в `THEN`/`ELSE` НЕ допускается ставить операторы `FOR`/`NEXT`/`DIM`/`DATA`
  - Аргумент функций `CSRLIN` и `POS` необязательный, но если есть, то вычисляется (если он не константный), но результат вычисления не используется.
  - `ON .. GOTO/GOSUB`: отрицательное значение выражения под `ON` не приводит к ошибке, просто переходим на строку, следующую после этого оператора.
  - Добавлена функция `IIF` с тремя аргументами: `X=IIF(<ЛОГ.ВЫРАЖЕНИЕ>,<АРИФМ.ВЫРАЖЕНИЕ>,<АРИФМ.ВЫРАЖЕНИЕ>)`. Вычисляется первый аргумент; если он ненулевой (т.е. TRUE), то результатом будет значение второго выражения, иначе (для FALSE) - значение третьего выражения. Вычисляется только то выражение, результат которого будет использоваться. Тип результата зависит от типов второго и третьего аргументов: если они оба Integer, то и результат Integer; если хотя бы один из них Single, то и результат Single.
- - Команды/операторы, которые не реализованы и НЕ БУДУТ реализованы в будущем:
+ - `CALL <МЕТКА>` генерирует вызов подпрограммы в машинных кодах с указанной меткой. Предполагается, что эти подпрограммы будут оформляться в виде отдельного модуля на MACRO/BKTurbo8 и подключаться к программе на этапе линковки.
+ - Команды/операторы, которые НЕ реализованы и НЕ БУДУТ реализованы в будущем:
    - `RUN`, `CONT`
    - `KEY` (переназначение функциональных клавиш)
    - `LOAD`, `SAVE`, `CLOAD`, `CSAVE` (загрузка и сохранение текста программы)

generator.cpp

@@ -53,6 +53,7 @@ const GeneratorKeywordSpec Generator::m_keywordspecs[] =
     { KeywordTRON,      &Generator::GenerateIgnoredStatement },
     { KeywordTROFF,     &Generator::GenerateIgnoredStatement },
     { KeywordWIDTH,     &Generator::GenerateWidth },
+    { KeywordCALL,      &Generator::GenerateCall },
 };
 
 GeneratorMethodRef Generator::FindGeneratorMethodRef(KeywordIndex keyword)
@@ -1736,6 +1737,15 @@ void Generator::GenerateWidth(StatementModel& statement)
     Warning(statement.token, "WIDTH statement is ignored");
 }
 
+// Extension: calls assembler procedure
+// CALL <LABEL>
+void Generator::GenerateCall(StatementModel& statement)
+{
+    if (!g_turbo8)
+        AddLine("\t.GLOBL\t" + statement.ident.text);
+    AddLine("\tCALL\t" + statement.ident.text + "\t; CALL label");
+}
+
 
 // Operation generation //////////////////////////////////////////////
 

main.h

@@ -33,12 +33,13 @@ typedef std::string string;
 //////////////////////////////////////////////////////////////////////
 // Enums
 
+//NOTE: This enum should be in the same order as Keywords array in tokenizer.cpp
 enum KeywordIndex
 {
     KeywordNone = 0,
     KeywordABS, KeywordAND, KeywordASC, KeywordAT, KeywordATN, KeywordAUTO,
     KeywordBEEP, KeywordBLOAD, KeywordBSAVE, KeywordBIN,
-    KeywordCDBL, KeywordCHR, KeywordCINT, KeywordCIRCLE, KeywordCLEAR, KeywordCLOAD, KeywordCLS,
+    KeywordCALL, KeywordCDBL, KeywordCHR, KeywordCINT, KeywordCIRCLE, KeywordCLEAR, KeywordCLOAD, KeywordCLS,
     KeywordCOLOR, KeywordCONT, KeywordCOS, KeywordCSAVE, KeywordCSNG, KeywordCSRLIN, KeywordCLOSE, KeywordSCREEN,
     KeywordDELETE, KeywordDIM, KeywordDRAW, KeywordDATA, KeywordDEF,
     KeywordELSE, KeywordEND, KeywordEOF, KeywordEQV, KeywordEXP,
@@ -293,7 +294,7 @@ struct VariableExpressionModel : VariableBaseModel
 struct StatementModel
 {
     Token	token;      // Token for the statement keyword
-    Token	ident;	    // LET identifier at left, FOR variable
+    Token	ident;	    // LET identifier at left, FOR variable, CALL label
     int		paramline;	// Line number parameter for GOTO, GOSUB, RESTORE
     bool    inner;      // Is it inner statement under THEN or ELSE
     bool    relative;   // PSET, PRESET, LINE, CIRCLE, PAINT with '@' sign
@@ -471,6 +472,7 @@ class Parser
     void ParseRestore(StatementModel& statement);
     void ParseScreen(StatementModel& statement);
     void ParseWidth(StatementModel& statement);
+    void ParseCall(StatementModel& statement);
 };
 
 class Validator;
@@ -553,6 +555,7 @@ class Validator
     void ValidateRestore(StatementModel& statement);
     void ValidateScreen(StatementModel& statement);
     void ValidateWidth(StatementModel& statement);
+    void ValidateCall(StatementModel& statement);
 private:
     void ValidateUnaryPlus(ExpressionModel& expr, ExpressionNode& node, const ExpressionNode& noderight);
     void ValidateUnaryMinus(ExpressionModel& expr, ExpressionNode& node, const ExpressionNode& noderight);
@@ -709,6 +712,7 @@ class Generator
     void GenerateScreen(StatementModel& statement);
     void GenerateStop(StatementModel& statement);
     void GenerateWidth(StatementModel& statement);
+    void GenerateCall(StatementModel& statement);
 private:
     void GenerateOperPlus(const ExpressionModel& expr, const ExpressionNode& node, const ExpressionNode& nodeleft, const ExpressionNode& noderight);
     void GenerateOperMinus(const ExpressionModel& expr, const ExpressionNode& node, const ExpressionNode& nodeleft, const ExpressionNode& noderight);

parser.cpp

@@ -57,6 +57,7 @@ const ParserKeywordSpec Parser::m_keywordspecs[] =
     { KeywordTROFF,     &Parser::ParseStatementNoParams },
     { KeywordTRON,      &Parser::ParseStatementNoParams },
     { KeywordWIDTH,     &Parser::ParseWidth },
+    { KeywordCALL,      &Parser::ParseCall },
 };
 
 const ParserFunctionSpec Parser::m_funcspecs[] =
@@ -2022,5 +2023,21 @@ void Parser::ParseWidth(StatementModel& statement)
         MODEL_ERROR(MSG_UNEXPECTED_AT_END_OF_STATEMENT);
 }
 
+// Extension: calls assembler procedure
+// CALL <LABEL>
+void Parser::ParseCall(StatementModel& statement)
+{
+    Token token = PeekNextTokenSkipDivider();
+    if (token.type != TokenTypeIdentifier)
+        MODEL_ERROR("CALL label expected.");
+    GetNextToken();
+
+    statement.ident = token;
+
+    token = PeekNextTokenSkipDivider();
+    if (!token.IsEndOfStatement())
+        MODEL_ERROR(MSG_UNEXPECTED_AT_END_OF_STATEMENT);
+}
+
 
 //////////////////////////////////////////////////////////////////////

tokenizer.cpp

@@ -8,7 +8,7 @@
 const char* Keywords[] = {
     "ABS", "AND", "ASC", "AT", "ATN", "AUTO",
     "BEEP", "BLOAD", "BSAVE", "BIN$",
-    "CDBL", "CHR$", "CINT", "CIRCLE", "CLEAR", "CLOAD", "CLS",
+    "CALL", "CDBL", "CHR$", "CINT", "CIRCLE", "CLEAR", "CLOAD", "CLS",
     "COLOR", "CONT", "COS", "CSAVE", "CSNG", "CSRLIN", "CLOSE", "SCREEN",
     "DELETE", "DIM", "DRAW", "DATA", "DEF",
     "ELSE", "END", "EOF", "EQV", "EXP",

validator.cpp

@@ -57,6 +57,7 @@ const ValidatorKeywordSpec Validator::m_keywordspecs[] =
     { KeywordTRON,      &Validator::ValidateNothing },
     { KeywordDEF,       &Validator::ValidateDef },
     { KeywordWIDTH,     &Validator::ValidateWidth },
+    { KeywordCALL,      &Validator::ValidateCall },
 };
 
 const ValidatorOperSpec Validator::m_operspecs[] =
@@ -1160,6 +1161,13 @@ void Validator::ValidateWidth(StatementModel& statement)
     //NOTE: Ignored for now
 }
 
+// Extension: calls assembler procedure
+// CALL <LABEL>
+void Validator::ValidateCall(StatementModel& statement)
+{
+    if (statement.ident.type != TokenTypeIdentifier)
+        MODEL_ERROR("Identifier expected.");
+}
 
 // Operation validation //////////////////////////////////////////////
 // Every operation validator function should:
@@ -2290,6 +2298,7 @@ void Validator::ValidateFuncPoint(ExpressionModel& expr, ExpressionNode& node)
     node.constval = false;
 }
 
+// Extension: conditional function
 // X=IIF(<ЛОГИЧЕСКОЕ ВЫРАЖЕНИЕ>,<АРИФМЕТИЧЕСКОЕ ВЫРАЖЕНИЕ>,<АРИФМЕТИЧЕСКОЕ ВЫРАЖЕНИЕ>)
 // result is Single or Integer
 void Validator::ValidateFuncIif(ExpressionModel& expr, ExpressionNode& node)