public ISourceLocation getSourceLocation() { return delegate.getSourceLocation(); }
public ISourceLocation getSourceLocation() { if (sourceContext == null) return null; return sourceContext.makeSourceLocation(new Position(startPos, endPos)); }
		public ISourceLocation getSourceLocation() { return delegate.getSourceLocation(); }