Opened 17 years ago
Closed 17 years ago
#59 closed defect (fixed)
skewFactor: Null pointer exception
| Reported by: | zirkel | Owned by: | ywei |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | front | Version: | 1.0 |
| Keywords: | examples, skewFactor, front, ModelBuilder, verify, impl, exception | Cc: |
Description
Exception when running verify on skewFactorImpl.mmp. Possibly related to problem with mean example.
Exception in thread "main" java.lang.NullPointerException
at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processSpecExpr(ModelBuilder.java:1070)
at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processExpression(ModelBuilder.java:912)
at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processBinaryExpr(ModelBuilder.java:937)
at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processExpression(ModelBuilder.java:892)
at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processBinaryExpr(ModelBuilder.java:936)
at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processExpression(ModelBuilder.java:892)
at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processWhileStmt(ModelBuilder.java:859)
at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processStatement(ModelBuilder.java:539)
at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processStatementList(ModelBuilder.java:483)
at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processFunctionBody(ModelBuilder.java:445)
at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processFunctions(ModelBuilder.java:420)
at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processAST(ModelBuilder.java:274)
at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.buildModel(ModelBuilder.java:267)
at edu.udel.cis.vsl.minimp.Minimp.verify(Minimp.java:398)
at edu.udel.cis.vsl.minimp.Minimp.main(Minimp.java:506)
Change History (2)
comment:1 by , 17 years ago
| Status: | new → accepted |
|---|
comment:2 by , 17 years ago
| Resolution: | → fixed |
|---|---|
| Status: | accepted → closed |
Fixed.