diff options
author | Shawn O. Pearce <sop@google.com> | 2011-06-03 11:13:41 -0700 |
---|---|---|
committer | Shawn O. Pearce <sop@google.com> | 2011-06-03 11:13:41 -0700 |
commit | 3185b3f001356d18004264409d12ba0c03c19200 (patch) | |
tree | bd43987df3b6533f79ce80fbbbbe50a9b870300d | |
parent | c5b1b2613b51f03ab3ca87c704d8038e1e1e132e (diff) | |
download | prolog-cafe-3185b3f001356d18004264409d12ba0c03c19200.tar.gz |
Mark exec methods with @Override
-rw-r--r-- | src/compiler/am2j.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/compiler/am2j.pl b/src/compiler/am2j.pl index 222ad1e..666828c 100644 --- a/src/compiler/am2j.pl +++ b/src/compiler/am2j.pl @@ -543,6 +543,7 @@ write_label(F/A, Out) :- !, write_constructor(F/A, Out), nl(Out), % exec method nl(Out), + tab(Out, 4), write(Out, '@Override'), nl(Out), tab(Out, 4), write(Out, 'public Operation exec(Prolog engine) {'), nl(Out). write_label(L, Out) :- @@ -554,6 +555,7 @@ write_label(L, Out) :- write(Out, 'final class '), write_class_name(L, Out), write(Out, ' extends Operation {'), nl(Out), + tab(Out, 4), write(Out, '@Override'), nl(Out), tab(Out, 4), write(Out, 'public Operation exec(Prolog engine) {'), nl(Out), !. write_label(Instruction, _, _) :- |