Opened 16 years ago

Closed 16 years ago

#179 closed defect (worksforme)

NullPointerException in DynamicFactory constructor

Reported by: zirkel Owned by: Stephen Siegel
Priority: major Milestone: Release 1.0
Component: verify Version: 1.0
Keywords: nullpointer, dynamic, verify, verificationFactory, factory Cc:

Description

This is caused by verificationFactory being set to null in edu.udel.cis.vsl.tass.verify.Verification.verify()

Exception in thread "main" java.lang.NullPointerException
	at edu.udel.cis.vsl.tass.dynamic.impl.DynamicFactory.<init>(DynamicFactory.java:98)
	at edu.udel.cis.vsl.tass.dynamic.DynamicModule.newDynamicFactory(DynamicModule.java:16)
	at edu.udel.cis.vsl.tass.verify.urgent.UrgentVerificationFactory.newValueFactory(UrgentVerificationFactory.java:61)
	at edu.udel.cis.vsl.tass.verify.IF.Factories.<init>(Factories.java:38)
	at edu.udel.cis.vsl.tass.verify.Verification.verify(Verification.java:61)
	at edu.udel.cis.vsl.tass.verify.Verification.verify(Verification.java:34)
	at edu.udel.cis.vsl.tass.TASS.verify(TASS.java:548)
	at edu.udel.cis.vsl.tass.TASS.main(TASS.java:616)

Change History (2)

comment:1 by Stephen Siegel, 16 years ago

Status: new → accepted

Give me input or test that leads to this error.

comment:2 by zirkel, 16 years ago

Resolution: → worksforme
Status: accepted → closed

Seems to be working now.

Note: See TracTickets for help on using tickets.