mirror of
https://gitlab.com/freepascal.org/lazarus/lazarus.git
synced 2025-05-02 17:03:41 +02:00
649 lines
28 KiB
ObjectPascal
649 lines
28 KiB
ObjectPascal
unit TestPascalParser;
|
|
|
|
{$mode objfpc}{$H+}
|
|
|
|
interface
|
|
|
|
uses
|
|
Classes, SysUtils, fpcunit, testutils, testregistry, FpPascalParser,
|
|
FpErrorMessages, FpDbgInfo,
|
|
{$ifdef FORCE_LAZLOGGER_DUMMY} LazLoggerDummy {$else} LazLoggerBase {$endif};
|
|
|
|
type
|
|
|
|
{ TTestFpPascalExpression }
|
|
|
|
TTestFpPascalExpression=class(TFpPascalExpression)
|
|
public
|
|
property ExpressionPart;
|
|
end;
|
|
|
|
{ TTestPascalParser }
|
|
|
|
TTestPascalParser = class(TTestCase)
|
|
private
|
|
CurrentTestExprText: String;
|
|
CurrentTestExprObj: TTestFpPascalExpression;
|
|
procedure CreateExpr(t: string; ExpValid: Boolean; SkipExpValid: Boolean = False);
|
|
published
|
|
procedure TestParser;
|
|
procedure TestParserError;
|
|
end;
|
|
|
|
implementation
|
|
|
|
{ TTestFpPascalExpression }
|
|
|
|
procedure TTestPascalParser.CreateExpr(t: string; ExpValid: Boolean;
|
|
SkipExpValid: Boolean);
|
|
var
|
|
s: String;
|
|
ctx: TFpDbgSimpleLocationContext;
|
|
sc: TFpDbgSymbolScope;
|
|
begin
|
|
ctx := TFpDbgSimpleLocationContext.Create(nil, 0, 4, 0, 0);
|
|
sc := TFpDbgSymbolScope.Create(ctx);
|
|
FreeAndNil(CurrentTestExprObj);
|
|
CurrentTestExprText := t;
|
|
CurrentTestExprObj := TTestFpPascalExpression.Create(CurrentTestExprText, sc);
|
|
DebugLn(CurrentTestExprObj.DebugDump);
|
|
if not SkipExpValid then begin
|
|
s := ErrorHandler.ErrorAsString(CurrentTestExprObj.Error);
|
|
AssertEquals('Valid '+s+ ' # '+CurrentTestExprText, ExpValid, CurrentTestExprObj.Valid);
|
|
end;
|
|
ctx.ReleaseReference;
|
|
sc.ReleaseReference;
|
|
end;
|
|
|
|
procedure TTestPascalParser.TestParser;
|
|
|
|
function GetChild(p: TFpPascalExpressionPart; i: array of integer): TFpPascalExpressionPart;
|
|
var
|
|
j: Integer;
|
|
begin
|
|
Result := p;
|
|
for j := low(i) to high(i) do
|
|
Result := (Result as TFpPascalExpressionPartContainer).Items[i[j]];
|
|
end;
|
|
|
|
function GetChild(i: array of integer): TFpPascalExpressionPart;
|
|
begin
|
|
Result := GetChild(CurrentTestExprObj.ExpressionPart, i);
|
|
end;
|
|
|
|
Procedure TestExpr(APart: TFpPascalExpressionPart; AClass: TFpPascalExpressionPartClass;
|
|
AText: String; AChildCount: Integer = -1);
|
|
begin
|
|
AssertNotNull(CurrentTestExprText+ ': IsAssigned', APart);
|
|
AssertTrue(CurrentTestExprText+': APart IS Class exp: '+AClass.ClassName+' was: '+APart.ClassName,
|
|
APart is AClass);
|
|
AssertEquals(CurrentTestExprText+': Text', AText, APart.GetText);
|
|
if AChildCount >=0 then begin
|
|
AssertTrue(CurrentTestExprText+': Is container ', APart is TFpPascalExpressionPartContainer);
|
|
AssertEquals(CurrentTestExprText+': childcount ', AChildCount, (APart as TFpPascalExpressionPartContainer).Count);
|
|
end;
|
|
end;
|
|
|
|
Procedure TestExpr(i: array of integer; AClass: TFpPascalExpressionPartClass;
|
|
AText: String; AChildCount: Integer = -1);
|
|
begin
|
|
TestExpr(GetChild(i), AClass, AText, AChildCount);
|
|
end;
|
|
|
|
begin
|
|
CurrentTestExprObj := nil;
|
|
try
|
|
CreateExpr('a', True);
|
|
TestExpr([], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
|
|
CreateExpr('a b', False);
|
|
CreateExpr('a |', False);
|
|
CreateExpr('| b', False);
|
|
CreateExpr('|', False);
|
|
|
|
CreateExpr('@a', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorAddressOf, '@', 1);
|
|
TestExpr([0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
|
|
CreateExpr('a@', False);
|
|
CreateExpr('@', False);
|
|
|
|
CreateExpr('-a', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorUnaryPlusMinus, '-', 1);
|
|
TestExpr([0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
|
|
CreateExpr('+-a', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorUnaryPlusMinus, '+', 1);
|
|
TestExpr([0], TFpPascalExpressionPartOperatorUnaryPlusMinus, '-', 1);
|
|
TestExpr([0,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
|
|
CreateExpr('a+b', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorPlusMinus, '+', 2);
|
|
TestExpr([0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([1], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
|
|
CreateExpr('a+', False);
|
|
CreateExpr('a*', False);
|
|
CreateExpr('a+b-', False);
|
|
CreateExpr('a@+b', False);
|
|
|
|
CreateExpr('a+-b', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorPlusMinus, '+', 2);
|
|
TestExpr([0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([1], TFpPascalExpressionPartOperatorUnaryPlusMinus, '-', 1);
|
|
TestExpr([1,0], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
|
|
CreateExpr('+a + -@b - @+c', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorPlusMinus, '-', 2);
|
|
TestExpr( [0], TFpPascalExpressionPartOperatorPlusMinus, '+', 2);
|
|
TestExpr( [0,0], TFpPascalExpressionPartOperatorUnaryPlusMinus,'+', 1);
|
|
TestExpr( [0,0,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr( [0,1], TFpPascalExpressionPartOperatorUnaryPlusMinus, '-', 1);
|
|
TestExpr( [0,1,0], TFpPascalExpressionPartOperatorAddressOf, '@', 1);
|
|
TestExpr([0,1,0,0], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
TestExpr( [1], TFpPascalExpressionPartOperatorAddressOf, '@', 1);
|
|
TestExpr( [1,0], TFpPascalExpressionPartOperatorUnaryPlusMinus, '+', 1);
|
|
TestExpr( [1,0,0], TFpPascalExpressionPartIdentifier, 'c', 0);
|
|
|
|
CreateExpr('a+b*c', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorPlusMinus, '+', 2);
|
|
TestExpr([0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([1], TFpPascalExpressionPartOperatorMulDiv, '*', 2);
|
|
TestExpr([1,0], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
TestExpr([1,1], TFpPascalExpressionPartIdentifier, 'c', 0);
|
|
|
|
CreateExpr('a*b+c', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorPlusMinus, '+', 2);
|
|
TestExpr( [0], TFpPascalExpressionPartOperatorMulDiv, '*', 2);
|
|
TestExpr([0,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([0,1], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
TestExpr( [1], TFpPascalExpressionPartIdentifier, 'c', 0);
|
|
|
|
CreateExpr('a*b+c*d', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorPlusMinus, '+', 2);
|
|
TestExpr( [0], TFpPascalExpressionPartOperatorMulDiv, '*', 2);
|
|
TestExpr([0,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([0,1], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
TestExpr( [1], TFpPascalExpressionPartOperatorMulDiv, '*', 2);
|
|
TestExpr([1,0], TFpPascalExpressionPartIdentifier, 'c', 0);
|
|
TestExpr([1,1], TFpPascalExpressionPartIdentifier, 'd', 0);
|
|
|
|
CreateExpr('@a*@b+@c', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorPlusMinus, '+', 2);
|
|
TestExpr( [0], TFpPascalExpressionPartOperatorMulDiv, '*', 2);
|
|
TestExpr( [0,0], TFpPascalExpressionPartOperatorAddressOf, '@', 1);
|
|
TestExpr([0,0,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr( [0,1], TFpPascalExpressionPartOperatorAddressOf, '@', 1);
|
|
TestExpr([0,1,0], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
TestExpr( [1], TFpPascalExpressionPartOperatorAddressOf, '@', 1);
|
|
TestExpr( [1,0], TFpPascalExpressionPartIdentifier, 'c', 0);
|
|
|
|
CreateExpr('@a*@b+@c*@d', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorPlusMinus, '+', 2);
|
|
TestExpr( [0], TFpPascalExpressionPartOperatorMulDiv, '*', 2);
|
|
TestExpr( [0,0], TFpPascalExpressionPartOperatorAddressOf, '@', 1);
|
|
TestExpr([0,0,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr( [0,1], TFpPascalExpressionPartOperatorAddressOf, '@', 1);
|
|
TestExpr([0,1,0], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
TestExpr( [1], TFpPascalExpressionPartOperatorMulDiv, '*', 2);
|
|
TestExpr( [1,0], TFpPascalExpressionPartOperatorAddressOf, '@', 1);
|
|
TestExpr([1,0,0], TFpPascalExpressionPartIdentifier, 'c', 0);
|
|
TestExpr( [1,1], TFpPascalExpressionPartOperatorAddressOf, '@', 1);
|
|
TestExpr([1,1,0], TFpPascalExpressionPartIdentifier, 'd', 0);
|
|
|
|
|
|
CreateExpr('a.b', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorMemberOf, '.', 2);
|
|
TestExpr([0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([1], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
|
|
CreateExpr('a.b^', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorDeRef, '^', 1);
|
|
TestExpr([0], TFpPascalExpressionPartOperatorMemberOf, '.', 2);
|
|
TestExpr([0,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([0,1], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
|
|
CreateExpr('a^.b', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorMemberOf, '.', 2);
|
|
TestExpr([0], TFpPascalExpressionPartOperatorDeRef, '^', 1);
|
|
TestExpr([0,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([1], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
|
|
CreateExpr('a.b.c', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorMemberOf, '.', 2);
|
|
TestExpr([0], TFpPascalExpressionPartOperatorMemberOf, '.', 2);
|
|
TestExpr([0,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([0,1], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
TestExpr([1], TFpPascalExpressionPartIdentifier, 'c', 0);
|
|
|
|
CreateExpr('(a)', True);
|
|
TestExpr([], TFpPascalExpressionPartBracketSubExpression, '(', 1);
|
|
TestExpr([0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
|
|
CreateExpr('a)', False);
|
|
CreateExpr('(a', False);
|
|
CreateExpr(')', False);
|
|
CreateExpr('(', False);
|
|
CreateExpr('(*a)', False);
|
|
|
|
CreateExpr('(-a)', True);
|
|
TestExpr([], TFpPascalExpressionPartBracketSubExpression, '(', 1);
|
|
TestExpr([0], TFpPascalExpressionPartOperatorUnaryPlusMinus, '-', 1);
|
|
TestExpr([0,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
|
|
CreateExpr('-(-a)', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorUnaryPlusMinus, '-', 1);
|
|
TestExpr([0], TFpPascalExpressionPartBracketSubExpression, '(', 1);
|
|
TestExpr([0,0], TFpPascalExpressionPartOperatorUnaryPlusMinus, '-', 1);
|
|
TestExpr([0,0,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
|
|
CreateExpr('(a*b)', True);
|
|
TestExpr([], TFpPascalExpressionPartBracketSubExpression, '(', 1);
|
|
TestExpr([0], TFpPascalExpressionPartOperatorMulDiv, '*', 2);
|
|
TestExpr([0,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([0,1], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
|
|
CreateExpr('(-a*b)', True);
|
|
TestExpr([], TFpPascalExpressionPartBracketSubExpression, '(', 1);
|
|
TestExpr([0], TFpPascalExpressionPartOperatorMulDiv, '*', 2);
|
|
TestExpr([0,0], TFpPascalExpressionPartOperatorUnaryPlusMinus, '-', 1);
|
|
TestExpr([0,0,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([0,1], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
|
|
CreateExpr('(a)*b', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorMulDiv, '*', 2);
|
|
TestExpr([0], TFpPascalExpressionPartBracketSubExpression, '(', 1);
|
|
TestExpr([0,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([1], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
|
|
CreateExpr('(a+b)*c', True);
|
|
CreateExpr('(@a)*@c', True);
|
|
CreateExpr('(@a+@b)*@c', True);
|
|
|
|
CreateExpr('f(a+b)*c', True);
|
|
TestExpr( [], TFpPascalExpressionPartOperatorMulDiv, '*', 2);
|
|
TestExpr( [0], TFpPascalExpressionPartBracketArgumentList, '(', 2);
|
|
TestExpr( [0,0], TFpPascalExpressionPartIdentifier, 'f', 0);
|
|
TestExpr( [0,1], TFpPascalExpressionPartOperatorPlusMinus, '+', 2);
|
|
TestExpr([0,1,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([0,1,1], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
TestExpr( [1], TFpPascalExpressionPartIdentifier, 'c', 0);
|
|
|
|
CreateExpr('f(a)', True);
|
|
TestExpr([], TFpPascalExpressionPartBracketArgumentList, '(', 2);
|
|
TestExpr([0], TFpPascalExpressionPartIdentifier, 'f', 0);
|
|
TestExpr([1], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
|
|
CreateExpr('f(a)(b)', True);
|
|
TestExpr([], TFpPascalExpressionPartBracketArgumentList, '(', 2);
|
|
TestExpr([0], TFpPascalExpressionPartBracketArgumentList, '(', 2);
|
|
TestExpr([0,0], TFpPascalExpressionPartIdentifier, 'f', 0);
|
|
TestExpr([0,1], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([1], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
|
|
CreateExpr('f()', True);
|
|
TestExpr([], TFpPascalExpressionPartBracketArgumentList, '(', 1);
|
|
TestExpr([0], TFpPascalExpressionPartIdentifier, 'f', 0);
|
|
|
|
CreateExpr('f(a,b)', True);
|
|
TestExpr([], TFpPascalExpressionPartBracketArgumentList, '(', 3);
|
|
TestExpr([0], TFpPascalExpressionPartIdentifier, 'f', 0);
|
|
TestExpr([1], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([2], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
|
|
CreateExpr('f(-a, -b)', True);
|
|
TestExpr([], TFpPascalExpressionPartBracketArgumentList, '(', 3);
|
|
TestExpr([0], TFpPascalExpressionPartIdentifier, 'f', 0);
|
|
TestExpr([1], TFpPascalExpressionPartOperatorUnaryPlusMinus, '-', 1);
|
|
TestExpr([1, 0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([2], TFpPascalExpressionPartOperatorUnaryPlusMinus, '-', 1);
|
|
TestExpr([2, 0], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
|
|
CreateExpr('f(a,b, c)', True);
|
|
TestExpr([], TFpPascalExpressionPartBracketArgumentList, '(', 4);
|
|
TestExpr([0], TFpPascalExpressionPartIdentifier, 'f', 0);
|
|
TestExpr([1], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([2], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
TestExpr([3], TFpPascalExpressionPartIdentifier, 'c', 0);
|
|
|
|
CreateExpr('f(x(a),b)', True);
|
|
TestExpr([], TFpPascalExpressionPartBracketArgumentList, '(', 3);
|
|
TestExpr([0], TFpPascalExpressionPartIdentifier, 'f', 0);
|
|
TestExpr([1], TFpPascalExpressionPartBracketArgumentList, '(', 2);
|
|
TestExpr([1,0], TFpPascalExpressionPartIdentifier, 'x', 0);
|
|
TestExpr([1,1], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([2], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
|
|
CreateExpr('f(,)', False);
|
|
CreateExpr('f(,,)', False);
|
|
CreateExpr('f(a,)', False);
|
|
CreateExpr('f(,a)', False);
|
|
CreateExpr('f(a,,b)', False);
|
|
|
|
CreateExpr('f(a)+b', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorPlusMinus, '+', 2);
|
|
TestExpr([0], TFpPascalExpressionPartBracketArgumentList, '(', 2);
|
|
TestExpr([0,0], TFpPascalExpressionPartIdentifier, 'f', 0);
|
|
TestExpr([0,1], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([1], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
|
|
CreateExpr('c+f(a)', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorPlusMinus, '+', 2);
|
|
TestExpr([0], TFpPascalExpressionPartIdentifier, 'c', 0);
|
|
TestExpr([1], TFpPascalExpressionPartBracketArgumentList, '(', 2);
|
|
TestExpr([1,0], TFpPascalExpressionPartIdentifier, 'f', 0);
|
|
TestExpr([1,1], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
|
|
CreateExpr('c.f(a)', True); // (c.f) (a)
|
|
TestExpr([], TFpPascalExpressionPartBracketArgumentList, '(', 2);
|
|
TestExpr([0], TFpPascalExpressionPartOperatorMemberOf, '.', 2);
|
|
TestExpr([0,0], TFpPascalExpressionPartIdentifier, 'c', 0);
|
|
TestExpr([0,1], TFpPascalExpressionPartIdentifier, 'f', 0);
|
|
TestExpr([1], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
|
|
CreateExpr('f(a).c', True); // (c.f) (a)
|
|
TestExpr([], TFpPascalExpressionPartOperatorMemberOf, '.', 2);
|
|
TestExpr([0], TFpPascalExpressionPartBracketArgumentList, '(', 2);
|
|
TestExpr([0,0], TFpPascalExpressionPartIdentifier, 'f', 0);
|
|
TestExpr([0,1], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([1], TFpPascalExpressionPartIdentifier, 'c', 0);
|
|
|
|
CreateExpr('@f(a)', True); // @( f(a) )
|
|
TestExpr([], TFpPascalExpressionPartOperatorAddressOf, '@', 1);
|
|
TestExpr([0], TFpPascalExpressionPartBracketArgumentList, '(', 2);
|
|
TestExpr([0,0], TFpPascalExpressionPartIdentifier, 'f', 0);
|
|
TestExpr([0,1], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
|
|
CreateExpr('-f(a)', True); // -( f(a) )
|
|
TestExpr([], TFpPascalExpressionPartOperatorUnaryPlusMinus, '-', 1);
|
|
TestExpr([0], TFpPascalExpressionPartBracketArgumentList, '(', 2);
|
|
TestExpr([0,0], TFpPascalExpressionPartIdentifier, 'f', 0);
|
|
TestExpr([0,1], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
|
|
CreateExpr('f^(a)', True); // (f^) (a)
|
|
TestExpr([], TFpPascalExpressionPartBracketArgumentList, '(', 2);
|
|
TestExpr([0], TFpPascalExpressionPartOperatorDeRef, '^', 1);
|
|
TestExpr([0,0], TFpPascalExpressionPartIdentifier, 'f', 0);
|
|
TestExpr([1], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
|
|
CreateExpr('f(a)^', True); // ( f(a) )^
|
|
TestExpr([], TFpPascalExpressionPartOperatorDeRef, '^', 1);
|
|
TestExpr([0], TFpPascalExpressionPartBracketArgumentList, '(', 2);
|
|
TestExpr([0,0], TFpPascalExpressionPartIdentifier, 'f', 0);
|
|
TestExpr([0,1], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
|
|
CreateExpr('f(a)(b)^', True); // ( f(a)(b) )^
|
|
TestExpr([], TFpPascalExpressionPartOperatorDeRef, '^', 1);
|
|
TestExpr([0], TFpPascalExpressionPartBracketArgumentList, '(', 2);
|
|
TestExpr([0,0], TFpPascalExpressionPartBracketArgumentList, '(', 2);
|
|
TestExpr([0,0,0], TFpPascalExpressionPartIdentifier, 'f', 0);
|
|
TestExpr([0,0,1], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([0,1], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
|
|
CreateExpr('f.()', False);
|
|
CreateExpr('f(*a)', False);
|
|
|
|
CreateExpr('f[a]', True);
|
|
CreateExpr('f * [a]', True);
|
|
|
|
CreateExpr('a^', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorDeRef, '^', 1);
|
|
TestExpr([0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
|
|
CreateExpr('-a^', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorUnaryPlusMinus, '-', 1);
|
|
TestExpr([0], TFpPascalExpressionPartOperatorDeRef, '^', 1);
|
|
TestExpr([0,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
|
|
CreateExpr('@a^', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorAddressOf, '@', 1);
|
|
TestExpr([0], TFpPascalExpressionPartOperatorDeRef, '^', 1);
|
|
TestExpr([0,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
|
|
CreateExpr('-@a', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorUnaryPlusMinus, '-', 1);
|
|
TestExpr([0], TFpPascalExpressionPartOperatorAddressOf, '@', 1);
|
|
TestExpr([0,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
|
|
CreateExpr('-@a^', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorUnaryPlusMinus, '-', 1);
|
|
TestExpr([0], TFpPascalExpressionPartOperatorAddressOf, '@', 1);
|
|
TestExpr([0,0], TFpPascalExpressionPartOperatorDeRef, '^', 1);
|
|
TestExpr([0,0,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
|
|
CreateExpr('^f(a)', True);
|
|
TestExpr([], TFpPascalExpressionPartBracketArgumentList, '(', 2);
|
|
TestExpr([0], TFpPascalExpressionPartOperatorMakeRef, '^', 1);
|
|
TestExpr([0,0], TFpPascalExpressionPartIdentifier, 'f', 0);
|
|
TestExpr([1], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
|
|
CreateExpr('^f(a)^', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorDeRef, '^', 1);
|
|
TestExpr([0], TFpPascalExpressionPartBracketArgumentList, '(', 2);
|
|
TestExpr([0,0], TFpPascalExpressionPartOperatorMakeRef, '^', 1);
|
|
TestExpr([0,0,0], TFpPascalExpressionPartIdentifier, 'f', 0);
|
|
TestExpr([0,1], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
|
|
CreateExpr('@f(a)(b)', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorAddressOf, '@', 1);
|
|
TestExpr([0], TFpPascalExpressionPartBracketArgumentList, '(', 2);
|
|
TestExpr([0,0], TFpPascalExpressionPartBracketArgumentList, '(', 2);
|
|
TestExpr([0,0,0], TFpPascalExpressionPartIdentifier, 'f', 0);
|
|
TestExpr([0,0,1], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([0,1], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
|
|
CreateExpr('f(a)(b)^', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorDeRef, '^', 1);
|
|
TestExpr([0], TFpPascalExpressionPartBracketArgumentList, '(', 2);
|
|
TestExpr([0,0], TFpPascalExpressionPartBracketArgumentList, '(', 2);
|
|
TestExpr([0,0,0], TFpPascalExpressionPartIdentifier, 'f', 0);
|
|
TestExpr([0,0,1], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([0,1], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
|
|
CreateExpr('f[a]', True);
|
|
TestExpr([], TFpPascalExpressionPartBracketIndex, '[', 2);
|
|
TestExpr([0], TFpPascalExpressionPartIdentifier, 'f', 0);
|
|
TestExpr([1], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
|
|
CreateExpr('f[a,b]', True);
|
|
TestExpr([], TFpPascalExpressionPartBracketIndex, '[', 3);
|
|
TestExpr([0], TFpPascalExpressionPartIdentifier, 'f', 0);
|
|
TestExpr([1], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([2], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
|
|
CreateExpr('f[]', False);
|
|
CreateExpr('f[,]', False);
|
|
CreateExpr('f[,a]', False);
|
|
CreateExpr('f[a,]', False);
|
|
CreateExpr('f[a,,b]', False);
|
|
|
|
CreateExpr('TFoo(f^[0]).a', True);
|
|
|
|
CreateExpr('^^int(1)', True);
|
|
|
|
CreateExpr('x * [a]', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorMulDiv, '*', 2);
|
|
TestExpr([0], TFpPascalExpressionPartIdentifier, 'x', 0);
|
|
TestExpr([1], TFpPascalExpressionPartBracketSet, '[', 1);
|
|
TestExpr([1,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
|
|
CreateExpr('x * []', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorMulDiv, '*', 2);
|
|
TestExpr([0], TFpPascalExpressionPartIdentifier, 'x', 0);
|
|
TestExpr([1], TFpPascalExpressionPartBracketSet, '[', 0);
|
|
|
|
CreateExpr('x * [a,b]', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorMulDiv, '*', 2);
|
|
TestExpr([0], TFpPascalExpressionPartIdentifier, 'x', 0);
|
|
TestExpr([1], TFpPascalExpressionPartBracketSet, '[', 2);
|
|
TestExpr([1,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([1,1], TFpPascalExpressionPartIdentifier, 'b', 0);
|
|
|
|
CreateExpr('x * [,]', False);
|
|
CreateExpr('x * [,a]', False);
|
|
CreateExpr('x * [a,]', False);
|
|
|
|
|
|
CreateExpr('a[1..2]', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorArraySliceController, '..', 1);
|
|
TestExpr([0], TFpPascalExpressionPartBracketIndex, '[', 2);
|
|
TestExpr([0,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([0,1], TFpPascalExpressionPartOperatorArraySlice, '..', 2);
|
|
TestExpr([0,1,0], TFpPascalExpressionPartConstantNumber, '1', 0);
|
|
TestExpr([0,1,1], TFpPascalExpressionPartConstantNumber, '2', 0);
|
|
|
|
CreateExpr('a[1..2]+9', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorArraySliceController, '..', 1);
|
|
TestExpr([0], TFpPascalExpressionPartOperatorPlusMinus, '+', 2);
|
|
TestExpr([0,0], TFpPascalExpressionPartBracketIndex, '[', 2);
|
|
TestExpr([0,0,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([0,0,1], TFpPascalExpressionPartOperatorArraySlice, '..', 2);
|
|
TestExpr([0,0,1,0], TFpPascalExpressionPartConstantNumber, '1', 0);
|
|
TestExpr([0,0,1,1], TFpPascalExpressionPartConstantNumber, '2', 0);
|
|
TestExpr([0,1], TFpPascalExpressionPartConstantNumber, '9', 0);
|
|
|
|
CreateExpr('a[1..2][3..4]', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorArraySliceController, '..', 1);
|
|
TestExpr([0], TFpPascalExpressionPartOperatorArraySliceController, '..', 1);
|
|
TestExpr([0,0], TFpPascalExpressionPartBracketIndex, '[', 2);
|
|
//
|
|
TestExpr([0,0,0], TFpPascalExpressionPartBracketIndex, '[', 2);
|
|
TestExpr([0,0,0,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([0,0,0,1], TFpPascalExpressionPartOperatorArraySlice, '..', 2);
|
|
TestExpr([0,0,0,1,0], TFpPascalExpressionPartConstantNumber, '1', 0);
|
|
TestExpr([0,0,0,1,1], TFpPascalExpressionPartConstantNumber, '2', 0);
|
|
//
|
|
TestExpr([0,0,1], TFpPascalExpressionPartOperatorArraySlice, '..', 2);
|
|
TestExpr([0,0,1,0], TFpPascalExpressionPartConstantNumber, '3', 0);
|
|
TestExpr([0,0,1,1], TFpPascalExpressionPartConstantNumber, '4', 0);
|
|
|
|
|
|
CreateExpr('a[1..2][3..4]+9', True);
|
|
TestExpr([], TFpPascalExpressionPartOperatorArraySliceController, '..', 1);
|
|
TestExpr([0], TFpPascalExpressionPartOperatorArraySliceController, '..', 1);
|
|
TestExpr([0,0], TFpPascalExpressionPartOperatorPlusMinus, '+', 2);
|
|
TestExpr([0,0,0], TFpPascalExpressionPartBracketIndex, '[', 2);
|
|
//
|
|
TestExpr([0,0,0,0], TFpPascalExpressionPartBracketIndex, '[', 2);
|
|
TestExpr([0,0,0,0,0], TFpPascalExpressionPartIdentifier, 'a', 0);
|
|
TestExpr([0,0,0,0,1], TFpPascalExpressionPartOperatorArraySlice, '..', 2);
|
|
TestExpr([0,0,0,0,1,0], TFpPascalExpressionPartConstantNumber, '1', 0);
|
|
TestExpr([0,0,0,0,1,1], TFpPascalExpressionPartConstantNumber, '2', 0);
|
|
//
|
|
TestExpr([0,0,0,1], TFpPascalExpressionPartOperatorArraySlice, '..', 2);
|
|
TestExpr([0,0,0,1,0], TFpPascalExpressionPartConstantNumber, '3', 0);
|
|
TestExpr([0,0,0,1,1], TFpPascalExpressionPartConstantNumber, '4', 0);
|
|
//
|
|
TestExpr([0,0,1], TFpPascalExpressionPartConstantNumber, '9', 0);
|
|
|
|
|
|
finally
|
|
CurrentTestExprObj.Free;
|
|
end;
|
|
end;
|
|
|
|
procedure TTestPascalParser.TestParserError;
|
|
|
|
procedure AssertPrintError;
|
|
var
|
|
s: String;
|
|
begin
|
|
CurrentTestExprObj.ResultValue;
|
|
AssertTrue('Got an error', IsError(CurrentTestExprObj.Error));
|
|
|
|
s := ErrorHandler.ErrorAsString(CurrentTestExprObj.Error);
|
|
AssertTrue('format error msg', pos('Internal Error:', s) < 1);
|
|
end;
|
|
|
|
procedure AssertError(const AnErrCode: array of TFpErrorCode);
|
|
var
|
|
GotErrCode: TFpErrorCode;
|
|
Err: TFpError;
|
|
i: Integer;
|
|
begin
|
|
CurrentTestExprObj.ResultValue;
|
|
Err := CurrentTestExprObj.Error;
|
|
AssertTrue('correct err code', IsError(Err));
|
|
|
|
for i := low(AnErrCode) to high(AnErrCode) do begin
|
|
AssertTrue('has sub error', Length(Err) >= i);
|
|
GotErrCode := CurrentTestExprObj.Error[i].ErrorCode;
|
|
AssertEquals('correct err code', AnErrCode[i], GotErrCode);
|
|
end;
|
|
|
|
AssertPrintError;
|
|
end;
|
|
|
|
procedure TestExpr(Expr: String; AnErrCode: TFpErrorCode);
|
|
begin
|
|
CreateExpr(Expr, False, True);
|
|
AssertError([AnErrCode]);
|
|
end;
|
|
|
|
procedure TestExpr(Expr: String; const AnErrCode: array of TFpErrorCode);
|
|
begin
|
|
CreateExpr(Expr, False, True);
|
|
AssertError(AnErrCode);
|
|
end;
|
|
|
|
var
|
|
s: String;
|
|
begin
|
|
// self test
|
|
s := ErrorHandler.ErrorAsString(CreateError(-1));
|
|
AssertFalse('self test format error msg', pos('Internal Error:', s) < 1);
|
|
s := ErrorHandler.ErrorAsString(CreateError(fpErrPasParserUnexpectedToken_p, []));
|
|
AssertFalse('self test format error msg', pos('Internal Error:', s) < 1);
|
|
|
|
|
|
TestExpr('£', fpErrPasParserUnexpectedToken_p);
|
|
TestExpr(':foobar', fpErrPasParserUnknownIntrinsic_p);
|
|
|
|
TestExpr('1..2', fpErrPasParserUnexpectedToken_p);
|
|
TestExpr('[1...2]', fpErrPasParserUnexpectedToken_p);
|
|
|
|
TestExpr('1)', fpErrPasParserMissingOpenBracket_p);
|
|
TestExpr('[1)', fpErrPasParserWrongOpenBracket_p);
|
|
|
|
TestExpr('1a ', fpErrPasParserExpectedNumber_p);
|
|
TestExpr('$ ', fpErrPasParserExpectedNumber_p);
|
|
TestExpr('$x', fpErrPasParserExpectedNumber_p);
|
|
TestExpr('$1x', fpErrPasParserExpectedNumber_p);
|
|
TestExpr('0x', fpErrPasParserExpectedNumber_p);
|
|
TestExpr('0x1z', fpErrPasParserExpectedNumber_p);
|
|
TestExpr('& ', fpErrPasParserExpectedNumber_p);
|
|
TestExpr('&1z ', fpErrPasParserExpectedNumber_p);
|
|
TestExpr('%9 ', fpErrPasParserExpectedNumber_p);
|
|
TestExpr('%1z ', fpErrPasParserExpectedNumber_p);
|
|
|
|
TestExpr('''a', fpErrPasParserUnterminatedString_p);
|
|
TestExpr('#', fpErrPasParserUnexpectedEndOfExpression);
|
|
TestExpr('# ', fpErrPasParserExpectedNumber_p);
|
|
TestExpr('#.', fpErrPasParserExpectedNumber_p);
|
|
TestExpr('#12a', fpErrPasParserExpectedNumber_p);
|
|
TestExpr('#af', fpErrPasParserExpectedNumber_p);
|
|
TestExpr('#$az', fpErrPasParserExpectedNumber_p);
|
|
TestExpr('#$z', fpErrPasParserExpectedNumber_p);
|
|
TestExpr('#&79', fpErrPasParserExpectedNumber_p);
|
|
TestExpr('#&9', fpErrPasParserExpectedNumber_p);
|
|
TestExpr('#%13', fpErrPasParserExpectedNumber_p);
|
|
TestExpr('#%3', fpErrPasParserExpectedNumber_p);
|
|
|
|
TestExpr('''abc''[]', fpErrPasParserMissingIndexExpression);
|
|
TestExpr('''abc''[#1]', [fpErrPasParserIndexError_Wrapper, fpErrExpectedOrdinalVal_p]);
|
|
TestExpr('''abc''[99]', [fpErrPasParserIndexError_Wrapper, fpErrIndexOutOfRange]);
|
|
TestExpr('1[99]', [fpErrPasParserIndexError_Wrapper, fpErrTypeNotIndexable]);
|
|
|
|
//TestExpr('@''ab''', fpErrCannotCastToPointer_p);
|
|
///TestExpr('^T(''ab'')', fpErrCannotCastToPointer_p);
|
|
|
|
end;
|
|
|
|
|
|
|
|
initialization
|
|
|
|
RegisterTest(TTestPascalParser);
|
|
end.
|
|
|