sebastianbenz / Jnario

Executable specifications for Java
136 stars 38 forks source link

#137 Unknown variable within should_be_null => NullPointerException #138

Closed borisbrodski closed 10 years ago

borisbrodski commented 10 years ago

I'm not 100% sure about falling through into super._computeTypes(featureCall, state);. But it looks, like Xtext can handle most of the cases pretty good now. We just have to interfere only if the choice isn't obvious (like in the new fact "Method call with should be null")

sebastianbenz commented 10 years ago

Nice!