Merge pull request #2426 from hannemann-tamas/master

virtual dtor for ParseTreeProperty
This commit is contained in:
Terence Parr 2018-11-30 09:40:51 -08:00 committed by GitHub
commit b3f00ca72a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 0 deletions

View File

@ -208,3 +208,4 @@ YYYY/MM/DD, github id, Full name, email
2018/11/12, vinoski, Steve Vinoski, vinoski@ieee.org
2018/11/14, nxtstep, Adriaan (Arjan) Duz, codewithadriaan[et]gmail[dot]com
2018/11/15, amykyta3, Alex Mykyta, amykyta3@users.noreply.github.com
2018/11/29, hannemann-tamas, Ralf Hannemann-Tamas, ralf.ht@gmail.com

View File

@ -29,6 +29,7 @@ namespace tree {
template<typename V>
class ANTLR4CPP_PUBLIC ParseTreeProperty {
public:
virtual ~ParseTreeProperty() {}
virtual V get(ParseTree *node) {
return _annotations[node];
}