diff make/jprt.properties @ 9284:5054a206fcf0

Remove endLine and endIndex from SourceSection class and add charIndex and charLength instead. Also add getCode() method.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Wed, 24 Apr 2013 20:35:06 +0200
parents f36e073d56a4
children e76dd894b984
line wrap: on
line diff