public void setProperties ( Map < String , Value > properties ) { if ( properties != null ) { this . properties = new HashMap <> ( properties ) ; } else { this . properties = null ; } }
Overrides the properties for copies made with this visitor .