#16 MID5874853 UnsupportedOperationException

[Chandan Rupakheti]

We do not have proper support for JInternalFrame.
There is also problem with retrieving array length for a closed array.

Sun Mar 25 16:16:53 EDT 2012
CriticAL framework encountered a problem while analyzing:
[Class: layout.MID5874853$wizardcreator]
[Method: <layout.mid5874853$wizardcreator: java.awt.container="" wizardcontentpane1()="">]</layout.mid5874853$wizardcreator:>
[Line Number: 115]

java.lang.UnsupportedOperationException: Unknown value encountered
at edu.clarkson.serl.critic.extension.ExtensionManager.getSymbolicObject(ExtensionManager.java:216)
at edu.clarkson.serl.critic.interpreter.model.ExprNewArray.execute(ExprNewArray.java:59)
at edu.clarkson.serl.critic.interpreter.model.StmtAssign.executeStmt(StmtAssign.java:76)
at edu.clarkson.serl.critic.interpreter.model.StmtAbstract.execute(StmtAbstract.java:111)
at edu.clarkson.serl.critic.interpreter.Interpreter.processContext(Interpreter.java:364)
at edu.clarkson.serl.critic.interpreter.Interpreter.execute(Interpreter.java:292)
at edu.clarkson.serl.critic.jobs.internal.CriticMainJob.run(CriticMainJob.java:86)
at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54)