Akim Demaille d156910453 java: prefer ArrayList to Vector ...

Vector is synchronized, which is completely useless in our case (and
not even relevant when concurrency matters).  No seasoned Java
programmer would use it.
Reported by Uxio Prego.

* data/skeletons/lalr1.java: Replace Vector with ArrayList.
Unfortunately its API is not as rich, and lacks lastElement and
setSize.

2020-11-03 08:46:54 +01:00

44 KiB

Raw Blame History

View Raw