isa-group/IDLReasoner

validRequest and validPartialRequest return NullPointerException

AML14 opened this issue · 1 comments

AML14 commented

This and #5 seem to be related to IDLMapper property not being initialized for some reason.

AML14 commented

This and #5 was because IDLMapper was not being initialized when the Analyzer was constructed. Since there is no IDLMapper anymore, this shouldn't be a problem now. Anyway, implement the operations properly with the new mappers (variableMapper and constraintMapper).