NullPointerException in NameSpace

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Create an empty file
2. Parse the file
3. Call interpreter.getNameSpace().getAllNames() from Java.

What is the expected output? What do you see instead?
NullPointerException.

Actually as long as the source file does not contain global scope method 
declaration, you will see this error.

What version of the product are you using? On what operating system?
2.1b5

Please provide any additional information below.

NameSpace.getAllNamesAux(...)
Line 1219: need to check methods != null

Attached the patched src.

Original issue reported on code.google.com by [email protected] on 11 Oct 2012 at 5:36

Attachments:

• NameSpace.java

[GoogleCodeExporter]

Original comment by [email protected] on 11 Oct 2012 at 7:26

• Changed state: Started

[GoogleCodeExporter]

Original comment by [email protected] on 12 Oct 2012 at 7:16

• Changed state: Fixed