handvat fout in proloog

/**************************
Assignment Statment Module
**************************/
assgnStmnt(Clist) :-
        Clist = [H|T], id(H), conc(Exp, [';'|AnotherStmnt], T), Exp = [Op|Rem], Op = '=', expr(Rem), assgnStmnt(AnotherStmnt),!
        ;
        Clist = [], !.

Deze code moet het toewijzingsoverzicht parseren in complier. Maar ik moet output naar gebruiker waar de syntaxisfout in zijn code is.

net zoals :      als hij is ingevoerd: x = x + 1, wil ik dat verwachte '' uitvoeren; niet gevonden.

Hoe kan ik dat doen ???

1

1 antwoord

Technisch is afhankelijk van je grammatica , maar als we aannemen dat je al weet waar foutproducties naartoe gaan, kun je op deze manier coderen:

assgnStmnt(Clist) :-
    Clist = [H|T],
    id(H),
    conc(Exp, [StmntSep|AnotherStmnt], T),
    Exp = [Op|Rem],
    Op = '=',
    expr(Rem),
    expected(StmntSep, ';'), % the right position depends on grammar
    assgnStmnt(AnotherStmnt),
    !
    ; Clist = [].

expected(Token, Token) :- !.
expected(Wrong, Token) :-
    format('expected ~w, found ~w~n', [Token, Wrong]),
    fail. % fail here depends on error recovery strategy

test:

?- assgnStmnt([x,=,x+1,';',x,=,x+1,';']).
true.

?- assgnStmnt([x,=,x+1,';',x,=,x+1]).
expected ;, found x
expected ;, found =
expected ;, found x+1
false.
3
toegevoegd